Ευκλείδης: Ένα διαλογικό σύστημα απόδειξης θεωρημάτων με τη μέθοδο της επαγωγής.
Φόρτωση...
Ημερομηνία
2008-2-29T14:54:17Z
Συγγραφείς
Τίτλος Εφημερίδας
Περιοδικό ISSN
Τίτλος τόμου
Εκδότης
Τ.Ε.Ι. Κρήτης, Τεχνολογικών Εφαρμογών (Σ.Τ.Εφ), Τμήμα Ηλεκτρολόγων Μηχανικών Τ.Ε.
T.E.I. of Crete, School of Engineering (STEF), Department of Electrical Engineering
T.E.I. of Crete, School of Engineering (STEF), Department of Electrical Engineering
Επιβλέπων
Περίληψη
Ο στόχος αυτής της πτυχιακής εργασίας είναι η κατασκευή ενός συστήματος, το οποίο θα αποδεικνύει μαθηματικά θεωρήματα, χρησιμοποιώντας τη μέθοδο της μαθηματικής επαγωγής. Εφαρμόζουμε στο θεώρημα, που θέλουμε να αποδείξουμε, αξιώματα, λήμματα, καθώς και νόμους της λογικής πρώτης τάξης επιδιώκοντας το μετασχηματισμό του σε άλλη μορφή. Οι μετασχηματισμοί αυτοί γίνονται με μοναδικό σκοπό την απόδειξη αυτού του θεωρήματος. Το σύστημα που κατασκευάσαμε ονομάστηκε Ευκλείδης, προς τιμήν του αρχαίου Έλληνα μαθηματικού, ο οποίος ήταν ο άνθρωπος, που εφάρμοσε πρώτος την απόδειξη θεωρημάτων δια της επαγωγικής μεθόδου. Η εφαρμογή αυτού του συστήματος είναι σημαντική κυρίως στον εκπαιδευτικό τομέα. Μπορεί να χρησιμοποιηθεί σαν εκπαιδευτικό εργαλείο για την διδασκαλία της μαθηματικής επαγωγής και παράλληλα ως βοηθητικό εργαλείο για την εξάσκηση μαθητευομένων σ' αυτήν. Το μσύστημα απόδειξης θεωρημάτων Ευκλείδης, μπορεί επίσης να χρησιμοποιηθεί ως βοηθητικό εργαλείο στήριξης, για την επίλυση σημαντικών προβλημάτων με τη χρήση μαθηματικής επαγωγής.