 |  |  | Links to useful information |
Links to useful information
The following documents provide information on the texts, languages,
and tools used in this course:
- Account request If
you don't have a dci account, request one now!
- Text links:
- Haskell:
- Mathematical Logic:
- Logic in Action is a free text book on logic.
I highly recommend reading the first four chapters if you have not had a good introduction
to logic.
- Emacs: There are lots of emacs quick reference guides and
tutorials on line. Seach for them. Here are a couple of
specialized documents.
- Lambda Calculus:
- LaTeX
- Continuations
- Discourse Representation Theory
- Discourse Representation Theory
- Writing Proofs
- Final Project:
- Rubrics for oral presentations:
| | | Links to useful information |