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

appunto V. Abrusci LOGICA E COMUNICAZIONE
Appunto
dispensa V. Abrusci LOGICA E COMUNICAZIONE
Dispensa
appunto T. Numerico LOGICA E COMUNICAZIONE
Appunto
appunto V. Abrusci LOGICA E COMUNICAZIONE
Appunto