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