Đệ quy

Đệ quy xảy ra khi một sự vật được định nghĩa theo chính nó hoặc thuộc loại của nó. Đệ quy được sử dụng trong nhiều lĩnh vực khác nhau, từ ngôn ngữ học đến logic. Ứng dụng phổ biến nhất của đệ quy là trong toán họckhoa học máy tính, trong đó một hàm được định nghĩa được áp dụng theo định nghĩa riêng của nó. Trong khi điều này rõ ràng xác định một số lượng vô hạn các trường hợp (giá trị hàm), nó thường được thực hiện theo cách mà không có vòng lặp vô hạn hoặc chuỗi tham chiếu vô hạn có thể xảy ra.

Định nghĩa chính thức

Ouroboros, một biểu tượng cổ đại mô tả một con rắn hoặc con rồng đang ăn đuôi của chính nó.

Trong toán học và khoa học máy tính, một lớp đối tượng hoặc phương thức thể hiện hành vi đệ quy khi nó có thể được xác định bởi hai thuộc tính:

  • Trường hợp cơ sở (hoặc các trường hợp) đơn giản - một kịch bản kết thúc không sử dụng đệ quy để đưa ra câu trả lời
  • Bước đệ quy - một bộ quy tắc giảm tất cả các trường hợp khác đối với trường hợp cơ sở

Xem thêm

  • x
  • t
  • s
Fractal
Tính chất
  • Fractal dimensions
    • Assouad
    • Box-counting
    • Correlation
    • Hausdorff
    • Packing
    • Topological
  • Recursion
  • Self-similarity
Iterated function
system
  • Barnsley fern
  • Tập hợp Cantor
  • Koch snowflake
  • Menger sponge
  • Tấm thảm Sierpinski
  • Sierpinski triangle
  • Space-filling curve
    • Blancmange curve
    • De Rham curve
    • Dragon curve
    • Koch curve
    • Lévy C curve
    • Peano curve
    • Sierpiński curve
  • T-square
  • n-flake
Strange attractor
  • Multifractal system
L-system
  • Fractal canopy
  • Space-filling curve
    • H tree
Escape-time
fractals
  • Burning Ship fractal
  • Tập hợp Julia
    • Filled
  • Lyapunov fractal
  • Tập hợp Mandelbrot
  • Fractal Newton
  • Tricorn
  • Mandelbox
  • Mandelbulb
Rendering techniques
  • Buddhabrot
  • Orbit trap
  • Pickover stalk
Random fractals
  • Chuyển động Brown
  • Brownian tree
  • Diffusion-limited aggregation
  • Fractal landscape
  • Lévy flight
  • Percolation theory
  • Self-avoiding walk
Nhân vật
  • Georg Cantor
  • Felix Hausdorff
  • Gaston Julia
  • Helge von Koch
  • Paul Lévy
  • Aleksandr Lyapunov
  • Benoit Mandelbrot
  • Lewis Fry Richardson
  • Wacław Sierpiński
Khác
  • x
  • t
  • s
Chung
Thuật ngữ logic
Propositional calculus
Đại số Boole
  • Boolean functions
  • Phép tính mệnh đề
  • Công thức mệnh đề
  • Logical connectives
  • Truth tables
Logic vị từ
  • Logic bậc nhất
  • Lượng từ (logic)
  • Predicate (mathematical logic)
  • Logic bậc hai
  • Monadic predicate calculus
Naive set theory
Lý thuyết tập hợp
Lý thuyết mô hình
  • Cấu trúc (logic toán)
  • Interpretation (logic)
  • Non-standard model
  • Lý thuyết mô hình hữu hạn
  • Giá trị chân lý
  • Validity
Lý thuyết chứng minh
  • Formal proof
  • Deductive system
  • Hệ hình thức
  • Định lý toán học
  • Hệ quả logic
  • Rule of inference
  • Syntax (logic)
Lý thuyết tính toán
  • Đệ quy
  • Tập đệ quy
  • Tập tuần tự đệ quy
  • Bài toán quyết định
  • Church–Turing thesis
  • Hàm tính được
  • Primitive recursive function
Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.
  • x
  • t
  • s