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