Logic

UNIVERSITÀ DELLA SVIZZERA ITALIANA
A Mendrisio (Svizzera)

Chiedi il prezzo

Informazione importanti

  • Corso
  • Mendrisio (Svizzera)
Descrizione

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.

Informazione importanti
Sedi

Dove e quando

Inizio Luogo
Consultare
Mendrisio
Tessin, Svizzera
Visualizza mappa

Programma

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.

REFERENCES

  • "A Mathematical Introduction to Logic", Herbert Enderton, 2nd edition