Salta al contenuto principale
CODICE 73029
ANNO ACCADEMICO 2023/2024
CFU
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:
    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 dell'insegnamento, presentate dal docente durante le lezioni.
    Ogni testo standard di Logica matematica contiene gli argomenti dell'insegnamento. 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 (Presidente Supplente)

    FRANCESCO STRAZZANTI (Presidente Supplente)

    LEZIONI

    INIZIO LEZIONI

    In accordo con il calendario didattico approvato dal consiglio dei corsi di studio in Informatica

    Orari delle lezioni

    L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy

    ESAMI

    MODALITA' D'ESAME

    Prova scritta. 

    Si consigliano gli studenti con certificazione di DSA, di disabilità o di altri bisogni educativi speciali di contattare il docente all’inizio dele lezioni per concordare modalità didattiche e d’esame che, nel rispetto degli obiettivi dell’insegnamento, tengano conto delle modalità di apprendimento individuali e forniscano idonei strumenti compensativi.

    MODALITA' DI ACCERTAMENTO

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

    Sono valutati la correttezza della risoluzione, la chiarezza dell'esposizione, il rigore del ragionamento.

    Calendario appelli

    Dati Ora Luogo Tipologia Note
    24/01/2024 09:00 GENOVA Scritto
    13/02/2024 09:00 GENOVA Scritto
    26/06/2024 09:00 GENOVA Scritto
    17/07/2024 09:00 GENOVA Scritto
    05/09/2024 09:00 GENOVA Scritto