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

Trovati 110 documenti.

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

The big typerscript / Ludwig Wittgenstein ; a cura di Armando De Palma
Libri Moderni

Wittgenstein, Ludwig <1889-1951>

The big typerscript / Ludwig Wittgenstein ; a cura di Armando De Palma

Torino : Einaudi, 2002

Biblioteca Einaudi ; 133

Abstract: Nel gennaio 1929 Wittgenstein tornava a Cambridge dopo più di quindici anni di assenza e iniziava una serie di riflessioni sulla filosofia del linguaggio e sui fondamenti della matematica che nelle sue intenzioni avrebbero dovuto trovare forma di libro. Ne risultò un dattiloscritto - noto agli studiosi con il titolo convenzionale di The Big Typescript - su cui Wittgenstein cominciò una parziale opera di revisione, apportando correzioni e inserendo aggiunte. Di questi rifacimenti tiene conto l'edizione Einaudi che offre al lettore la possibilità di entrare nel laboratorio Wittgenstein.

La logica del tempo / a cura di Claudio Pizzi
Libri Moderni

La logica del tempo / a cura di Claudio Pizzi

Torino : Boringhieri, 1974

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Garfield [Risorsa elettronica] : scopri con me la logica matematica : terzo ciclo, età 7-8 anni
Multimedia (kit)

Garfield [Risorsa elettronica] : scopri con me la logica matematica : terzo ciclo, età 7-8 anni

Gazzada Schianno : Leader S.p.A., [200-?]

Godel, Escher, Bach
Libri Moderni

Hofstadter, Douglas R.

Godel, Escher, Bach : un'Eterna Ghirlanda Brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll / Douglas R. Hofstadter

Milano : Adelphi, 1990

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

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

3

Milano : Adelphi, 1985

Biblioteca scientifica ; 6