Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Name: Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Brand: Carocci
SKU: 9788843029006
Price: 135.96 PLN
Availability: InStock

Autor: Dario Palladino

Język:

Oprawa: Miękka

Wydawca: Carocci

Dostępność: Dostępna u dostawcy

Wysyłamy za 4-7 dni

135.96 zł

Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali i...

Informacje o książce

Autor

Dario Palladino

Język

Włoski

Oprawa

Książka - Miękka

Data wydania

2004

strony

202

EAN

9788843029006

Enbook ID

50846697

Wydawca

Carocci

Waga

260

Wymiary

220 x 149 x 22

Pełny opis

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.

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Informacje o książce

Pełny opis

Klienci, którzy kupili tę książkę, kupili również

Science de la Vie