Che materia stai cercando?

Ulteriori informazioni

PAGINE

308

PESO

1.38 MB

AUTORE

Jacko

PUBBLICATO

+1 anno fa


DESCRIZIONE DISPENSA

Slides per il corso di Logica Matematica della prof.ssa Ciriani, dove sono trattati i seguenti argomenti: introduzione alla logica e analisi lessicale del termine; il concetto di insieme e le sue proprietà; le funzioni; la logica proposizionale e la sua semantica; l'induzione strutturale; il Teorema di deduzione semantica, il Teorema di compattezza e l'equivalenza semantica; sistemi deduttivi e assiomatici; il calcolo dei sequenti; la logica dei predicati; il calcolo del primo ordine; i metodi di risoluzione della logica proporzionale e la teoria di Herbrand.


DETTAGLI
Corso di laurea: Corso di laurea in informatica
SSD:
Università: Milano - Unimi
A.A.: 2012-2013

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Jacko di informazioni apprese con la frequenza delle lezioni di Logica Matematica e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Milano - Unimi o del prof Ciriani Valentina.

Acquista con carta o conto PayPal

Scarica il file tutte le volte che vuoi

Paga con un conto PayPal per usufruire della garanzia Soddisfatto o rimborsato

Recensioni
Ti è piaciuto questo appunto? Valutalo!

Altri appunti di Logica matematica

Parte 2 + Esempi domande teoriche
Appunto
Parte 1 - Logica preposizionale, proposizioni atomiche, macro regole
Appunto
Parte 2 + Esempi domande teoriche
Appunto
Parte 1 - Logica preposizionale, proposizioni atomiche, macro regole
Appunto