Lecture
-
04 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Introduzione alle tematiche del corso, cenni di storia della logica. Nozione intuitiva di tautologia.
06 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
La nozione formale di tautologia proposizionale. Connettivi e tavole di verità.
11 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Equivalenze logiche e trasformazioni. La nozione di refutazione e di argomento corretto/scorretto.
13 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Alberi di Beth: regole ed esempi.
18 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Introduzione alla logica del primo ordine: sintassi ed esempi di formalizzazione.
20 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Semantica (intuitiva) della logica del primo ordine. Descrizioni definite e alberi di Beth.
25 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
L'uguaglianza come nozione logica. Introduzione alla teoria ingenua degli insiemi: principi e operazioni.
27 Nov 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Paradossi e infinito.
02 Dic 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Introduzione storica alla logica modale. La nozione di mondo possibile (e i suoi antecedenti).
04 Dic 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Definizione della semantica delle logiche modali. La nozione di validità in logica modale.
09 Dic 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Esercitazione di gruppo. Introduzione alla teoria della corrispondenza tra assiomi e cornici.
11 Dic 2025 (2h 00m)
MATTEO Tesi - Corso (attività didattica) - In presenza
Teoria della corrispondenza. Principali sistemi modali e loro definizione.
Vai alla Ricerca avanzata