Corso attualmente non disponibile

Corso

A Mendrisio ()

Prezzo da consultare

Chiama il centro

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.

Domande e risposte

Aggiungi la tua domanda

I nostri consulenti e altri utenti potranno risponderti

Inserisci i tuoi dati per ricevere una risposta

Pubblicheremo solo il tuo nome e la domanda

Opinioni

Successi del Centro

2018

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

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

Chiama il centro

Hai bisogno di un coach per la formazione?

Ti aiuterà a confrontare vari corsi e trovare l'offerta formativa più conveniente.

Logic

Prezzo da consultare