Matematica
Cod 198373
- Laurea magistrale
- 2 anni
- 120 CFU
- LM-40 R
MATH-01/A
LM410 -Teoremi sulla Logica 1
Codice: 20410451
Scheda insegnamento
- Anno Accademico di erogazione
- 2026/2027
- Corso di studi
- Matematica
- Periodo di erogazione
- Primo semestre
- CFU
- 9 CFU
- Lingua
- Italiano
- SSD
- MATH-01/A
Moduli
- LM410 -Teoremi sulla Logica 1 - Modulo a — 6 CFU MAT/01
- LM410 -Teoremi sulla Logica 1 - Modulo B — 3 CFU MAT/01
Scopri il programma didattico
Programma, testi adottati e modalità d’esame sono quelli pubblicati dai docenti per l’anno accademico 2026/2027. L’insegnamento è diviso in canali: ogni canale ha il suo programma.
- Docente
- Roberto Maieli
- Curriculum
- Teorico
- Anno di corso
- 1
- Periodo
- Primo semestre
- Ore
- 72
- CUIN
- 260004460
Il docente non ha ancora pubblicato il programma di questo canale.
- Docente
- Roberto Maieli
- Curriculum
- Crittografia
- Anno di corso
- 1
- Periodo
- Primo semestre
- Ore
- 72
- CUIN
- 260013651
Il docente non ha ancora pubblicato il programma di questo canale.
- Docente
- Roberto Maieli
- Curriculum
- Matematica applicata e computazionale
- Anno di corso
- 1
- Periodo
- Primo semestre
- Ore
- 72
- CUIN
- 260004528
Il docente non ha ancora pubblicato il programma di questo canale.
Esplora gli obiettivi dell’insegnamento
Ambito disciplinare: Formazione matematica teorica avanzata
Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonch‚ dei principali risultati che la concernono.
Informazioni utili
Per questo insegnamento non sono pubblicate informazioni aggiuntive. Materiale didattico e documenti si trovano sulla piattaforma del corso.