Logica: Metodo Breve
| Autor: | Mundici, Daniele |
|---|---|
| EAN: | 9788847018839 |
| Sachgruppe: | Mathematik |
| Sprache: | metaCatalog.groups.language.options.italian |
| Seitenzahl: | 144 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 10.02.2011 |
29,95 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Senza richiedere prerequisiti, lo studente perviene alla dimostrazione del teorema di completezza di Goedel per la logica dei predicati con eguaglianzaNumerosi esercizi guidano il lettore a una lettura attiva e a una piena comprensione dei concetti logici fondamentaliLe nozioni fondamentali sintattiche e semantiche vengono presentate in contesti di complessita' crescente, partendo dalla logica proposizionale delle clausole, fino alla logica dei predicati con eguaglianzaLo studente interessato alla computer science puo' trovare in questo testo una introduzione, elementare ma rigorosa, alla deduzione automaticaGli studenti di filosofia e linguistica troveranno semplici esercizi esemplificativi dei teoremi fondamentali, basati sul linguaggio naturaleIncludes supplementary material: sn.pub/extras
Verwandte Artikel
Weitere Produkte vom selben Autor