Home » Archivo » Archvio 2010 » Logica - 2010/2011

Laurea in Informatica

Salta il menu di secondo livello

Logica - 6 CFU - A.A. 2010/2011

Link al sito del corso

Insegnante

Dott.ssa Maria Emilia Maietti

Periodo

I anno - 3 trimestre | 11/04/2011 - 18/06/2011

Ore: 32 Frontali, 0 Laboratorio, 16 Esercizi

Torna su ▲

Programma del Corso

1. Linguaggio, segni e espressioni, simboli e proposizioni, asserzioni e dichiarazioni, metalinguaggio, livelli di riferimento, iterazione infinita.

2. Concetto di macchina o robot, significato dei connettivi e loro regole di deduzione, logiche delle risorse, regole strutturali, logica intuizionistica e logica classica, tavole di verità, funzioni proposizionali e sottoinsiemi, quantificatori e loro regole di deduzione.

3. Metodi di decisione per calcoli dei sequenti proposizionali classico.

4. Definizioni e dimostrazioni per induzione, termini e formule, interpretazione delle formule, nozione di modello e contromodello, validità, soddisfacibilità e insoddisfacibilità di una formula.

5. Cenni ai teoremi di completezza e incompletezza (Goedel) e di indecidibilità (Church) e loro significato.

6. Analisi dettagliata di un esempio pratico: teoria assiomatica dell\'aritmetica di Peano.

Prerequisiti: - -

Propedeuticità: - -

Ausili Didattici: Saranno forniti testi di compiti precedenti, con relative risoluzioni.

Testi di Riferimento: Dispense fornite dal docente.

Torna su ▲