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

Trovati 109 documenti.

Elementi di logica con gli esercizi risolti
Libri Moderni

Lemmon, E. J

Elementi di logica con gli esercizi risolti

Roma-Bari : Laterza, 1986

Introduzione alla logica matematica
Libri Moderni

Mendelson, Elliott

Introduzione alla logica matematica

Torino : Boringhieri, 1975

Testi e manuali della scienza contemporanea

Introduzione alla filosofia matematica / Bertrand Russell ; introduzione di Flavio Manieri ; [traduzione di Enrico Carone]
Libri Moderni

Russell, Bertrand <1872-1970>

Introduzione alla filosofia matematica / Bertrand Russell ; introduzione di Flavio Manieri ; [traduzione di Enrico Carone]

Roma : Newton Compton, 1989

Grandi tascabili economici ; 25

Introduzione alla logica e alla metodologia delle scienze deduttive
Libri Moderni

Tarski, Alfred

Introduzione alla logica e alla metodologia delle scienze deduttive

2

Milano : Bompiani, 1978

Idee nuove ; 51

Introduzione alla filosofia matematica
Libri Moderni

Russell, Bertrand <1872-1970>

Introduzione alla filosofia matematica

Roma : New Compton, 1989

Grandi tascabili economici ; 25

Equilibrio perfetto : le grandi equazioni della scienza moderna / a cura di Graham Farmelo ; traduzione di Libero Sosio
Libri Moderni

Equilibrio perfetto : le grandi equazioni della scienza moderna / a cura di Graham Farmelo ; traduzione di Libero Sosio

Milano : Il Saggiatore, [2005]

Nuovi saggi :Scienza

Matematica discreta / Costantino Delizia ... [et al.]
Libri Moderni

Matematica discreta / Costantino Delizia ... [et al.]

Milano [etc.] : McGraw-Hill, [2009]

Abstract: Il testo, che nasce dalla lunga esperienza didattica degli autori, si rivolge a tutti i corsi di Matematica discreta delle lauree triennali ma si presta bene a essere utilizzato per qualunque corso che si ponga come obiettivo quello di fornire agli studenti conoscenze matematiche di base, abituandoli ad adottare un'impostazione rigorosa nell'approccio ai problemi. I contenuti del libro spaziano dagli argomenti da sempre peculiari della Matematica discreta, a quelli più tipici di Combinatoria, di Algebra, di Algebra Lineare e di Geometria. Il libro termina con un'Appendice contenente cenni di logica proposizionale e predicativa. La trattazione è sempre rigorosa ma non eccessivamente formale ed è accompagnata da esempi, numerosi e particolarmente curati, e da un ricchissimo apparato di esercizi che ammontano a quasi 900, parte dei quali sono completamente svolti.

Automi, linguaggi e calcolabilità /
Libri Moderni

Hopcroft, John E.

Automi, linguaggi e calcolabilità / / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini

3. ed.

[Milano] : Pearson, 2009

Informatica

Abstract: Un testo classico, che presenta la materia con una nuova attenzione alle applicazioni pratiche e agli aspetti matematici, e arricchito da numerose figure esplicative. Questa disciplina, ormai ampiamente riconosciuta come fondamentale per il settore dell'informatica, fornisce strumenti formali indispensabili in svariati ambiti e applicazioni, ed è a sua volta oggetto di una continua attività di ricerca, anche a distanza di mezzo secolo dalla sua nascita. Per questo, la nuova edizione italiana è frutto di una completa revisione della precedente edizione italiana e di un aggiornamento alla terza edizione americana. Per completezza è stata inserita un'appendice dedicata alle grammatiche e alla gerarchla di Chomsky, argomento interessante e utile per fornire un inquadramento più preciso e ampio su queste tematiche.

Gödel e Turing [Videoregistrazione] : la nascita del computer e la società dell'informazione/ Piergiorgio Odifreddi racconta ; regia di Michele Calvano
Videoregistrazioni: DVD

Odifreddi, Piergiorgio <1950->

Gödel e Turing [Videoregistrazione] : la nascita del computer e la società dell'informazione/ Piergiorgio Odifreddi racconta ; regia di Michele Calvano

Roma : Gruppo editoriale L'Espresso, 2010

Beautiful minds : i grandi scienziati raccontano la storia della scienza ; 15

La logica matematica
Libri Moderni

La logica matematica : antologia / a cura di Andrea Sani

Scandicci : La nuova Italia, 1996

Elementi di matematica discreta e algebra lineare / Francesca Dalla Volta, Marco Rigoli
Libri Moderni

Dalla Volta, Francesca

Elementi di matematica discreta e algebra lineare / Francesca Dalla Volta, Marco Rigoli

Milano : Pearson education, 2007

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”.