66857 - LOGICA PER L'INFORMATICA

Conoscenze e abilità da conseguire

Al termine del corso lo studente conosce il linguaggio del calcolo proposizionale e della logica del prim'ordine. È in grado di scrivere e comprendere proposizioni logiche e di verificarne la validità.

Contenuti

1. Paradossi e loro risoluzione. Applicazione dei paradossi per dimostrare risultati negativi in informatica.
2. Cenni alla teoria assiomatica degli insiemi: ZF, relazioni, funzioni, quozienti, cardinalità. Teorema di Cantor.
3. Linguaggi proposizionali: sintassi e semantica. Soddisfacibilità; equivalenze semantiche. Metodi sintattici: Risoluzione proposizionale e Deduzione Naturale. Correttezza e completezza.
4. Linguaggi del prim'ordine. Predicati, termini, quantificatori. Sintassi. Variabili libere e vincolate. Interpretazioni. Semantica per un linguaggio predicativo. Soddisfacibilità e equivalenze semantiche.
5. BNF per la definizione di grammatiche. Induzione strutturale e ricorsione strutturale.
6. Metodi sintattici del prim'ordine: Deduzione naturale. Cenni ai principali risultati teorici quali teorema di correttezza, teorema di completezza e teorema di compattezza.

Sono previste esercitazioni in laboratorio sugli argomenti 2-6.

Testi/Bibliografia

Testi obbligatori:

• Lucidi forniti dal docente.

Testi integrativi consigliati:

• A. Asperti - A. Ciabattoni, Logica a informatica, McGraw Hill, 1997.
  
  

Metodi didattici

Il corso si svolge nel primo semestre ed è articolato in lezioni frontali in aula ed esercitazioni settimanali svolte in laboratorio. Durante le lezioni frontali vengono trattati esaustivamente tutti gli argomenti del corso, fornendo tutte le conoscenze richieste. Le esercitazioni di laboratorio sono finalizzate al conseguimento da parte dello studente delle competenze previste, in particolare riguardo alla dimostrazione di nuovi teoremi e alla scrittura di programmi ricorsivi.

In considerazione della tipologia di attività e dei metodi didattici adottati, la frequenza di questa attività formativa richiede la preventiva partecipazione di tutti gli studenti ai Moduli 1 e 2 di formazione sulla sicurezza nei luoghi di studio, [https://elearning-sicurezza.unibo.it/ ] in modalità e-learning.

Modalità di verifica e valutazione dell'apprendimento

La verifica delle competenze acquisite si baserà sull'analisi degli elaborati prodotti dagli studenti durante le esercitazioni in laboratorio e su un esame scritto. Lo studente che raggiunga la sufficienza nell'esame scritto potrà effettuare un orale integrativo opzionale sugli stessi argomenti per migliorare la valutazione. Il voto finale è determinato dal voto dell'esame scritto e da un bonus che tiene conto del rendimento in laboratorio durante l'anno.

L'attività di laboratorio è mirata all'apprendimento di strumenti di auto-verifica della capacità di produrre dimostrazioni matematiche rigorose. Viene utilizzato il software Matita.

L'esame scritto, della durata di tre ore, richiede esercizi di ragionamento (produzione di nuove dimostrazioni e risoluzione di problemi).

Persone con disabilità e DSA

Le persone con disabilità o disturbi specifici dell’apprendimento hanno diritto a speciali adattamenti in relazione alla loro condizione, previa valutazione del Servizio d’ateneo per le studentesse e gli studenti con disabilità e DSA. Si prega di non rivolgersi al/la docente, ma di contattare il Servizio per un appuntamento. Sarà cura del Servizio stabilire quali adattamenti si rendono opportuni. Maggiori informazioni alla pagina https://site.unibo.it/studenti-con-disabilita-e-dsa/it/per-studenti.

Strumenti a supporto della didattica

I lucidi, le registrazioni delle lezioni e ulteriore materiale di approfondimento vengono resi disponibili sulla piattaforma Virtuale. Inoltre viene fornito il software Matita utilizzato nelle esercitazioni in laboratorio.

Due assistenti organizzano e coadiuvano nelle attività di laboratorio.

Orario di ricevimento

Consulta il sito web di Claudio Sacerdoti Coen