Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin
| Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin |
| Autore | Manca, Vincenzo |
| Pubbl/distr/stampa | Torino, : Bollati Boringhieri, 2001 |
| Descrizione fisica | 200 p. ; 22 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-88-339-5656-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-VAN0044969 |
Manca, Vincenzo
|
||
| Torino, : Bollati Boringhieri, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Teoria algoritmica della complessità / Gregory J. Chaitin
| Teoria algoritmica della complessità / Gregory J. Chaitin |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | Torino : Giappichelli, ©2006 |
| Descrizione fisica | 108 p. ; 21 cm |
| Collana | Digitalica |
| ISBN | 88-348-6398-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008595040403321 |
|
Chaitin, Gregory J.
|
||
| Torino : Giappichelli, ©2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teoria algoritmica della complessità / Gregory J. Chaitin
| Teoria algoritmica della complessità / Gregory J. Chaitin |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | Torino, : G. Giappichelli, 2006 |
| Descrizione fisica | 108 p. ; 21 cm |
| Collana | Digitalica |
| ISBN | 8834863984 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISOB-SOBE00030542 |
|
Chaitin, Gregory J.
|
||
| Torino, : G. Giappichelli, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
The Limits of Mathematics : A Course on Information Theory and the Limits of Formal Reasoning / Gregory J. Chaitin
| The Limits of Mathematics : A Course on Information Theory and the Limits of Formal Reasoning / Gregory J. Chaitin |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | Singapore : Springer-Verlag, 1998 |
| Descrizione fisica | ix, 148 p. ; 24 cm |
| Disciplina | 510.78 |
| Collana | Springer series in discrete mathematics and theoretical computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 981-3083-59-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001432260403321 |
|
Chaitin, Gregory J.
|
||
| Singapore : Springer-Verlag, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The limits of mathematics : a course on information theory and the limits of formal reasoning / Gregory J. Chaitin
| The limits of mathematics : a course on information theory and the limits of formal reasoning / Gregory J. Chaitin |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | Singapore, : Springer, 1998 |
| Descrizione fisica | IX, 148 p. ; 24 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00A05 - Mathematics in general [MSC 2020] 94A15 - Information theory (general) [MSC 2020] |
| ISBN |
98-13-08359-X
978-98-13-08359-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055206 |
|
Chaitin, Gregory J.
|
||
| Singapore, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The limits of mathematics : a course on information theory and the limits of formal reasoning / Gregory J. Chaitin
| The limits of mathematics : a course on information theory and the limits of formal reasoning / Gregory J. Chaitin |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | Singapore, : Springer, 1998 |
| Descrizione fisica | IX, 148 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00A05 - Mathematics in general [MSC 2020] 94A15 - Information theory (general) [MSC 2020] |
| ISBN |
978-98-13-08359-2
98-13-08359-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055206 |
|
Chaitin, Gregory J.
|
||
| Singapore, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Thinking about Gödel and Turing : essays on complexity, 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies
| Thinking about Gödel and Turing : essays on complexity, 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies |
| Autore | Chaitin, Gregory J. |
| Pubbl/distr/stampa | Hackensack, N.J. : World Scientific, 2007 |
| Descrizione fisica | xix, 347 p. ; 25 cm |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 9-789812-708960 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009811920403321 |
|
Chaitin, Gregory J.
|
||
| Hackensack, N.J. : World Scientific, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
