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 Citation: Koletsos, G. (2015). ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή [Chapter]. In Koletsos, G. 2015. Μαθηματική λογική [Undergraduate textbook]. Kallipos, Open Academic Editions. chapter 1. http://hdl.handle.net/11419/2300
Language: Greek
Is Part of: Μαθηματική λογική
Publication Origin: Kallipos, Open Academic Editions