書目名稱 | Logica: Metodo Breve |
編輯 | Daniele Mundici |
視頻video | http://file.papertrans.cn/589/588120/588120.mp4 |
概述 | 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 lettu |
叢書名稱 | UNITEXT |
圖書封面 |  |
描述 | Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di G?del, L?wenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi. |
出版日期 | Textbook 2011 |
關(guān)鍵詞 | Compattezza e modelli nonstandard; Deduzione Automatica; Logica Matematica; Semantica di Tarski; Teorema |
版次 | 1 |
doi | https://doi.org/10.1007/978-88-470-1884-6 |
isbn_softcover | 978-88-470-1883-9 |
isbn_ebook | 978-88-470-1884-6Series ISSN 2038-5714 Series E-ISSN 2532-3318 |
issn_series | 2038-5714 |
copyright | Springer Milan 2011 |