Logica. Metodo breve

Logica. Metodo breve

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.
Al momento non disponibile, ordinabile in 3 settimane circa

Dettagli Libro

Libri che ti potrebbero interessare

The complete Peanuts vol.3
The complete Peanuts vol.3

Charles M. Schulz
The complete Peanuts. 4.Dal 1957 al 1958
The complete Peanuts. 4.Dal 1957 al 1958

Charles Monroe Schulz, A. Toscani
Naruto. La leggenda dei Ninja coraggiosi
Naruto. La leggenda dei Ninja coraggiosi

Kishimoto Masashi, Higashiyama Akira
Hideout
Hideout

Kakizaki Masasumi
The innocent
The innocent

Arad Avi, Fujisaku Junichi, Yasung Ko
City Hunter vol.21
City Hunter vol.21

Tsukasa Hojo
Noritaka. Il re della distruzione: 14
Noritaka. Il re della distruzione: 14

Murata Hideo, Hamori Takashi
Knights of Sidonia. 6.
Knights of Sidonia. 6.

G. Calorio, Tsutomu Nihei, Mattia Dal Corno
Limit: 6
Limit: 6

Suenobu Keiko
Drifters vol.1
Drifters vol.1

Kohta Hirano