Logica: Metodo Breve - libri usati

EAN (ISBN-13): 9788847018846
Anno di pubblicazione: 2011
Editore: Springer Milan

Libro nella banca dati dal 2013-12-18T06:08:43+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2022-02-18T23:02:37+01:00 (Zurich)
ISBN/EAN: 9788847018846

ISBN - Stili di scrittura alternativi:
978-88-470-1884-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : daniele mundici, mundi
Titolo del libro: meto, logica metodo breve, méto, método

---

Dati dell'editore

Autore: Daniele Mundici
Titolo: UNITEXT; La Matematica per il 3+2; Logica: Metodo Breve
Editore: Springer; Springer Italia
126 Pagine
Anno di pubblicazione: 2011-05-01
Milano; IT
Lingua: Italiano
17,98 € (DE)
17,98 € (AT)
27,18 CHF (CH)
Available
XI, 126 pagg.

EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Compattezza e modelli nonstandard; Deduzione Automatica; Logica Matematica; Semantica di Tarski; Teorema di Completezza di Gödel; C; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Semiotics; Mathematics and Statistics; Mathematische Grundlagen; Theoretische Informatik; Semiotik und Semiologie; BC

Senza richiedere prerequisiti, lo studente perviene alla dimostrazione del teorema di completezza di Goedel per la logica dei predicati con eguaglianza Numerosi esercizi guidano il lettore a una lettura attiva e a una piena comprensione dei concetti logici fondamentali Le nozioni fondamentali sintattiche e semantiche vengono presentate in contesti di complessita' crescente, partendo dalla logica proposizionale delle clausole, fino alla logica dei predicati con eguaglianza Lo studente interessato alla computer science puo' trovare in questo testo una introduzione, elementare ma rigorosa, alla deduzione automatica Gli studenti di filosofia e linguistica troveranno semplici esercizi esemplificativi dei teoremi fondamentali, basati sul linguaggio naturale Includes supplementary material: sn.pub/extras