Che materia stai cercando?

Ulteriori informazioni

PAGINE

4

PESO

66.78 KB

AUTORE

vipviper

PUBBLICATO

+1 anno fa


DESCRIZIONE ESERCITAZIONE

Esercizi svolti di Logica matematica del prof. Vitale su sequenti derivabili, albero di derivazione, come formalizzare una frase, come mettere in forma normale congiuntiva (CNF) e disgiuntiva (DNF) una formula, come dimostrare che una formula è insoddisfacibile, mettere un enunciato in forma prenessa, linguaggio con simbolo di predicato binario.


DETTAGLI
Corso di laurea: Corso di laurea in matematica
SSD:
Università: Torino - Unito
A.A.: 2012-2013

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher vipviper 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à Torino - Unito o del prof Vitale Matteo.

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 Corso di laurea in matematica

Lezioni ed esercitazioni, Probabilita' e statitistica
Appunto
Dispensa di Geometria
Dispensa
Lezioni, Introduzione al pensiero matematico
Appunto
Analisi Numerica - esercizi
Esercitazione