Ευκλείδης: Ένα διαλογικό σύστημα απόδειξης θεωρημάτων με τη μέθοδο της επαγωγής.
Eykleidis: An interactive system for theorems proving using the method of induction.
Στοιχεία Dublin Core
| dc.creator | Σγουράκη, Μαριάννα | el |
| dc.creator | Sgouraki, Marianna | en |
| dc.date.accessioned | 2016-03-15T15:52:11Z | |
| dc.date.available | 2016-03-15T15:52:11Z | |
| dc.date.issued | 2008-2-29T14:54:17Z | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12688/3974 | |
| dc.description.abstract | Ο στόχος αυτής της πτυχιακής εργασίας είναι η κατασκευή ενός συστήματος, το οποίο θα αποδεικνύει μαθηματικά θεωρήματα, χρησιμοποιώντας τη μέθοδο της μαθηματικής επαγωγής. Εφαρμόζουμε στο θεώρημα, που θέλουμε να αποδείξουμε, αξιώματα, λήμματα, καθώς και νόμους της λογικής πρώτης τάξης επιδιώκοντας το μετασχηματισμό του σε άλλη μορφή. Οι μετασχηματισμοί αυτοί γίνονται με μοναδικό σκοπό την απόδειξη αυτού του θεωρήματος. Το σύστημα που κατασκευάσαμε ονομάστηκε Ευκλείδης, προς τιμήν του αρχαίου Έλληνα μαθηματικού, ο οποίος ήταν ο άνθρωπος, που εφάρμοσε πρώτος την απόδειξη θεωρημάτων δια της επαγωγικής μεθόδου. Η εφαρμογή αυτού του συστήματος είναι σημαντική κυρίως στον εκπαιδευτικό τομέα. Μπορεί να χρησιμοποιηθεί σαν εκπαιδευτικό εργαλείο για την διδασκαλία της μαθηματικής επαγωγής και παράλληλα ως βοηθητικό εργαλείο για την εξάσκηση μαθητευομένων σ' αυτήν. Το μσύστημα απόδειξης θεωρημάτων Ευκλείδης, μπορεί επίσης να χρησιμοποιηθεί ως βοηθητικό εργαλείο στήριξης, για την επίλυση σημαντικών προβλημάτων με τη χρήση μαθηματικής επαγωγής. | el |
| dc.language | el | |
| dc.publisher | Τ.Ε.Ι. Κρήτης, Τεχνολογικών Εφαρμογών (Σ.Τ.Εφ), Τμήμα Ηλεκτρολόγων Μηχανικών Τ.Ε. | el |
| dc.publisher | T.E.I. of Crete, School of Engineering (STEF), Department of Electrical Engineering | en |
| dc.rights | Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) | |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | |
| dc.title | Ευκλείδης: Ένα διαλογικό σύστημα απόδειξης θεωρημάτων με τη μέθοδο της επαγωγής. | el |
| dc.title | Eykleidis: An interactive system for theorems proving using the method of induction. | en |
Στοιχεία healMeta
| heal.creatorName | Σγουράκη, Μαριάννα | el |
| heal.creatorName | Sgouraki, Marianna | en |
| heal.publicationDate | 2008-2-29T14:54:17Z | |
| heal.identifier.primary | http://hdl.handle.net/20.500.12688/3974 | |
| heal.abstract | Ο στόχος αυτής της πτυχιακής εργασίας είναι η κατασκευή ενός συστήματος, το οποίο θα αποδεικνύει μαθηματικά θεωρήματα, χρησιμοποιώντας τη μέθοδο της μαθηματικής επαγωγής. Εφαρμόζουμε στο θεώρημα, που θέλουμε να αποδείξουμε, αξιώματα, λήμματα, καθώς και νόμους της λογικής πρώτης τάξης επιδιώκοντας το μετασχηματισμό του σε άλλη μορφή. Οι μετασχηματισμοί αυτοί γίνονται με μοναδικό σκοπό την απόδειξη αυτού του θεωρήματος. Το σύστημα που κατασκευάσαμε ονομάστηκε Ευκλείδης, προς τιμήν του αρχαίου Έλληνα μαθηματικού, ο οποίος ήταν ο άνθρωπος, που εφάρμοσε πρώτος την απόδειξη θεωρημάτων δια της επαγωγικής μεθόδου. Η εφαρμογή αυτού του συστήματος είναι σημαντική κυρίως στον εκπαιδευτικό τομέα. Μπορεί να χρησιμοποιηθεί σαν εκπαιδευτικό εργαλείο για την διδασκαλία της μαθηματικής επαγωγής και παράλληλα ως βοηθητικό εργαλείο για την εξάσκηση μαθητευομένων σ' αυτήν. Το μσύστημα απόδειξης θεωρημάτων Ευκλείδης, μπορεί επίσης να χρησιμοποιηθεί ως βοηθητικό εργαλείο στήριξης, για την επίλυση σημαντικών προβλημάτων με τη χρήση μαθηματικής επαγωγής. | el |
| heal.language | el | |
| heal.academicPublisher | Τ.Ε.Ι. Κρήτης, Τεχνολογικών Εφαρμογών (Σ.Τ.Εφ), Τμήμα Ηλεκτρολόγων Μηχανικών Τ.Ε. | el |
| heal.academicPublisher | T.E.I. of Crete, School of Engineering (STEF), Department of Electrical Engineering | en |
| heal.title | Ευκλείδης: Ένα διαλογικό σύστημα απόδειξης θεωρημάτων με τη μέθοδο της επαγωγής. | el |
| heal.title | Eykleidis: An interactive system for theorems proving using the method of induction. | en |
| heal.type | bachelorThesis | |
| heal.keyword | σύστημα Ευκλείδης, σύστημα απόδειξης θεωρημάτων, μέθοδος επαγωγής, εκπαίδευση | el |
| heal.keyword | Eykleidis system, theorem proving system, induction method, education | en |
| heal.advisorName | Μαρακάκης, Εμμανουήλ | el |
| heal.advisorName | Marakakis, Emmanouil | en |
| heal.academicPublisherID | teicrete | |
| heal.fullTextAvailability | true | |
| tcd.distinguished | false | |
| tcd.survey | false |
Αρχεία σε αυτό το τεκμήριο
Αυτό το τεκμήριο εμφανίζεται στις ακόλουθες συλλογές
Except where otherwise noted, this item's license is described as Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)