Ευκλείδης: Ένα διαλογικό σύστημα απόδειξης θεωρημάτων με τη μέθοδο της επαγωγής.
Eykleidis: An interactive system for theorems proving using the method of induction.
Abstract
Ο στόχος αυτής της πτυχιακής εργασίας είναι η κατασκευή ενός συστήματος, το οποίο θα αποδεικνύει μαθηματικά θεωρήματα, χρησιμοποιώντας τη μέθοδο της μαθηματικής επαγωγής. Εφαρμόζουμε στο θεώρημα, που θέλουμε να αποδείξουμε, αξιώματα, λήμματα, καθώς και νόμους της λογικής πρώτης τάξης επιδιώκοντας το μετασχηματισμό του σε άλλη μορφή. Οι μετασχηματισμοί αυτοί γίνονται με μοναδικό σκοπό την απόδειξη αυτού του θεωρήματος. Το σύστημα που κατασκευάσαμε ονομάστηκε Ευκλείδης, προς τιμήν του αρχαίου Έλληνα μαθηματικού, ο οποίος ήταν ο άνθρωπος, που εφάρμοσε πρώτος την απόδειξη θεωρημάτων δια της επαγωγικής μεθόδου. Η εφαρμογή αυτού του συστήματος είναι σημαντική κυρίως στον εκπαιδευτικό τομέα. Μπορεί να χρησιμοποιηθεί σαν εκπαιδευτικό εργαλείο για την διδασκαλία της μαθηματικής επαγωγής και παράλληλα ως βοηθητικό εργαλείο για την εξάσκηση μαθητευομένων σ' αυτήν. Το μσύστημα απόδειξης θεωρημάτων Ευκλείδης, μπορεί επίσης να χρησιμοποιηθεί ως βοηθητικό εργαλείο στήριξης, για την επίλυση σημαντικών προβλημάτων με τη χρήση μαθηματικής επαγωγής.
Collections
This website uses cookies to ensure you get the best browsing experience.
Continue
More info