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

Trovati 110 documenti.

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

Elementi di matematica discreta
Libri Moderni

Cerasoli, Mauro - Eugeni, Franco - Protasi, Marco

Elementi di matematica discreta / Mauro Cerasoli, Franco Eugeni, Marco Protasi

Bologna : Zanichelli, 1988

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

Che cos'è la logica matematica? / John N. Crossley ... [et al.]
Libri Moderni

Che cos'è la logica matematica? / John N. Crossley ... [et al.]

Torino : Boringhieri, 1979

Universale scientifica ; 140

Temi fondamentali della logica moderna / David C. Makinson ; [traduzione di Paolo Pagli]
Libri Moderni

Makinson, David C.

Temi fondamentali della logica moderna / David C. Makinson ; [traduzione di Paolo Pagli]

Torino : Boringhieri, 1979

Universale scientifica ; 178

Scritti di logica / Charles Sanders Peirce ; a cura di Charles Hartshorne e Paul Weiss. Scelta e traduzione di Aurelia Monti ; introduzione di Corrado Mangione
Libri Moderni

Peirce, Charles Santiago Sanders

Scritti di logica / Charles Sanders Peirce ; a cura di Charles Hartshorne e Paul Weiss. Scelta e traduzione di Aurelia Monti ; introduzione di Corrado Mangione

Firenze : La nuova Italia, 1981

Classici della filosofia ; 13

Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali / Robert Rogers
Libri Moderni

Rogers, Robert

Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali / Robert Rogers

Milano : Feltrinelli, 1978

SC/10. Manuali ; 2

Teoria della dimostrazione / G. Gentzen ... [et al.] ; a cura di Donatella Cagnoni
Libri Moderni

Teoria della dimostrazione / G. Gentzen ... [et al.] ; a cura di Donatella Cagnoni

Milano : Feltrinelli, 1981

SC/10. Readings ; 22

Opere, 1929-1936 / Kurt Gödel
Libri Moderni

Opere, 1929-1936 / Kurt Gödel

Torino : Bollati Boringhieri, 1999

Elementi di logica con gli esercizi risolti
Libri Moderni

Lemmon, E. J. <1930-1966>

Elementi di logica con gli esercizi risolti / E. J. Lemmon ; traduzione di Massimo Prampolini ; [soluzione degli esercizi a cura di Fabrizio Funtò e Massimo Prampolini]

2. ed.

Roma : Laterza, 1991

Abstract: Questo manuale è il risultato di un corso di lezioni tenute all'Università di Oxford durante gli anni 1958-62 e nella primavera del 1961 all'Università del Texas. Scritto per gli studenti del primo anno di Logica, non richiede alcuna conoscenza preliminare dell'argomento. La chiarezza dell'esposizione e la ricchezza degli esercizi tutti risolti in questa edizione italiana permettono con opportuna gradualità di impadronirsi prima, e di servirsi poi, dei simboli e delle regole della moderna logica formale.

Dietro le formule : i discorsi della logica e della matematica / Vincenzo Tagliasco, Antonio Vincenzi
Libri Moderni

Tagliasco, Vincenzo

Dietro le formule : i discorsi della logica e della matematica / Vincenzo Tagliasco, Antonio Vincenzi

Torino : Bollati Boringhieri, 1998

Comunicazione e linguaggio

Abstract: Questo anti-manuale vuole aiutare i giovani a riscoprire quelle naturali predisposizioni che l'abitudine e spesso un cattivo insegnamento hanno completamente respinto e relegato tra i ricordi meno felici, e si propone di collocare invece la matematica e la logica nell'ambito delle scienze cognitive e del ragionamento.

Fondamenti di logica per insegnanti
Libri Moderni

Varga, Tamas

Fondamenti di logica per insegnanti / Tamas Varga

2. ed

Torino : Bollati Boringhieri, 2005

Abstract: Ormai da molti anni si riconosce, all'estero, una funzione primaria all'insegnamento della logica matematica come discorso di base per l'apprendimento delle scienze. Anche in Italia tale insegnamento ha avuto un notevole sviluppo a livello universitario e ha portato alla consapevolezza della necessità di far conoscere la logica nelle scuole medie ed elementari, per il suo carattere formativo che fa leva sui nessi logici ampiamente posseduti anche dai bambini. Si fa quindi sempre più pressante l'esigenza di fornire agli insegnanti strumenti di carattere teorico e applicativo che permettano loro di impadronirsi dei fondamenti di questa materia.

Godel, 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.

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

Milano : Adelphi, 1984

Biblioteca scientifica ; 6

Sherlock Holmes e le trappole della logica
Libri Moderni

Bruce, Colin <fisico>

Sherlock Holmes e le trappole della logica / Colin Bruce

Milano : R. Cortina, 2001

Abstract: Colin Bruce ricrea l'atmosfera della Londra di Sherlock Holmes e del dottor Watson per far luce su una verità incontestabile: la fede nel buon senso - e l'ignoranza della matematica - sono fonte di guai. E così nei casi del nobile giocatore, dell'erede a sorpresa, del perfettto contabile, Sherlock Holmes usa le sue profonde conoscenze in tema di teoria dei giochi, statistica, teoria della decisione per risolvere intricati enigmi e salvare l'innocente. Un tema comune unisce questi dodici racconti dedicati alla logica e alla probabilità: la facilità di sbagliarsi, se sono in gioco probabilità e statistiche, anche quando si tratti di una scelta apparentemente semplice.

Logica matematica : argomenti induttivi e deduttivi, linguaggi e metalinguaggi, connettivi logici ... / Luigi Landra
Libri Moderni

Landra, Luigi

Logica matematica : argomenti induttivi e deduttivi, linguaggi e metalinguaggi, connettivi logici ... / Luigi Landra

Seregno : Ciranna & Ferrara, 1998

Concorsi ; 76