Italiano

Dario Palladino.Corso di logica: Introduzione elementare al calcolo dei predicati (terza edizione).Carocci editore.

Introdurre i fondamenti della logica proposizionale e dei predicati.

RISULTATI DI APPRENDIMENTO ATTESI

CONOSCENZA E CAPACITÀ DI COMPRENSIONE

Alla fine del modulo lo studente dovrà essere in grado di:

• * spiegare la differenza tra ragionamento deduttivo, induttivo e abduttivo;
• * spiegare cosa si intende per inferenza e regola di inferenza;
• * fare esempi di inferenze correte e non corrette;
• * illustrare i principali connettivi usati in logica, e i loro corrispondenti nel linguaggio naturale;
• * spiegare i concetti di equivalenza e conseguenza logica;
• * illustrare le equivalenze e conseguenze logiche più importanti;
• * illustrare i quantificatori utilizzati in logica, e i loro corrispondenti nel linguaggio naturale;
• * descrivere il concetto di modello nella logica dei predicati.

CONOSCENZA E CAPACITÀ DI COMPRENSIONE APPLICATE

Alla fine dell’insegnamento lo studente dovrà essere in grado di:

• * determinare la tavole di verità di una proposizione;
• * determinare se un formula è una tautologia o una contraddizione;
• * determinare la validità di un'inferenza nella logica delle proposizioni;
• * determinare il valore di verità di una formula nella logica dei predicati in un dato modello;
• * formalizzare proposizioni espresse in linguaggio naturale nei linguaggi della logica proposizionale e del prim'ordine

ABILITÀ DI COMUNICAZIONE

Alla fine dell’insegnamento lo studente sarà in grado di esprimere concetti utilizzando un linguaggio logico corretto e preciso.

CAPACITÀ DI APPRENDERE

Alla fine dell’insegnamento lo studente sarà in grado di leggere e capire testi in cui si utilizzino concetti elementari di logica.

Nessuno.

L'insegnamento consiste in 24 ore di lezioni frontali.

Far riferimento alle modalità di verifica dell'apprendimento dell'insegnamento di Fondamenti di Informatica.

Questo insegnamento concorre alla realizzazione degli obiettivi ONU dell'Agenda 2030 per lo Sviluppo Sostenibile

Ulteriori informazioni saranno fornite tramite la piattaforma di e-learning fad.unich.it. La stessa verrà anche utilizzata come forum per le comunicazioni con gli studenti.