LOGICA

LOGICA

_
iten
Codice
73029
ANNO ACCADEMICO
2020/2021
CFU
6 cfu al 1° anno di 8759 INFORMATICA (L-31) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
MAT/01
LINGUA
Italiano
SEDE
GENOVA (INFORMATICA )
periodo
1° Semestre
moduli
Questo insegnamento è un modulo di:
materiale didattico

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Acquisire i concetti di conseguenza ed equivalenza logiche, la distinzione tra sintassi e semantica per un linguaggio formale, il concetto di interpretazione per un linguaggio formale e la capacità di tradurre asserzioni da un linguaggio naturale a un linguaggio formale e viceversa.

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

Al termine del modulo ci si attende che lo studente abbia acquisito familiarità con le logiche proposizionale e del prim'ordine e sia in grado di risolvere esercizi e problemi su questi argomenti.

Modalità didattiche

Lezioni ed esercitazioni frontali.

PROGRAMMA/CONTENUTO

- Introduzione al ragionamento matematico
- Sintassi della logica proposizionale
- Semantica della logica proposizionale: le tavole di verità
- Sintassi della logica del prim'ordine
- Semantica della logica del prim'ordine: la teoria dei modelli
- Il problema della formalizzazione

TESTI/BIBLIOGRAFIA

Sono disponibili agli studenti le note dettagliate del corso, presentate dal docente durante le lezioni.
Ogni testo standard di Logica matematica contiene gli argomenti del corso. Come eventuale ulteriore testo di riferimento si segnala: A. Frigeri, S. Adami, A. Cherubini, C. Nuccio, L. Mauri, E. Rodaro: «Logica e algebra», 2018.

DOCENTI E COMMISSIONI

Commissione d'esame

RICCARDO CAMERLO (Presidente)

ALESSIO CAMINATA

LEZIONI

Modalità didattiche

Lezioni ed esercitazioni frontali.

ESAMI

Modalità d'esame

Prova scritta.

Modalità di accertamento

L'accertamento per il modulo di Logica consiste nella risoluzioni di quattro esercizi o problemi sugli argomenti del corso.