Logica Matematica - Labella, Gorla [Pdf - ITA] [TNTVillage.org] torrent

Logica Matematica - Labella, Gorla [Tntvillage.Scambioetico]

Visit this link: More info on this torrent

Logica Matematica

By Dany87rm

======> Screenshots<======



======> Descrizione <======

Testo di Anna Labella:

Capitolo 1 - Insiemi e funzionii
1.1 - Insiemi e operazioni su di essi
1.2 - Relazioni e loro proprietà
1.3 - Funzioni
1.4 - Cardinalità di un insieme
1.5 - Cenni sulle antonomie della toeria degli insiemi
Capitolo 2 - I numeri naturalii
2.1 - L'insieme dei numeri naturali
2.2 - Dimostrazione per induzione
2.3 - Operazioni aritmetiche ed insiemistiche
2.4 - I numeri primi
Capitolo 3 - Logica degli enunciati: Calcolo dei connettivi i
3.1 - Enunciati, connettivi e valori di verità
3.2 - Il metodo dei tableau proposizionali
3.3 - Il sistema di Gentzen
3.4 - Cenni sul sistema di Hilbert
Capitolo 4 - Logica dei predicati: Calcolo dei quantificatorii
4.1 - Formule predicative e quantificatori
4.2 - Il metodo dei tableaux e il calcolo dei predicati
4.3 - I sistemi di Gentzen e Hilbert per il calcolo dei predicati

Esercizi di Daniele Gorla:

es.1 - Insiemi
es.2 - Relazioni
es.3 - Relazioni d'equivalenza e d'ordine
es.4 - Funzioni
es.5 - Induzione
es.6 - Algebre di Boole, tavole di verità ed equivalenza logiche
es.7 - Tableaux
es.8 - Equipotenza e algebre di Boole
es.9 - Hilbert
es.10 - Logica dei predicati: Modelli
es.11 - Logica dei predicati: Tableaux e Hilbert

======> Dati tecnici <======

Titolo: Logica Matematica
Autore: Anna Labella e Daniele Gorla
Anno: 2006
Lingua: Italiano
Formato File: PDF
Grandezza File: Circa 300Kb a capitolo + Circa 500Kb complessivamente per gli esercizi

Per visualizzare questi file occorre un qualsiasi Pdf reader, potete scaricarlo QUI

======> Note <======

Circa 5/10 Kbps dalle 14 alle 1.00

Buon download!

Visit http://www.tntvillage.scambioetico.org/