Ευκλείδης: Ένα διαλογικό σύστημα απόδειξης θεωρημάτων με τη μέθοδο της επαγωγής.
Eykleidis: An interactive system for theorems proving using the method of induction.
Ημερομηνία
2008-2-29TΣυγγραφέας
Σγουράκη, Μαριάννα
Sgouraki, Marianna
Μεταδεδομένα
Εμφάνιση πλήρους εγγραφήςΕπιτομή
Ο στόχος αυτής της πτυχιακής εργασίας είναι η κατασκευή ενός συστήματος, το οποίο θα αποδεικνύει μαθηματικά θεωρήματα, χρησιμοποιώντας τη μέθοδο της μαθηματικής επαγωγής. Εφαρμόζουμε στο θεώρημα, που θέλουμε να αποδείξουμε, αξιώματα, λήμματα, καθώς και νόμους της λογικής πρώτης τάξης επιδιώκοντας το μετασχηματισμό του σε άλλη μορφή. Οι μετασχηματισμοί αυτοί γίνονται με μοναδικό σκοπό την απόδειξη αυτού του θεωρήματος. Το σύστημα που κατασκευάσαμε ονομάστηκε Ευκλείδης, προς τιμήν του αρχαίου Έλληνα μαθηματικού, ο οποίος ήταν ο άνθρωπος, που εφάρμοσε πρώτος την απόδειξη θεωρημάτων δια της επαγωγικής μεθόδου. Η εφαρμογή αυτού του συστήματος είναι σημαντική κυρίως στον εκπαιδευτικό τομέα. Μπορεί να χρησιμοποιηθεί σαν εκπαιδευτικό εργαλείο για την διδασκαλία της μαθηματικής επαγωγής και παράλληλα ως βοηθητικό εργαλείο για την εξάσκηση μαθητευομένων σ' αυτήν. Το μσύστημα απόδειξης θεωρημάτων Ευκλείδης, μπορεί επίσης να χρησιμοποιηθεί ως βοηθητικό εργαλείο στήριξης, για την επίλυση σημαντικών προβλημάτων με τη χρήση μαθηματικής επαγωγής.
Συλλογές
Αυτός ο ιστότοπος χρησιμοποιεί cookies για την λειτουργία του.
Συνέχεια
Περισσότερες πληροφορίες