Corso attualmente non disponibile
Corso
A Mendrisio ()
Hai bisogno di un coach per la formazione?
Ti aiuterà a confrontare vari corsi e trovare l'offerta formativa più conveniente.
Descrizione
-
Tipologia
Corso
Descrizione This is a graduate-level course in mathematical logic, motivated by applications in computer science. The syllabus will include propositional logic, first order logic, and undecidability. Students should have a basic level of mathematical sophistication, and will be expected to complete weekly problem sets.
Opinioni
Successi del Centro
Tutti i corsi devono essere aggiornati
La media delle valutazioni dev'essere superiore a 3,7
Più di 50 opinioni degli ultimi 12 mesi
8 anni del centro in Emagister.
Programma
This is a graduate-level course in mathematical logic, motivated by applications in computer science. The syllabus will include propositional logic, first order logic, and undecidability. Students should have a basic level of mathematical sophistication, and will be expected to complete weekly problem sets.
REFERENCES
- "A Mathematical Introduction to Logic", Herbert Enderton, 2nd edition
Hai bisogno di un coach per la formazione?
Ti aiuterà a confrontare vari corsi e trovare l'offerta formativa più conveniente.
Logic