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


LOGICA MATEMATICA

A.A. CFU
2009/2010 6
Docente Email Ricevimento studentesse e studenti
Cinzia Di Giusto su appuntamento

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.

Eventuali Propedeuticità

Nessuna

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.

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

Note

Il corso è erogato sia nel "percorso in presenza" che nel "percorso online" del Corso di Laurea di Informatica Applicata.

« torna indietro Ultimo aggiornamento: 14/07/2008


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.

15 22

Se sei vittima di violenza o stalking chiama il 1522, scarica l'app o chatta su www.1522.eu

Il numero, gratuito è attivo 24 h su 24, accoglie con operatrici specializzate le richieste di aiuto e sostegno delle vittime di violenza e stalking.

Posta elettronica certificata

amministrazione@uniurb.legalmail.it

Social

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

Top