Adobe PDF
(192.41 kB)
| Title Details: | |
|
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή |
|
| Authors: |
Koletsos, Georgios |
| Reviewer: |
Dimitrakopoulos, Konstantinos |
| Subject: | HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC > LOGIC AND PHILOSOPHY OF LOGIC, MISCELLANEOUS > DEDUCTIVE LOGIC MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE |
| Keywords: |
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
|
| Description: | |
| Abstract: |
Εκτεταμένη εισαγωγή ιστορικού και θεματολογικού χαρακτήρα. Θα αναφερθούν τα ερωτήματα, φιλοσοφικά και μαθηματικά, που γέννησαν την επιστήμη της Λογικής, την ανάπτυξή της, κυρίως μετά τον Frege, το φάσμα των θεμάτων με τα οποία ασχολήθηκε καθώς και τη συνάφεια που απέκτησε, αρχικά ως γεννήτρια και αργότερα ως αρωγός, με τα θεμελιώδη ζητήματα της πληροφορικής.
|
| Linguistic Editors: |
Toulatou, Dimitra |
| Technical Editors: |
Ksystra, Aikaterini |
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/2300 |
| Bibliographic Reference: | Koletsos, G. (2015). ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή [Chapter]. In Koletsos, G. 2015. Μαθηματική λογική [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/2300 |
| Language: |
Greek |
| Is Part of: |
Μαθηματική λογική |
| Publication Origin: |
Kallipos, Open Academic Editions |