Il tuo browser non supporta JavaScript!
Vai al contenuto della pagina

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
35,00

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
34,00

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
12,00

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
12,00

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.
16,90

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
12,00

Corso di logica

Introduzione elementare al calcolo dei predicati

di Palladino Dario

editore: Carocci

pagine: 312

29,20

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.
26,50

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.
35,90

Oltre il mito della crisi

Fondamenti e filosofia della matematica nel XX secolo

editore: La scuola

pagine: 288

17,56
22,50

Inserire il codice per il download.

Inserire il codice per attivare il servizio.