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

Trovati 108 documenti.

Le direzioni della ricerca logica in Italia /
Libri Moderni

Le direzioni della ricerca logica in Italia / / a cura di Hykel Hosni, Gabriele Lolli e Carlo Toffalori

Pisa : Edizioni della Normale, 2015

CRM series

La logica simbolica
Libri Moderni

Agazzi, Evandro <1934->

La logica simbolica / Evandro Agazzi

6. ed. rinnovata

Brescia : La scuola, copyr. 1990

2Analisi e sintesi ; [7]

Le due teste del tiranno :
Libri Moderni

Malvaldi, Marco <1974->

Le due teste del tiranno : : metodi matematici per la libertà / / Marco Malvaldi

Milano : BUR Rizzoli, 2018

BURLe scoperte, le invenzioni

Abstract: La matematica è rivoluzionaria. Attinge alla dimensione della libertà umana per creare mondi diversi e opposti, negando un codice già affermato per strutturarne liberamente un altro. Affermazioni matematiche all'apparenza inutili o sbagliate preannunciano quasi sempre vere e proprie rivoluzioni del pensiero. Il teorema di Bayes, per esempio, da puro gioco intellettuale è diventato un pilastro della diagnostica medica, della scienza forense, delle neuroscienze e nelle ricerche sull'intelligenza artificiale. In un viaggio che dai filosofi greci ci conduce alla Ultimate Machine di Claude Shannon, l'autore ci mostra che la matematica è rivoluzionaria anche in un modo più profondo: ci mette in grado di capire il mondo e di partecipare alla costruzione della società; di sconfiggere il tiranno: quello vero, ma soprattutto quello generato dal nostro stesso pensiero. Tutti possiamo intervenire, decidere se un ragionamento è corretto o meno, e tutti possiamo accedere agli assiomi iniziali e alle regole usate per svilupparli. Nel mondo fantastico dei numeri e dei teoremi non ci sono limiti all'immaginazione e in questo esercizio di fantasia siamo tutti liberi e tutti uguali. Non c'è nulla di controverso. Sire, spiegò ad Alessandro Magno il suo precettore Menecmo, in geografia esistono strade per i re e strade per il popolo, ma in geometria c'è un'unica strada per tutti.

Manuale di logica / Willard Van Orman Quine ; introduzione [e traduzione] di Michele Pacifico
Libri Moderni

Quine, W. V. <1908-2000>

Manuale di logica / Willard Van Orman Quine ; introduzione [e traduzione] di Michele Pacifico

Milano : Feltrinelli, 1960

Filosofia della scienza ; 1

Logica e filosofia /
Libri Moderni

Preti, Giulio <1911-1972>

Logica e filosofia / / Giulio Preti ; a cura di Alberto Peruzzi

Milano : Angeli, 1984

Collana di filosofia ; 14

Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski ; [traduzione di Edoardo Ballo e Silvio Bozzi]
Libri Moderni

Tarski, Alfred

Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski ; [traduzione di Edoardo Ballo e Silvio Bozzi]

Milano : Bompiani, 1969

Idee nuove ; 51

Dalla logica alla metalogica : scritti fondamentali di logica matematica / a cura di Ettore Casari
Libri Moderni

Dalla logica alla metalogica : scritti fondamentali di logica matematica / a cura di Ettore Casari

Firenze : Sansoni, [1979]

Manuali Sansoni

Logica matematica : corso introduttivo / Vito Michele Abrusci
Libri Moderni

Abrusci, Vito Michele

Logica matematica : corso introduttivo / Vito Michele Abrusci

2. ed.

Bari : Laterza, 2000

Matematica e logica
Libri Moderni

Laganà, Maria Rita - Leoni, Paolo - Stampacchia, Renata

Matematica e logica : mettiti alla prova / Maria Rita Laganà, Paolo Leoni, Renata Stampacchia

Apogeo, 2013

Abstract: Da qualche anno l'ammissione a molti corsi di laurea è legata al superamento di una prova di idoneità basata su test che hanno anche un interessante effetto secondario: segnalare allo studente le sue eventuali lacune. Questo libro si rivolge proprio a coloro che si cimentano nelle discipline scientifiche e intendono rinforzare la conoscenza di alcune tematiche e offre a chi deve affrontare test di logica, matematica elementare, calcolo combinatorio e delle probabilità, l'occasione di accertare eventuali carenze e un aiuto concreto per una preparazione autonoma, accurata, veloce. Gli autori, grazie alla loro grande esperienza didattica, presentano in maniera efficace e sintetica le basi del ragionamento e del calcolo in modo che il lettore possa acquisire una adeguata capacità di comprensione e riflessione e possa capire e risolvere le prove con tranquillità e sicurezza. I primi capitoli trattano logica e insiemi, argomenti che sono richiesti anche nei test aziendali.

Elementi di logica matematica / Petr Sergeevic Novikov ; a cura [e traduzione] di Roberto Cordeschi ; prefazione di Carlo Cellucci
Libri Moderni

Novikov, Petr Sergeevic

Elementi di logica matematica / Petr Sergeevic Novikov ; a cura [e traduzione] di Roberto Cordeschi ; prefazione di Carlo Cellucci

Roma : Editori riuniti, 1975

Nuova biblioteca di cultura ; 133Serie scientifica

Tractatus logico-philosophicus e Quaderni 1914-1916. Traduzione di Amedeo G. Conte
Libri Moderni

Wittgenstein, Ludwig <1889-1951>

Tractatus logico-philosophicus e Quaderni 1914-1916. Traduzione di Amedeo G. Conte

Torino : Einaudi, 1980

Introduzione ai Principia mathematica / Alfred North Whitehead, Bertrand Russell ; presentazione e note di Paolo Parrini
Libri Moderni

Whitehead, Alfred North <1861-1947>

Introduzione ai Principia mathematica / Alfred North Whitehead, Bertrand Russell ; presentazione e note di Paolo Parrini

Firenze : La nuova Italia, 1977

Pensatori del nostro tempo ; 18

Introduzione alla logica combinatoria / J.R. Hindley, Bruce Lercher, J.P. Seldin
Libri Moderni

Hindley, J. Roger

Introduzione alla logica combinatoria / J.R. Hindley, Bruce Lercher, J.P. Seldin

Torino : Boringhieri, 1975

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson
Libri Moderni

Robinson, Abraham

Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson

Torino : Boringhieri, 1974

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Libri Moderni

Hermes, Hans

Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes

Torino : Boringhieri, 1975

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Fondamenti della matematica / William S. Hatcher
Libri Moderni

Hatcher, William S.

Fondamenti della matematica / William S. Hatcher

Torino : Boringhieri, 1973

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Introduzione alla logica matematica / Elliott Mendelson
Libri Moderni

Mendelson, Elliott

Introduzione alla logica matematica / Elliott Mendelson

Torino : Boringhieri, 1972

Testi e manuali della scienza contemporanea

Logica e geometria : per docenti di matematica e fisica del biennio della scuola secondaria superiore / a cura di Rita De Castro.
Libri Moderni

Logica e geometria : per docenti di matematica e fisica del biennio della scuola secondaria superiore / a cura di Rita De Castro.

Udine : Aviani, 1992

Mondi della logica / Ettore Carruccio
Libri Moderni

Carruccio, Ettore

Mondi della logica / Ettore Carruccio

Bologna : Zanichelli, 1980

Matematica moderna ; 9

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

Johnson, Donovan A.

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

Bologna : Zanichelli, 1980

Matematica ; 18