Αναδρομή: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Jamesofur (συζήτηση | συνεισφορές)
μ Αναστροφή της έκδοσης 77.49.107.209, επιστροφή στην τελευταία εκδοχή υπό Vanakaris
Egmontbot (συζήτηση | συνεισφορές)
μ Ρομπότ: Αυτόματη αντικατάσταση προτύπου Πρότυπο:Μετάφραση EN με Πρότυπο:Ενσωμάτωση κειμένου; διακοσμητικές αλλαγές
Γραμμή 1:
'''Αναδρομή''' στα [[μαθηματικά]] και την [[επιστήμη υπολογιστών]] είναι μια μέθοδος για τον ορισμό [[συνάρτηση|συναρτήσεων]] κατά την οποία η οριζόμενη συνάρτηση εφαρμόζεται στον ίδιο της τον ορισμό. Επίσης, ο όρος χρησιμοποιείται γενικότερα για να περιγράψει τη διαδικασία όπου αντικείμενα επαναλαμβάνονται με αυτο-όμοιο τρόπο. Για παράδειγμα, όταν οι επιφάνειες δυο καθρεπτών είναι σχεδόν παράλληλες μεταξύ τους, τα φωλιασμένα είδωλα που προκύπτουν αποτελούν μια μορφή αναδρομής.
 
== Τυπικός ορισμός της αναδρομής ==
Στα [[μαθηματικά]] και την [[επιστήμη υπολογιστών]], η αναδρομή ορίζει (ή κατασκευάζει) μια τάξη αντικειμένων ή μεθόδων (ή ένα αντικείμενο μιας τάξης), ορίζοντας κάποιες απλές περιπτώσεις ή μεθόδους (συχνά μία και μόνη), και ορίζοντας κανόνες για τη διάσπαση πολύπλοκων περιπτώσεων σε απλότερες.
 
Για παράδειγμα, ο ακόλουθος είναι ένας αναδρομικός ορισμός για τους προγόνους ενός ατόμου.
* Οι [[γονέας|γονείς]] κάποιου είναι [[πρόγονος|πρόγονοί]] του (''βασική περίπτωση'')
* Οι γονείς των προγόνων κάποιου είναι και πρόγονοί του (''αναδρομικό βήμα'')
 
Μπορεί κανείς να σκεφτεί ότι ένας επαγωγικός ορισμός μιας τάξης αντικειμένων ορίζει νέα αντικείμενα χρησιμοποιώντας ήδη ορισμένα αντικείμενα της τάξης που ορίζεται.
 
Παρόμοιοι ορισμοί απαντώνται συχνά στα μαθηματικά. Για παράδειγμα, ο τυπικός ορισμός των [[φυσικός αριθμός|φυσικών αριθμών]] στη θεωρία συνόλων είναι: το 1 είναι φυσικός αριθμός και κάθε φυσικός αριθμός έχει έναν επόμενο, που είναι επίσης φυσικός αριθμός.
 
Παραδείγματα μαθηματικών αντικειμένων που ορίζονται αναδρομικά είναι οι [[συνάρτηση|συναρτήσεις]], τα [[σύνολο|σύνολα]], και ειδικά τα [[fractal]]s.
 
{{Μετάφραση_ENΕνσωμάτωση κειμένου|en|Recursion}}
 
{{Επιστήμη υπολογιστών-επέκταση}}
 
[[Κατηγορία:Επιστήμη υπολογιστών]]
[[Κατηγορία:Μαθηματική λογική]]
[[Κατηγορία:Θεωρία υπολογισμού]]
 
[[bg:Рекурсия]]
Γραμμή 56 ⟶ 58 :
[[vi:Đệ qui]]
[[zh:递归 (计算机科学)]]
 
[[Κατηγορία:Θεωρία υπολογισμού]]