Ricerca avanzata

Ordina per:
Risultati: 1-24 su 61

Cento problemi di Pollicino : Letture di aritmetica con problemi da risolvere e da ricostruire

Monografia moderna

Descrizione:  Dubouquet, Amélie. Cento problemi di Pollicino : Letture di aritmetica con problemi da risolvere e da ricostruire. - Roma : A. Armando, 1971. ?46? c. : ill. ; 28 c.

Codice record: SBL0436417

La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli

Monografia moderna

Descrizione:  Lolli, Gabriele. La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli. - Bologna : Il mulino, [1987]. 155 p. ; 22 cm.. ( Saggi ; 311 )

Codice record: CFI0109309

Aritmetica razionale : per gli istituti magistrali

Monografia moderna

Descrizione:  Zwirner, Giuseppe. Aritmetica razionale : per gli istituti magistrali. - Padova : CEDAM, 1970. IX, 191 p. : ill. ; 25 cm ..

Codice record: SBL0375842

Gödel, Escher, Bach : un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll / Douglas R. Hofstadter

Monografia moderna

Descrizione:  Hofstadter, Douglas R.. Gödel, Escher, Bach : un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll / Douglas R. Hofstadter. - Milano : Adelphi, 1986. - 4. ed. XXVII, 852 p. : ill. : 24 cm. ( Biblioteca scientifica )

Codice record: TPS0005416

Da Euclide a Godel / Gabriele Lolli

Monografia moderna

Descrizione:  Lolli, Gabriele. Da Euclide a Godel / Gabriele Lolli. - Bologna : Il mulino, [2004]. 189 p. ; 22 cm.. ( Saggi ; 621 )

Codice record: RAV1248679

Come costruire i grafici / di G. E. Shilov. Problemi elementari di massimo e di minimo / di I. P. Natanson

Monografia moderna

Descrizione:  Silov, Georgij Evgen'eviC. Come costruire i grafici / di G. E. Shilov. Problemi elementari di massimo e di minimo / di I. P. Natanson. - Milano : Progresso tecnico editoriale, stampa 1965. 67 p. ; 19 cm. ( Argomenti di matematica )

Codice record: UBO0131621

Esercizi di logica / Stefano Cavagnetto

Monografia moderna

Descrizione:  Cavagnetto, Stefano. Esercizi di logica / Stefano Cavagnetto. - Roma : Carocci, 2008. 144 p. ; 20 cm.. ( Le bussole ; 323 )

Codice record: LO11202074

Introduzione alla logica simbolica con particolare riferimento alle sue applicazioni / Rudolf Carnap ; presentazione di Alberto Pasquinelli

Monografia moderna

Descrizione:  Carnap, Rudolf. Introduzione alla logica simbolica con particolare riferimento alle sue applicazioni / Rudolf Carnap ; presentazione di Alberto Pasquinelli. - Firenze : La nuova Italia, 1978. IX, 385 p. ; 22 cm. ( Pensatori del nostro tempo ; 16 )

Codice record: SBL0323018

La matematica della verità : strumenti matematici della semantica logica / Ettore Casari

Monografia moderna

Descrizione:  Casari, Ettore [1933- ]. La matematica della verità : strumenti matematici della semantica logica / Ettore Casari. - Torino : Bollati Boringhieri, 2006. 453 p. ; 22 cm.. ( Nuova didattica. Scienze )

Codice record: RAV1438294

Nove lezioni di logica simbolica / Joseph Bochenski

Monografia moderna

Descrizione:  Bochenski, Joseph M.. Nove lezioni di logica simbolica / Joseph Bochenski. - Bologna : ESD, [1995]. 141 p. ; 21 cm.. ( Philosophia ; 22 )

Codice record: RAV0271763

Il software dell'universo : saggio sulle leggi di natura / Mauro Dorato

Monografia moderna

Descrizione:  Dorato, Mauro. Il software dell'universo : saggio sulle leggi di natura / Mauro Dorato. - [Milano] : B. Mondadori, 2000. 290 p. ; 17 cm. ( Biblioteca delle scienze )

Codice record: RAV0698929

Fondamenti di logica : introduzione alla teoria della dimostrazione / di Marco Borga

Monografia moderna

