|
| POSSEDUTO (se manca la collocazione vai al documento contenente) | |
| Autore principale: | Lolli, Gabriele, 1942-
|
| Titolo: | La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli. |
| Pubblicazione: | Bologna : Il mulino, c1987. |
| Descrizione fisica: | 155 p. ; 22 cm |
| Serie: | Saggi ; 311 |
| Contiene: | Indice: Introduzione. 1. Quella favolosa macchina di Chicago 2. Le ideografie di Frege e di Peano 3. Il formalismo matematico 4. La formalizzazione in informatica 5. La deduzione automatica 6. La dimostrazione sul tovagliolo 7. Il teorema dei quattro colori. Indice dei nomi |
| Visionato in: | IMSS |
| ISBN: | 8815012567 |
| Discipline: | Logica matematica--Studi. Cibernetica e Informatica--Studi. |
| Sudd. cronologiche: | Secolo XX. |
| Correlato a: |  Mugnai, Massimo 1947- Macchine, dimostrazioni, estraniamento storiografico. |
| Collocazione: | Rossi M 06462 |
| Nota di esemplare: | Mostra nota di esemplare |
| 000000202713 |
--------------------------------------