Quality Paperbacks Libri
Libri pubblicati nella collana Quality Paperbacks Logica 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
- 9788829037315 La religione a Roma. Luoghi, culti, sacerdoti, dèi
- 9788829037308 Motto antico mai smentito
- 9788829037292 I primi seguaci di Gesù
- 9788829037285 Cajkovskij: sinfonia n. 6 "pat
- 9788829037278 La regola di Francesco
- 9788829036141 La Qabbalà. Una tradizione segreta dalle origini ebraiche a oggi
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.