Seguici su

Cerca

Risultati di Ricerca

Risultati: 1-12 di 66

Modifica la ricerca

Filtri attivi:

Classe Dewey: 511.3 LOGICA MATEMATICA (LOGICA SIMBOLICA)

Visualizza

Ordina per

Otto lezioni sull'infinito

Testo

Otto lezioni sull'infinito

Shapira, Haim

Logic and philosophy in Italy : some trends and perspectives

Testo

Logic and philosophy in Italy : some trends and perspectives

Introduzione alla logica e al linguaggio matematico

Testo

Introduzione alla logica e al linguaggio matematico

Bagni, Giorgio T.

Introduction to mathematical logic

Testo

Introduction to mathematical logic

Mendelson, Elliott

Gödel : i teoremi di incompletezza

Testo

Gödel : i teoremi di incompletezza

Piñeiro, Gustavo Ernesto

Fondamenti di logica per insegnanti

Testo

Fondamenti di logica per insegnanti

Varga, Tamás

Automi, linguaggi e calcolabilit

Testo

Automi, linguaggi e calcolabilit

Hopcroft, John E. <1939- >

Sperimentare la logica

Testo

Sperimentare la logica

Dalla Chiara, Maria Luisa

Gli errori nelle dimostrazioni matematiche : imparare la matematica e la logica dagli errori (degli altri)

Testo

Gli errori nelle dimostrazioni matematiche : imparare la matematica e la logica dagli errori (degli altri)

Balzarotti, Giorgio

Menti, macchine e matematica : le nuove sfide dell'intelligenza artificiale

Testo

Menti, macchine e matematica : le nuove sfide dell'intelligenza artificiale

Belda Reig, Ignasi

L'importanza di essere fuzzy : matematica e computer

Testo

L'importanza di essere fuzzy : matematica e computer

Sangalli, Arturo

I paradossi dell'infinito

Testo

I paradossi dell'infinito

Bolzano, Bernard

Filtra Risultati

Autore Principale
- Lolli, Gabriele
  (5)
- Gardner, Martin <1914-2010>
  (2)
- Gödel, Kurt
  (2)
- Lucas, Edouard
  (2)
- Malvaldi, Marco
  (2)
- Perelman, Yakov
  (2)
- Pickover, Clifford
  (2)
- Smullyan, Raymond
  (2)
- Alem, Jean Pierre
  (1)
- Ambrose, Alice
  (1)
- Bagni, Giorgio T.
  (1)
- Balzarotti, Giorgio
  (1)
- Barbuto, Emiliano
  (1)
- Belda Reig, Ignasi
  (1)
- Bocheński, Joseph M.
  (1)
- Bolzano, Bernard
  (1)
- Borzacchini, Luigi
  (1)
- Carroll, Lewis
  (1)
- Casari, Ettore <1933-2019>
  (1)
- Cavagnetto, Stefano
  (1)
- Altro Tutti
Nomi
- Lolli, Gabriele
  (6)
- Ballo, Edoardo
  (3)
- Cavagnetto, Stefano
  (2)
- Gardner, Martin <1914-2010>
  (2)
- Gödel, Kurt
  (2)
- Lucas, Edouard
  (2)
- Malvaldi, Marco
  (2)
- Mangione, Corrado
  (2)
- Perelman, Yakov
  (2)
- Pickover, Clifford
  (2)
- Russell, Bertrand
  (2)
- Smullyan, Raymond
  (2)
- Alem, Jean Pierre
  (1)
- Ambrose, Alice
  (1)
- Bagni, Giorgio T.
  (1)
- Balzarotti, Giorgio
  (1)
- Barbuto, Emiliano
  (1)
- Belda Reig, Ignasi
  (1)
- Bocheński, Joseph M.
  (1)
- Bolzano, Bernard
  (1)
- Altro Tutti
Lingua
- ITALIANO
  (58)
- INGLESE
  (7)
- FRANCESE
  (3)
- TEDESCO
  (2)
- Altro Tutti
Classe Dewey
- 006.3 Metodi speciali di elaborazione. Intelligenza artificiale
  (1)
- Altro Tutti
Soggetto BNI
- Logica matematica
  (30)
- Giochi matematici
  (17)
- Matematica - Dimostrazione
  (2)
- Teorema di incompletezza di Gödel
  (2)
- Dio - Prove ontologiche
  (1)
- Elaborazione dei dati - Programmazione
  (1)
- Equazioni
  (1)
- Gödel, Kurt
  (1)
- Infinito <Concetti matematici>
  (1)
- Intelligenza artificiale
  (1)
- LOGICA MATEMATICA - SEC. 20.
  (1)
- Linguaggi formali
  (1)
- Logica formale
  (1)
- Logica matematica - Manuali per concorsi
  (1)
- Logica matematica - Scritti in onore
  (1)
- Logica simbolica
  (1)
- Mangione, Corrado
  (1)
- Matematica - Dimostrazioni
  (1)
- Matematica - Studi
  (1)
- Matematica - Teorie
  (1)
- Altro Tutti