Πλοήγηση ανά Συγγραφέας "Sgouraki, Marianna"
Τώρα δείχνει 1 - 1 of 1
Αποτελέσματα ανά σελίδα
Επιλογές ταξινόμησης
Τεκμήριο Ευκλείδης: Ένα διαλογικό σύστημα απόδειξης θεωρημάτων με τη μέθοδο της επαγωγής.(Τ.Ε.Ι. Κρήτης, Τεχνολογικών Εφαρμογών (Σ.Τ.Εφ), Τμήμα Ηλεκτρολόγων Μηχανικών Τ.Ε., 2008-2-29T14:54:17Z) Σγουράκη, Μαριάννα; Sgouraki, MariannaΟ στόχος αυτής της πτυχιακής εργασίας είναι η κατασκευή ενός συστήματος, το οποίο θα αποδεικνύει μαθηματικά θεωρήματα, χρησιμοποιώντας τη μέθοδο της μαθηματικής επαγωγής. Εφαρμόζουμε στο θεώρημα, που θέλουμε να αποδείξουμε, αξιώματα, λήμματα, καθώς και νόμους της λογικής πρώτης τάξης επιδιώκοντας το μετασχηματισμό του σε άλλη μορφή. Οι μετασχηματισμοί αυτοί γίνονται με μοναδικό σκοπό την απόδειξη αυτού του θεωρήματος. Το σύστημα που κατασκευάσαμε ονομάστηκε Ευκλείδης, προς τιμήν του αρχαίου Έλληνα μαθηματικού, ο οποίος ήταν ο άνθρωπος, που εφάρμοσε πρώτος την απόδειξη θεωρημάτων δια της επαγωγικής μεθόδου. Η εφαρμογή αυτού του συστήματος είναι σημαντική κυρίως στον εκπαιδευτικό τομέα. Μπορεί να χρησιμοποιηθεί σαν εκπαιδευτικό εργαλείο για την διδασκαλία της μαθηματικής επαγωγής και παράλληλα ως βοηθητικό εργαλείο για την εξάσκηση μαθητευομένων σ' αυτήν. Το μσύστημα απόδειξης θεωρημάτων Ευκλείδης, μπορεί επίσης να χρησιμοποιηθεί ως βοηθητικό εργαλείο στήριξης, για την επίλυση σημαντικών προβλημάτων με τη χρήση μαθηματικής επαγωγής.