- Docente: Massimiliano Garagnani
- Crediti formativi: 6
- SSD: INF/01
- Lingua di insegnamento: Italiano
- Modalità didattica: Lezioni in presenza (totalmente o parzialmente)
- Campus: Bologna
- Corso: Laurea in Filosofia (cod. 9216)
-
dal 13/04/2026 al 21/05/2026
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
La prima parte del corso coprira’ concetti e formalismi del calcolo proposizionale, logica del sillogismo, e logica dei predicati / del prim'ordine.
Nella seconda parte, le nozioni acquisite nella prima verranno estese ed utilizzate per trattare i principi della logica modale / epistemica e logica dell’azione ("action logic"). Si tratteranno anche i costrutti fondamentali della programmazione imperativa ed aspetti fondamentali dei concetti di informazione, entropia / incertezza, e calcolabilita’.
Durante i laboratori, si utilizzeranno alcune piattaforme computazionali per apprendere, testare ed applicare i concetti teorici appresi in aula.
Testi/Bibliografia
Il seguente libro di testo puo' essere utilizzato come riferimento generico per il corso:
- Joan van Benthem et al. (2016) "Logic in Action" (Nuova Edizione)
disponibile QUI (in particolare, i Capitoli 2-6).
Materiale didattico aggiuntivo (inclusivo di slides ed esercizi) sarà reso disponibile sul sito (Virtuale) del corso.
Metodi didattici
Il corso si svolgerà in lezioni di teoria frontali (2 ore ciascuna) complementate da esercitazioni settimanali in laboratorio, volte a mettere in pratica e consolidare le nozioni apprese in classe.
Modalità di verifica e valutazione dell'apprendimento
L'esame consisterà in una prova scritta di 2 ore, comprendente 10 domande (5 a risposta multipla e 5 esercizi pratici) su concetti e metodi trattati durante il corso.
La prova scritta si svolgerà senza la possibilità di consultare libri, appunti, o strumenti digitali, pena l'annullamento della prova.
In ciascuna delle 10 domande della prova è possibile ottenere da 0 ad un massimo di 3 punti; sommati, i punti ottenuti contribuiscono alla formazione del voto finale. La prova è superata con un punteggio minimo di 18 punti.
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
Eventuali strumenti di supporto alla didattica (slide e altri materiali di approfondimento) saranno resi disponibili sulla piattaforma Virtuale.
Orario di ricevimento
Consulta il sito web di Massimiliano Garagnani