Links to useful information

Links to useful information

The following documents provide information on the texts and tools used in this course:

• Account request If you don't have a dci account, request one now!
• Text links:
  • Automata, Computability, and Complexity by Elaine Rich Includes Errata
  • Logic in Computer Science, 2nd Edition, by Michael Huth & Mark Ryan Includes Errata
• LaTeX
  • LaTeX for Beginners
  • The not so Short Introduction to LaTeX
• Writing Proofs
  • Bull's logicsym LaTeX package for typesetting proofs.
  • Documentation for logicsym package.
  • Sample document using logicsym package.
  • Bea's Proof tool

Links to useful information