Che materia stai cercando?

Ulteriori informazioni

PAGINE

139

PESO

1.07 MB

AUTORE

Atreyu

PUBBLICATO

+1 anno fa


DESCRIZIONE DISPENSA

Questo documento fa riferimento al corso di Logica e Comunicazione tenuto dal prof. Abrusci. Qui di seguito gli argomenti trattati: logica del primo ordine (alfabeto, formule, modelli); teorema di compattezza; i teoremi di Löwenheim-Skolem; completezza delle teorie logiche; ricorsività e decidibilità; l'aritmetica di Peano.


DETTAGLI
Corso di laurea: Corso di laurea in scienze della comunicazione
SSD:
A.A.: 2011-2012

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Atreyu di informazioni apprese con la frequenza delle lezioni di LOGICA E COMUNICAZIONE e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Roma Tre - Uniroma3 o del prof Abrusci Vito Michele.

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 e comunicazione

Riassunto esame Logica, prof. Abrusci, libro consigliato Logica, lezioni di primo livello, Abrusci
Appunto
Steve Jobs - Opera e figura
Dispensa
Riassunti per esame di logica + esercizi, prof. Abrusci, Università Roma tre,
Appunto
Logica e comunicazione - Riassunto esame, prof. Numerico
Appunto