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

Laurea in Informatica

Salta il menu di secondo livello

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

Link al sito del corso

Insegnante

Dott.ssa Maria Emilia Maietti

Periodo

I anno - 3 trimestre | 06/04/2010 - 11/06/2010

Ore: 36 Frontali, 0 Laboratorio, 12 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 e intuizionista).

4. Analisi dettagliata di un esempio pratico, ordini parziali, numeri naturali e teoria assiomatica dell'aritmetica di Peano, strutture dell'algebra astratta.

5. Definizioni e dimostrazioni per induzione, termini e formule, interpretazione delle formule, validità.

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

Prerequisiti: - -

Propedeuticità: - -

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

Testi di Riferimento: Dispense fornite dal docente.

Torna su ▲