ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή

 
This item is provided by the institution :

Repository :
Kallipos Repository
see the original item page
in the repository's web site and access all digital files if the item*
share




2015 (EN)
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή (EL)

Κολέτσος, Γεώργιος (EL)
Koletsos, Georgios (EN)

Ξύστρα, Αικατερίνη (EL)
Τουλάτου, Δήμητρα (EL)
Δημητρακόπουλος, Κωνσταντίνος (EL)
Κάλλιπος (EL)
Toulatou, Dimitra (EN)
Kallipos (EN)
Ksystra, Aikaterini (EN)
Dimitrakopoulos, Konstantinos (EN)

Εκτεταμένη εισαγωγή ιστορικού και θεματολογικού χαρακτήρα. Θα αναφερθούν τα ερωτήματα, φιλοσοφικά και μαθηματικά, που γέννησαν την επιστήμη της Λογικής, την ανάπτυξή της, κυρίως μετά τον Frege, το φάσμα των θεμάτων με τα οποία ασχολήθηκε καθώς και τη συνάφεια που απέκτησε, αρχικά ως γεννήτρια και αργότερα ως αρωγός, με τα θεμελιώδη ζητήματα της πληροφορικής. (EL)

learningMaterial
bookChapter

ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ (EL)
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism (EN)

Σύνδεσμος Ελληνικών Ακαδημαϊκων Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)


Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών (EL)
Hellenic Academic Libraries Link (EN)

2015



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)