OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Il modulo si propone di fornire agli studenti una generale comprensione dei concetti di conseguenza ed equivalenza logiche, della distinzione tra sintassi e semantica nei linguaggi formali, del concetto di interpretazione per un linguaggio formale e della 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 prerequisiti specifici.

MODALITA' DIDATTICHE

Lezioni ed esercitazioni frontali.

Gli studenti con certificazioni valide per Disturbi Specifici dell’Apprendimento (DSA), per disabilità o altri bisogni educativi sono invitati a contattare il docente e il referente di Scuola per la disabilità all’inizio dell’insegnamento per concordare eventuali modalità didattiche che, nel rispetto degli obiettivi dell’insegnamento, tengano conto delle modalità di apprendimento individuali. 

I contatti del referente di Scuola per la disabilità sono disponibili al seguente link https://unige.it/commissioni/comitatoperlinclusionedeglistudenticondisabilita. 

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

LEZIONI

INIZIO LEZIONI

In accordo con il calendario didattico approvato dal Consiglio dei Corsi di Studio in Informatica: https://easyacademy.unige.it/portalestudenti/index.php?view=easycourse&_lang=it&include=corso

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.

Gli studenti con certificazioni valide per Disturbi Specifici dell’Apprendimento (DSA) possono richiedere adattamenti in sede d'esame, con almeno 7 giorni di anticipo rispetto alla data dell’esame, compilando il "modulo richieste adattamenti" (dai servizi online https://modulionline.unige.it/richiesta-adattamenti#no-back) che verrà inviato in automatico dal sistema al/alla docente responsabile dell’insegnamento e al/alla docente referente per gli studenti con disabilità e con DSA della propria Scuola/Area.  

Lo studente riceverà una copia della sua richiesta.