Carocci Libri
Libri editi da Carocci pubblicati nella collana Quality Paperbacks Fondamenti della matematica
Prossime uscite della collana Quality Paperbacks
Libri previsti in uscita su Unilibro.it:
- 9788843085521 Sionismo
- 9788843057108 Troia e le sue guerre
- 9788843054114 La Cina e i mass media. Dall'età della radio alle sfide di internet
- 9788843050000 Breve storia della musica jazz
- 9788829038299 Il Libano contemporaneo. Storia, politica, società
- 9788829038107 Foucault
- 9788829038091 L'assedio di Venezia
- 9788829038084 Medioevo anglosassone
- 9788829038077 Il Talmud
- 9788829037889 Piccolo lessico giornalistico
Logiche non classiche. Un'introduzione Palladino Dario Palladino Claudia - Carocci, 2007 - Quality Paperbacks
Il testo costituisce un manuale di introduzione a vari sistemi logici che sono estensioni e/o alternative alla logica classica. La logica classica - detta anche "logica matematica" - infatti si fonda su alcuni presupposti che ne circoscrivono l'ambito di applicazione a una parte limitata del complesso dei ragionamenti umani. L'intento è offrire una panoramica di ampio respiro dei molteplici settori in cui oggi si articolano le ricerche logiche: le logiche modali, deontiche, epistemiche e temporali, le logiche polivalenti, paracoerenti e della rilevanza, la logica intuizionista, e alcune altre recentemente sviluppate nell'ambito dell'Intelligenza Artificiale.
Kurt Gödel, un profilo Bruni Riccardo - Carocci, 2015 - Quality Paperbacks
Kurt Gödel è stato certamente il logico più influente del Novecento. I suoi lavori, visti come delle pietre miliari e come tali richiamati ancora oggi nella letteratura specialistica, investono aspetti fondamentali per la ricerca in campo matematico, quali la relazione tra verità e dimostrabilità o questioni relative alla natura e ai limiti della conoscenza matematica. Questo profilo nasce dal tentativo di correggere l'impressione che la grandezza del personaggio possa essere ricondotta a uno dei suoi molteplici contributi in particolare, come ad esempio il teorema di incompletezza per le teorie assiomatiche al quale egli deve gran parte della sua fama. Al contrario, il volume cerca di offrire una panoramica per quanto possibile esaustiva dell'opera logica e matematica di Gödel, così da valutarne meglio la portata.