Ημερομηνία: 22-09-2018 [2018-09-22] Συγγραφέας: Πάτσης, Παύλος Σχολή: Σχολή Θετικών Επιστημών και Τεχνολογίας Τμήμα: Μεταπτυχιακή Εξειδίκευση στα Πληροφοριακά Συστήματα (ΠΛΣ) Περίληψη (Abstract): Η παρούσα διπλωματική εργασία έχει ως σκοπό να κάνει μια σύνδεση μεταξύ της ιστορικής εξέλιξης των αποδεικτικών μαθηματικών μεθόδων, κυρίως αυτών της Γεωμετρίας, με τα σημερινά επιτεύγματα της τεχνολογίας στον τομέα των υπολογιστικών προγραμμάτων και εφαρμογών που βοηθούν στην κατανόηση και επαλήθευσή της, καθώς και με ποιο τρόπο η εξέλιξη της προτασιακής και κατηγορηματικής λογικής συνέβαλε στην ...