Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 240-260 di 458

testo

Lezioni sull'intuizionismo [+]

Cambridge, 1946-51

  • Brouwer, L. E. J.
testo

QED [+]

fenomenologia della dimostrazione

  • Lolli, Gabriele
testo

Logica e informatica

scienze dell'artificiale e scienze dell'uomo

  • Sacchi, Giorgio 1955-
testo

Godel, Escher, Bach: un'eterna ghirlanda brillante [+]

una fuga metaforica su menti e macchine nello spirito di Lewis Carroll

  • Hofstadter, Douglas R.
testo

Menti, macchine e matematica

le nuove sfide dell'intelligenza artificiale

  • Belda Reig, Ignasi
testo

Il software dell'universo [+]

saggio sulle leggi di natura

  • Dorato, Mauro
testo

I sogni della ragione [+]

la logica matematica e i suoi paradossi

  • Fresán, Javier
testo

La guerra dei trent'anni (1900-1930)

da Hilbert a Gödel

  • Lolli, Gabriele
testo

Gli errori nelle dimostrazioni matematiche [+]

imparare la matematica e la logica dagli errori (degli altri)

  • Balzarotti, Giorgio
testo

L'algebra booleana [+]

corso d'autoformazione con il metodo dell'istruzione programmata

Risultati 240-260 di 458

Seguici su Twitter

I Nostri Social