CODICE 73029 ANNO ACCADEMICO 2025/2026 CFU 6 cfu anno 1 INFORMATICA 11896 (L-31 R) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE MAT/01 LINGUA Italiano SEDE GENOVA PERIODO 1° Semestre FRAZIONAMENTI Questo insegnamento è diviso nelle seguenti frazioni: A B MODULI Questo insegnamento è un modulo di: ALGEBRA E LOGICA PER INFORMATICA 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 lo studente/la studentessa dovrà: *aver acquisito familiarità con le logiche proposizionale e del prim'ordine *essere in grado di risolvere esercizi e problemi su questi argomenti. PREREQUISITI Non sono previsti requisiti specifici 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 dai docenti 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 Ricevimento: L'orario di ricevimento sarà concordato con gli studenti. JACOPO EMMENEGGER Ricevimento: Su appuntamento, al termine delle lezioni o per email. LEZIONI INIZIO LEZIONI In accordo con il calendario didattico approvato dal Consiglio dei Corsi di Studio in Informatica: https://corsi.unige.it/corsi/11896/studenti-orario Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME Esame scritto. MODALITA' DI ACCERTAMENTO L'accertamento per il modulo di Logica consiste nella risoluzioni di quattro esercizi o problemi sugli argomenti dell'insegnamento, verificando la capacità dello studente di distinguere tra gli aspetti semantici e sintattici di un linguaggio, di formalizzare correttamente le asserzioni e di riconoscerne la verità in un dato modello.. Sono valutati la correttezza della risoluzione, la chiarezza dell'esposizione, il rigore del ragionamento. ALTRE INFORMAZIONI Per ulteriori informazioni, consultare il modulo Aulaweb dell'insegnamento o contattare i docenti.
