Il materiale didattico di questo insegnamento è disponibile su https://fad.unich.it/course/view.php?id=1326

• Lingua Insegnamento:

  Italiano 
• Testi di riferimento:

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

  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. 
• Prerequisiti:

  Nessuno. 
• Metodi didattici:

  L'insegnamento consiste in 24 ore di lezioni frontali. 
• Modalità di verifica dell'apprendimento:

  Vedere il syllabus del corso integrato di .. 
• Sostenibilità:

  Non tratta tematiche direttamente riconducibili alla sostenibilità ambientale e sociale. 
• Altre Informazioni:

  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.