Libri di Dario Palladino
Corso di logica. Introduzione elementare al calcolo dei predicati
di Dario Palladino
editore: Carocci
pagine: 428
Lo studio della logica a livello universitario è sempre più diffuso, ma viene spesso affidato a testi di difficile lettura e d
Corso di logica
Introduzione al calcolo dei predicati
di Palladino Dario
editore: Carocci
pagine: 409
Lo studio della logica a livello universitario è sempre più diffuso, ma viene spesso affidato a testi di difficile lettura e d
Le geometrie non euclidee
editore: Carocci
pagine: 143
Nell'Ottocento sono state elaborate le geometrie non euclidee - iperbolica ed ellittica - ossia sistemi geometrici in cui le f
Breve dizionario di logica
editore: Carocci
pagine: 127
La logica è una disciplina le cui origini risalgono all'antichità e che si è molto sviluppata negli ultimi decenni anche per l
Logiche non classiche. Un'introduzione
editore: Carocci
pagine: 192
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.
La computabilità, algoritmi, logica, calcolatori
editore: Carocci
pagine: 142
La teoria della computabilità è un settore della ricerca logico-matematica che studia la nozione di calcolo effettuabile in mo
Corso di logica
Introduzione elementare al calcolo dei predicati
di Palladino Dario
editore: Carocci
pagine: 312
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
di Dario Palladino
editore: Carocci
pagine: 202
Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.
Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
editore: Carocci
pagine: 432
Nata nel corso degli anni Trenta del secolo scorso nel contesto delle ricerche sui fondamenti della matematica, con lo sviluppo dei calcolatori digitali la teoria della computabilità ha assunto il ruolo di disciplina fondamentale per l'informatica teorica. Attraverso di essa, la sua influenza culturale si è estesa ad ambiti quali l'intelligenza artificiale, le scienze cognitive, la linguistica. Questo volume vuole rendere accessibili, con un adeguato approfondimento, i principali risultati della teoria della computabilità ad un pubblico non specializzato.
Oltre il mito della crisi
Fondamenti e filosofia della matematica nel XX secolo