Trovati 109 documenti.
Trovati 109 documenti.
Elementi di logica con gli esercizi risolti
Roma-Bari : Laterza, 1986
Introduzione alla logica matematica
Torino : Boringhieri, 1975
Testi e manuali della scienza contemporanea
Roma : Newton Compton, 1989
Grandi tascabili economici ; 25
Introduzione alla logica e alla metodologia delle scienze deduttive
2
Milano : Bompiani, 1978
Idee nuove ; 51
Introduzione alla filosofia matematica
Roma : New Compton, 1989
Grandi tascabili economici ; 25
Milano : Il Saggiatore, [2005]
Nuovi saggi :Scienza
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.
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.
Roma : Gruppo editoriale L'Espresso, 2010
Beautiful minds : i grandi scienziati raccontano la storia della scienza ; 15
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
Milano : Pearson education, 2007
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
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
Torino : Bollati Boringhieri, 1983
Lectio
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
Torino : Boringhieri, 1977
Lezioni e seminari. Quaderni di elettronica ; 3
Lezioni di logica matematica / Gabriele Lolli
Torino : Boringhieri, 1978
Lezioni e seminari
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
2. ed.
Milano : Bompiani, 1978
Idee nuove ; 51
[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”.