CODICE 73029 ANNO ACCADEMICO 2020/2021 CFU 6 cfu anno 1 INFORMATICA 8759 (L-31) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE MAT/01 LINGUA Italiano SEDE GENOVA PERIODO 1° Semestre MODULI Questo insegnamento è un modulo di: ALGEBRA E LOGICA PER INFORMATICA MATERIALE DIDATTICO AULAWEB 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. MODALITA' 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 RICCARDO CAMERLO Commissione d'esame RICCARDO CAMERLO (Presidente) ALESSIO CAMINATA (Presidente Supplente) ALESSANDRO VERRI (Presidente Supplente) LEZIONI Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME Prova scritta. MODALITA' DI ACCERTAMENTO L'accertamento per il modulo di Logica consiste nella risoluzioni di quattro esercizi o problemi sugli argomenti del corso. Calendario appelli Data appello Orario Luogo Tipologia Note 26/01/2021 09:00 GENOVA Scritto 11/02/2021 09:00 GENOVA Scritto 29/06/2021 09:00 GENOVA Scritto 15/07/2021 09:00 GENOVA Scritto 08/09/2021 09:00 GENOVA Scritto