|
* Dettagli Torrent
globale | Commenti (0)
|
|
- Logica Matematica - Labella, Gorla [Pdf - ITA] [TNTVillage.org] -
| Categoria bittorrent | Ebooks |
|
|
| Descrizione | 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/ |
| Info: |
Per scaricare devi usare un client come uTorrent o Transmission |
| AnnounceURL
| http://tracker.tntvillage.scambioetico.org:2710/announce |
| Hash | d40ffe3fcc56b0094e3e3fd5373275f74f1234e9 |
|
| Peers |
seeds: 1 ,
leech: 1
|
| Size | 1.68 MB |
| Completato | 1600x |
| Aggiunto
| 07.08.09 - 13:08:12 |
| Uploader | Anonymous |
| Votazione |
 (Voti: 0) |
|
|
|
|
|
(Voti: 0) 