Descrizione:  Borga, Marco. Fondamenti di logica : introduzione alla teoria della dimostrazione / di Marco Borga. - Milano : F. Angeli, [1995]. 136 p. ; 22 cm. ( Epistemologia ; 49 )

Codice record: MIL0281226

Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica / Luigi Borzacchini

Monografia moderna

Descrizione:  Borzacchini, Luigi. Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica / Luigi Borzacchini. - Bari : Dedalo, [2010]. 650 p. ; 21 cm. ( La scienza nuova ; 147 )

Codice record: TO01756342

L'analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai

Monografia moderna

Descrizione:  Boole, George. L'analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai. - Torino : Bollati Boringhieri, 1993. LVIII, 118 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 262 )

Codice record: CFI0250099

La visione matematica della realtà : introduzione ai temi e alla storia della modellistica matematica / Giorgio Israel

Monografia moderna

Descrizione:  Israel, Giorgio. La visione matematica della realtà : introduzione ai temi e alla storia della modellistica matematica / Giorgio Israel. - Roma, [etc.] : Laterza, 1996. XIV, 371 p. ; 21 cm. ( Biblioteca di cultura moderna ; 1108 )

Codice record: RAV0278799

Logica e ragionamento / di Donovan A. Johnson, William H. Glenn e M. Scott Norton

Monografia moderna

Descrizione:  Johnson, Donovan A.. Logica e ragionamento / di Donovan A. Johnson, William H. Glenn e M. Scott Norton. - Bologna : Zanichelli, [1978]. 80 p. ; 19 cm. ( Matematica ; 18 )

Codice record: RAV0078019

Elementi di logica : con gli esercizi risolti / E. J. Lemmon

Monografia moderna

Descrizione:  Lemmon, Edward John. Elementi di logica : con gli esercizi risolti / E. J. Lemmon. - Roma [ecc.] : Laterza, 1986. XI, 296 p. ; 21 cm. ( Biblioteca universale Laterza ; 182 )

Codice record: CFI0060357

Aritmetica e logica / Gottlob Frege ; traduzione e note [di] L. Geymonat

Monografia moderna

Descrizione:  Frege, Gottlob. Aritmetica e logica / Gottlob Frege ; traduzione e note [di] L. Geymonat. - Torino : G. Einaudi, 1948. 269 p. ; 22 cm.. ( Biblioteca di cultura scientifica ; 18 )

Codice record: CUB0289055

La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi

Monografia moderna

Descrizione:  Gödel, Kurt. La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi. - Torino : Bollati Boringhieri, 2006. 123 p. ; 18 cm.. ( Incipit ; 3 )

Codice record: RAV1449417

Tutti insieme / Elisa Gehin

Monografia moderna

Genere:  Letteratura per ragazzi

Descrizione:  Géhin, Elisa. Tutti insieme / Elisa Gehin. - Milano : Il Castoro, 2017. 34 p. : in gran parte ill. ; 30 cm.

Codice record: MOD1674712

La prova di Gödel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard

Monografia moderna

Descrizione:  Nagel, Ernest. La prova di Gödel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard. - Torino : Bollati Boringhieri, 1992. - 2. ed. accresciuta. 136 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 102 )

Codice record: RAV0186758

Introduzione alla logica simbolica / Alberto Pasquinelli ; pref. di Ludovico Geymonat

Monografia moderna

Descrizione:  Pasquinelli, Alberto. Introduzione alla logica simbolica / Alberto Pasquinelli ; pref. di Ludovico Geymonat. - Torino : Einaudi, 1957. X, 118 p. ; 22 cm.. ( Biblioteca di cultura scientifica ; 52 )

Codice record: MIL0094322

Il Dio della logica : vita geniale di Kurt Gödel, matematico della filosofia / di Piergiorgio Odifreddi

Monografia moderna

Descrizione:  Odifreddi, Piergiorgio. Il Dio della logica : vita geniale di Kurt Gödel, matematico della filosofia / di Piergiorgio Odifreddi. - Milano : Longanesi, 2018. 304 p., [4] carte di tav. : ill. ; 21 cm. ( Il cammeo ; 600 )

Codice record: LO11724776

Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975

Monografia moderna

Descrizione:  Marruccelli, Aldo. Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975. VII, 174 p. ; 21 cm .. ( La cultura ; 7 )

Codice record: SBL0167800