Risultati di Ricerca

Risultati: 1-66 di 66

Modifica la ricerca

Filtri attivi:

Classe Dewey: 511.3 LOGICA MATEMATICA (LOGICA SIMBOLICA)

Visualizza

Ordina per

Testo

Otto lezioni sull'infinito

Shapira, Haim

Testo

Logic and philosophy in Italy : some trends and perspectives

Testo

Introduzione alla logica e al linguaggio matematico

Bagni, Giorgio T.

Testo

Introduction to mathematical logic

Mendelson, Elliott

Testo

Gödel : i teoremi di incompletezza

Piñeiro, Gustavo Ernesto

Testo

Fondamenti di logica per insegnanti

Varga, Tamás

Testo

Automi, linguaggi e calcolabilit

Hopcroft, John E. <1939- >

Testo

Sperimentare la logica

Dalla Chiara, Maria Luisa

Testo

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

Balzarotti, Giorgio

Testo

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

Belda Reig, Ignasi

Testo

L'importanza di essere fuzzy : matematica e computer

Sangalli, Arturo

Testo

I paradossi dell'infinito

Bolzano, Bernard

Testo

QED : fenomenologia della dimostrazione

Lolli, Gabriele

Testo

La matematica della verità : strumenti matematici della semantica logica

Casari, Ettore <1933-2019>

Testo

La prova matematica dell'esistenza di Dio

Gödel, Kurt

Testo

Matematica come narrazione

Lolli, Gabriele

Testo

Introduzione alla filosofia matematica

Russell, Bertrand

Testo

I test di logica matematica e numerica : per tutti i concorsi

Testo

Le due teste del tiranno : metodi matematici per la libert

Malvaldi, Marco

Testo

Le due teste del tiranno : metodi matematici per la libert

Malvaldi, Marco

Testo

Ah! Ci sono! : paradossi stimolanti e divertenti

Gardner, Martin <1914-2010>

Testo

Qual è il titolo di questo libro? : l'enigma di Dracula e altri indovinelli logici

Smullyan, Raymond

Testo

La magia dei numeri

Pickover, Clifford

Testo

Giochi matematici : enigmi e rompicapi

Stewart, Ian <1945- >

Testo

Satana, Cantor e l'infinito e altri inquietanti rompicapi

Smullyan, Raymond

Testo

L'enigma del mandarino : passatempi matematici 1.

Dudeney, Henry Ernest

Testo

Esperienza a-ah!

Gardner, Martin <1914-2010>

Testo

Algebra ricreativa

Perelman, Yakov

Testo

Scintille matematiche : giochi e gare di creatività e logica

Toni, Paolo <1948- >

Testo

Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica

Borzacchini, Luigi

Testo

Giochi d'ingegno e divertimenti matematici

Alem, Jean Pierre

Testo

Il labirinto : ricreazioni matematiche 1.

Lucas, Edouard

Testo

Le meraviglie dei numeri

Pickover, Clifford

Testo

Addizione e sottrazione

Testo

Formale Logik

Bocheński, Joseph M.

Testo

Teoria della logica del prim'ordine

Iacona, Andrea

Testo

Esercizi di logica

Cavagnetto, Stefano

Testo

Logica numerica : 400 quiz di logica su probabilità, proporzioni, percentuali, serie numeriche, matrici ... ed altri rompicapo

Barbuto, Emiliano

Testo

Logica matematica

Landra, Luigi

Testo

Passione per Trilli : alcune idee dalla matematica

Lucchetti, Roberto <1950- >

Testo

Coppie, numeri e frattali : altra matematica nascosta nella vita quotidiana

Eastaway, Robert

Testo

Logica e teorie formalizzate : completezza, incompletezza, indecidibilit

Palladino, Dario

Testo

Equilibrio perfetto : le grandi equazioni della scienza moderna

Testo

Logica e geometria : per docenti di matematica e fisica del biennio della scuola secondaria superiore

Testo

Introduzioni ai Principia mathematica

Whitehead, Alfred North

Testo

Matematica e logica : mettiti alla prova

Laganà, Maria Rita

Testo

Mathematical interpretation of formal systems

Testo

Il gioco militare : ricreazioni matematiche 2.

Lucas, Edouard

Testo

Un racconto aggrovigliato e I problemi del cuscino

Carroll, Lewis

Testo

Matematica ricreativa

Perelman, Yakov

Testo

Passatempi matematici

Loyd, Samuel

Testo

Giochi matematici russi : 395 problemi di matematica ricreativa

Kordemsky, Boris A.

Testo

Lezioni di Wittgenstein sui fondamenti della matematica : Cambridge 1939

Wittgenstein, Ludwig

Testo

Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der ersten Stufe

Suranyi, Janos

Testo

Les limitations internes des formalismes : etude sur la signification du theoreme de Godel et des theoremes apparentes dans la theorie des fondements des mathematiques

Ladrière, Jean

Testo

Fundamentals of symbolic logic

Ambrose, Alice

Testo

Automata, languages and machines. 1

Testo

I teoremi di incompletezza

Lolli, Gabriele

Testo

Linguaggi formali nelle scienze della comunicazione

Crespi Reghizzi, Stefano

Testo

Da Euclide a Gödel

Lolli, Gabriele

Testo

Come risolvere i problemi di matematica : logica ed euristica nel metodo matematico

Pólya, George

Testo

Essai sur les conditions et les limites de la certitude logique

Milhaud, Gaston

Testo

La ricerca logica in Italia : studi in onore di Corrado Mangione

Testo

Logica matematica : strutture, rappresentazioni, deduzioni

Manca, Vincenzo <1949- >

Testo

Opere

Gödel, Kurt

Testo

QED : fenomenologia della dimostrazione

Lolli, Gabriele

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

Chiudi

Risultati Ricerca

Risultati di Ricerca

Argomenti