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/
