Logica – Padova

Argomenti del programma: Il corso affronterà i seguenti temi: · Elementi di logica informale: enunciati e metodi dimostrativi più comuni. · Nozioni basilari di insiemistica: operazioni tra insiemi, relazioni e funzioni, cenni di cardinalità. · Sintassi della logica proposizionale: connettivi logici, enunciati semplici e composti, argomenti, formalizzazioni dal linguaggio naturale al linguaggio proposizionale.

Argomenti del programma: 1. Linguaggio, metalinguaggio, livelli di riferimento, iterazione infinita. 2. Concetto di macchina o robot, significato dei connettivi e loro regole di deduzione, calcolo dei sequenti per logica classica proposizionale, tabelle di verita', teoremi di validita'e completezza. 3. Calcolo dei sequenti per la logica classica predicativa, nozione di interpretazione e modello, teoremi di validita' e completezza. 4.

Argomenti del programma: 1. Linguaggio, metalinguaggio, livelli di riferimento, iterazione infinita. 2. Concetto di macchina o robot, significato dei connettivi e loro regole di deduzione, calcolo dei sequenti per logica classica proposizionale, tabelle di verita', teoremi di validita'e completezza. 3. Calcolo dei sequenti per la logica classica predicativa, nozione di interpretazione e modello, teoremi di validita' e completezza. 4.

• Dispense e ulteriore materiale didattico predisposti dalla docente e resi disponibili durante il corso.

Argomenti del programma: Il corso è articolato in tre moduli. Il primo modulo introduce i concetti fondamentali della logica classica, con particolare attenzione alla nozione di inferenza, alla distinzione tra linguaggio naturale e linguaggio formale, alla logica proposizionale e agli elementi essenziali della logica dei predicati.