Κεφάλαιο 10Adobe PDF
(170.19 kB)
| Title Details: | |
|
Mathematical Logic |
|
| Authors: |
Zachos, Efstathios Pagourtzis, Aristeidis Souliou, Theodora |
| Reviewer: |
Zissimopoulos, Vassilis |
| Description: | |
| Abstract: |
Propositional logic (tautologies, contradictions, satisfiability). Algebraic rules for disjunction, conjunction, and complementation. Categorical logic or first-order logic. Quantifiers (and their negation), quantifier alternation. Normal quantificational form. Terms and types. Free and bound variables. Implication, validity, completeness, and correctness of an axiomatic system of rules. Interpretation - models. - : syntactic provability. = : validity in all models. Gödel's completeness and incompleteness theorems.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/5461 |
| Bibliographic Reference: | Zachos, E., Pagourtzis, A., & Souliou, T. (2015). Mathematical Logic [Chapter]. In Zachos, E., Pagourtzis, A., & Souliou, T. 2015. Computer Science Foundation [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/5461 |
| Language: |
Greek |
| Is Part of: |
Computer Science Foundation |
| Publication Origin: |
Kallipos, Open Academic Editions |