Includi: nessuno dei seguenti filtri
× Soggetto Alieni
Includi: tutti i seguenti filtri
× Soggetto Logica matematica

Trovati 110 documenti.

Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci
Libri Moderni

Cellucci, Carlo <1940->

Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci

Torino : Boringhieri, 1978

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Dalla matematica alla filosofia / Hao Wang
Libri Moderni

Wang, Hao <1921->

Dalla matematica alla filosofia / Hao Wang

Torino : Boringhieri, 1984

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Lezioni sull'intuizionismo : Cambridge 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk Van Dalen
Libri Moderni

Brouwer, Luitzen Egbertus Jan

Lezioni sull'intuizionismo : Cambridge 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk Van Dalen

Torino : Bollati Boringhieri, 1983

Lectio

Fondamenti di logica per insegnanti / Tamás Varga
Libri Moderni

Varga, Tamas

Fondamenti di logica per insegnanti / Tamás Varga

Torino : Bollati Boringhieri, 1988

Didattica ; Proposte ed esperienze

Teoria delle reti logiche : reti combinatorie / Fabrizio Luccio, Antonio Grasselli
Libri Moderni

Luccio, Fabrizio <1938->

Teoria delle reti logiche : reti combinatorie / Fabrizio Luccio, Antonio Grasselli

Torino : Boringhieri, 1977

Lezioni e seminari. Quaderni di elettronica ; 3

Lezioni di logica matematica / Gabriele Lolli
Libri Moderni

Lolli, Gabriele <1942->

Lezioni di logica matematica / Gabriele Lolli

Torino : Boringhieri, 1978

Lezioni e seminari

L' algebra di Boole e i circuiti logici / Franco Cianflone
Libri Moderni

Cianflone, Franco

L' algebra di Boole e i circuiti logici / Franco Cianflone

5. ed.

Milano : Etas libri, 1985

Informatica

Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski
Libri Moderni

Tarski, Alfred

Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski

2. ed.

Milano : Bompiani, 1978

Idee nuove ; 51

Matematica, miracoli e paradossi
Libri Moderni

Leonesi, Stefano - Toffalori, Carlo <1953->

Matematica, miracoli e paradossi : storie di cardinali da Cantor a Godel / Stefano Leonesi, Carlo Toffalori

[Milano] : B. Mondadori, copyr. 2007

Abstract: Che cos’è la Matematica? E che cosa significa “fare Matematica”? Come mai la Matematica è così potente da spiegare i miracoli – e giustificare razionalmente la moltiplicazione dei pani – e tuttavia così gracile da non evitare ridicoli paradossi, come quello di un numero di 30 sillabe che non si può scrivere con meno di 31 sillabe? Come può pretendere la Matematica di misurare e catalogare anche l’Infinito? E ancora: che cosa significa calcolare? E chi è il “calcolatore”?Domande astratte, forse, eppure questioni che hanno appassionato la ricerca dell’Ottocento e del Novecento e hanno originato e maturato la moderna Informatica.Il libro è una passeggiata tra questi argomenti, volta non solo a comunicare qualche risposta, ma anche a seminare ulteriori dubbi; a ritrarre in definitiva una Matematica quale essa effettivamente è: non glaciale e perfetta come molti la immaginano, ma libera, fallibile e soprattutto “viva”.

Dialogo materialista-idealista : da uno studio su B. Russel : numero reale e naturale... ; Quadriga 1, ovvero Sistema quadrico e... un'incognita / Zugolaro Renzo.
Libri Moderni

Zugolaro, Renzo

Dialogo materialista-idealista : da uno studio su B. Russel : numero reale e naturale... ; Quadriga 1, ovvero Sistema quadrico e... un'incognita / Zugolaro Renzo.

Rovigo : Mathesis, [1994?]

Logica
Libri Moderni

D'Agostino, Marcello <1958-> - Mondadori, Marco

Logica / Marcello D'Agostino, Marco Mondadori

Milano : B. Mondadori, copyr. 1997

Cos'è la logica matematica
Libri Moderni

Lolli, Gabriele <1942->

Cos'è la logica matematica : filosofia della logica / Gabriele Lolli

Padova : Muzzio, 1992

Leggi fondamentali dell'aritmetica / Gottlob Frege ; a cura di Carlo Cellucci.
Libri Moderni

Frege, Gottlob <1848-1925>

Leggi fondamentali dell'aritmetica / Gottlob Frege ; a cura di Carlo Cellucci.

Roma : Teknos, stampa 1995

I fondamenti della scienza ; 9

Introduzione al pensiero matematico. La formazione dei concetti nella matematica moderna
Libri Moderni

Waismann, Friedrich

Introduzione al pensiero matematico. La formazione dei concetti nella matematica moderna

Torino : Boringhieri, 1976

Che cos'è la logica matematica? / John N. Crossley ... [et al.] ; [traduzione di Teresa Pallucchini].
Libri Moderni

Che cos'è la logica matematica? / John N. Crossley ... [et al.] ; [traduzione di Teresa Pallucchini].

Torino : Boringhieri, 1976

Universale scientifica ; 140

Elementi di logica / E. J. Lemmon ; [traduzione di Massimo Prampolini].
Libri Moderni

Lemmon, Edward John

Elementi di logica / E. J. Lemmon ; [traduzione di Massimo Prampolini].

Roma ; Bari : Laterza, 1975

Biblioteca di cultura moderna ; 778

Questioni di filosofia della matematica
Libri Moderni

Casari, Ettore <1933->

Questioni di filosofia della matematica / Ettore Casari

Milano : Feltrinelli, 1964

Introduzione alla filosofia matematica
Libri Moderni

Russell, Bertrand <1872-1970>

Introduzione alla filosofia matematica / di Bertrand Russell ; traduzione di Luca Pavolini ; con uno scritto di Piergiorgio Odifreddi

Milano : Longanesi, 2004

Abstract: Una delle più celebri opere del filosofo inglese, scritta nel 1918 durante i sei mesi di carcere scontati per aver pubblicato un articolo pacifista. Si tratta di un grande classico del pensiero epistemologico in cui vengono sinteticamente esposti gli argomenti fondamentali della sua ricerca matematica.

Ludwig Wittgenstein e il Circolo di Vienna / Ludwig Wittgenstein ; colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinnes ; edizione italiana a cura di Sabina de Waal
Libri Moderni

Wittgenstein, Ludwig <1889-1951>

Ludwig Wittgenstein e il Circolo di Vienna / Ludwig Wittgenstein ; colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinnes ; edizione italiana a cura di Sabina de Waal

Firenze : La nuova Italia, 1975

Dimensioni ; 26

Le ragioni fisiche e le dimostrazioni matematiche
Libri Moderni

Lolli, Gabriele <1942->

Le ragioni fisiche e le dimostrazioni matematiche / Gabriele Lolli

Bologna : Il mulino, copyr. 1985