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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Koletsos, Georgios, Κολέτσος, Γεώργιος
Μορφή:	7
Γλώσσα:	Greek
Έκδοση:	2016
Θέματα:	ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Διαθέσιμο Online:	http://localhost:8080/jspui/handle/11419/2300

id	kallipos-11419-2300
record_format	dspace
spelling	kallipos-11419-23002021-07-11T22:04:00Z ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή Koletsos, Georgios Κολέτσος, Γεώργιος ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Εκτεταμένη εισαγωγή ιστορικού και θεματολογικού χαρακτήρα. Θα αναφερθούν τα ερωτήματα, φιλοσοφικά και μαθηματικά, που γέννησαν την επιστήμη της Λογικής, την ανάπτυξή της, κυρίως μετά τον Frege, το φάσμα των θεμάτων με τα οποία ασχολήθηκε καθώς και τη συνάφεια που απέκτησε, αρχικά ως γεννήτρια και αργότερα ως αρωγός, με τα θεμελιώδη ζητήματα της πληροφορικής. 2016-02-04T13:02:58Z 2021-07-09T15:09:56Z 2016-02-04T13:02:58Z 2021-07-09T15:09:56Z 2016-02-04 7 http://localhost:8080/jspui/handle/11419/2300 el 1 application/pdf
institution	Kallipos
collection	DSpace
language	Greek
topic	ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
spellingShingle	ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism Koletsos, Georgios Κολέτσος, Γεώργιος ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
description	Εκτεταμένη εισαγωγή ιστορικού και θεματολογικού χαρακτήρα. Θα αναφερθούν τα ερωτήματα, φιλοσοφικά και μαθηματικά, που γέννησαν την επιστήμη της Λογικής, την ανάπτυξή της, κυρίως μετά τον Frege, το φάσμα των θεμάτων με τα οποία ασχολήθηκε καθώς και τη συνάφεια που απέκτησε, αρχικά ως γεννήτρια και αργότερα ως αρωγός, με τα θεμελιώδη ζητήματα της πληροφορικής.
format	7
author	Koletsos, Georgios Κολέτσος, Γεώργιος
author_facet	Koletsos, Georgios Κολέτσος, Γεώργιος
author_sort	Koletsos, Georgios
title	ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
title_short	ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
title_full	ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
title_fullStr	ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
title_full_unstemmed	ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
title_sort	μαθηματικη λογικη: εισαγωγή
publishDate	2016
url	http://localhost:8080/jspui/handle/11419/2300
work_keys_str_mv	AT koletsosgeorgios mathēmatikēlogikēeisagōgē AT koletsosgeōrgios mathēmatikēlogikēeisagōgē
_version_	1771301290805035008

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

Παρόμοια τεκμήρια