Università degli Studi di Urbino Carlo Bo / Portale Web di Ateneo


LOGICA MATEMATICA

Logica Matematica

A.A. CFU
2006/2007 6
Docente Email Ricevimento studenti
Alessandro Aldini mercoledì 14:00-16:00

Assegnato al Corso di Studio

Giorno Orario Aula

Obiettivi Formativi

Lo scopo del Corso è di presentare i risultati fondamentali della logica matematica di particolare interesse per l'informatica, evidenziando come il calcolo proposizionale e dei predicati siano ausiliari alle altre materie.

Programma

01. Introduzione alla logica: 01.01 Cenni storici. 01.02 Teoria degli insiemi. 01.03 Relazioni. 01.04 Induzione. 02. Logica proposizionale: 02.01 Sintassi. 02.02 Semantica. 02.03 Proprietà delle formule ben formate. 02.04 Equivalenza logica. 02.05 Leggi di equivalenza. 02.06 Sistemi deduttivi. 02.07 Forme normali. 02.08 Teoria della complessità. 02.09 Soddisfacibilità. 02.10 Risoluzione. 02.11 Compattezza. 03. Logica dei predicati: 03.01 Sintassi. 03.02 Semantica. 03.03 Soddisfacibilità. 03.04 Equivalenza logica. 03.05 Forme normali. 03.06 Teoria di Herbrand. 03.07 Unificazione. 03.08 Risoluzione. 03.09 Programmazione logica.

Modalità Didattiche, Obblighi, Testi di Studio e Modalità di Accertamento

Modalità didattiche
Lezioni frontali
Obblighi
Nessuno.
Testi di studio
A. Asperti, A. Ciabattoni, "Logica a Informatica", McGraw-Hill, 1997.
Modalità di
accertamento
Prova scritta e prova orale.
« torna indietro Ultimo aggiornamento:


Condividi


Questo contenuto ha risposto alla tua domanda?


Il tuo feedback è importante

Raccontaci la tua esperienza e aiutaci a migliorare questa pagina.

Il tuo 5x1000 per sostenere le attività di ricerca

L'Università di Urbino destina tutte le risorse che deriveranno da questa iniziativa alla ricerca scientifica ed al sostegno di giovani ricercatori.

Numero Verde

800 46 24 46

Richiesta informazioni

informazioni@uniurb.it

Posta elettronica certificata

amministrazione@uniurb.legalmail.it

Social

Performance della pagina

Università degli Studi di Urbino Carlo Bo
Via Aurelio Saffi, 2 – 61029 Urbino PU – IT
Partita IVA 00448830414 – Codice Fiscale 82002850418
2019 © Tutti i diritti sono riservati

Top