Logica. Lezioni Di Primo Livello
| Copyright Holder | Wolters Kluwer Italia S.r.l. |
| Publisher Series | CEDAM. Scienze Filosofiche e Matematiche |
| Printed by | L.E.G.O. S.p.A. |
| Layout Design | Sinergie Grafiche srl |
| Publisher | CEDAM |
| About/Subject | Kurt Gödel, Alan Turing, George Boole |
| Format | Paperback |
| Language | Italian |
| Location | Italy |
| Copyright | 2018 |
| Printed | 2018-07 |
| Pages / Font | 287 pages |
| Edition No. | 4 |
| Barcode (EAN) | 9788813366087 |
| Barcode (EAN) | 5000002314537 |
| Price | € 23.00 |
| Chapters | Premessa. - p. V. Capitolo 1 - I temi della logica. - p. 1. Capitolo 2 - Logica classica: proposizioni, dimostrazioni. - p. 51. Capitolo 3 - Logica classica: connettivi principali. - p. 71. Capitolo 4 - Logica classica: quantificatori. - p. 101. Capitolo 5 - La logica classica del primo ordine. - p. 121. Capitolo 6 - Logica classica: le classi e gli insiemi. - p. 141. Capitolo 7 - Codici binari e algebra di Boole. - p. 171. Capitolo 8 - Macchina di Turing e calcolabilità. - p. 191. Capitolo 9 - Assiomatizzaazione della logica del primo ordine. - p. 211. Capitolo 10 - La logica e le altre discipline. - p. 241. Capitolo 11 - Sui capitoli precedenti: sintesi, domande e risposte, sviluppi. - p. 255. |
Added by belloga