Kết quả tìm kiếm

'''Quy nạp siêu hạn''' là một phần mở rộng của [[quy nạp toán học]] cho các tập hợp được sắp [[thứ tự tốt]], ví dụ như tập hợp… …o tất cả <math>\beta < \alpha</math> thì <math>P(\alpha)</math> cũng đúng. Quy nạp siêu hạn cho ta biết rằng <math>P</math> là đúng cho tất cả các số thứ …

…''chia để trị''' là một mô hình thiết kế thuật toán quan trọng dựa trên đệ quy với nhiều phân nhánh. Thuật toán chia để trị hoạt động bằng cách chia bài… …quát hơn để có thể tạo ra mối liên hệ đệ quy. Không có một phương pháp có hệ thống nào để tìm ra bài toán tổng quát thích hợp trong mọi trường hợp. …

…]] ''a''₀, với mỗi phần tử sau đó được tính theo [[công thức đệ quy]] sau: * [[Quan hệ đệ quy]] …

…các bài toán có một lời giải đầy đủ, trong đó thứ tự của các phần tử không quan trọng. Các bài toán này bao gồm một tập các biến mà mỗi biến cần được gán… Phương pháp quay lui có quan hệ chặt chẽ với [[tìm kiếm tổ hợp]] …

…iệt, với <math>n=0</math>, người ta quy ước <math>0! = 1</math>, đúng theo quy ước của một [[tích rỗng]].<ref name="gkp">{{Chú thích sách|first1=Ronald L. == Định nghĩa đệ quy == …

…g dãy và cũng trái với tập hợp, [[lý thuyết thứ tự|thứ tự]] trong dãy cũng quan trọng. Trong định nghĩa chính thức, dãy được định nghĩa là [[hàm số]] từ tậ Thứ tự của phần tử trong dãy rất quan trọng. Trong dãy, có thể có một hoặc không phần tử đứng trước (hoặc sau) cá …

Một đơn vị cầu chỉ là một [[Mặt cầu|cầu]] có [[bán kính]] 1. Tầm quan trọng của các đơn vị cầu đó là lĩnh vực bất kỳ, có thể chuyển đến một đơn… …chiều, và diện tích bề mặt của cầu đơn vị, xuất hiện trong nhiều công thức quan trọng của [[Giải tích toán học|phân tích]]. Thể tích của quả bóng đơn vị tr …

…thực thi lệnh, xác định thứ tự biên dịch trong [[makefile]], xác định quan hệ phụ thuộc giữa các biểu tượng trong chương trình liên kết. …của Kahn sử dụng thứ tự từ điển cho việc lựa chọn ''n'' là một thành phần quan trọng của thuật toán Coffman-Graham cho lập kế hoạch song song và vẽ đồ thị …

…n trong [[ký hiệu mũi tên lên Knuth]]. Mỗi phép toán có thể được hiểu [[đệ quy]] theo nghĩa trước đó bằng cách: Nó cũng có thể được định nghĩa theo phần quy tắc đệ quy của định nghĩa, như trong phiên bản mũi tên lên Knuth của [[hàm số Ackerman …

…c đặt cái tên hiện dùng từ năm [[1980]]. Trước đó, nó đã được gọi là các ''hệ thống thuật ngữ'' (''terminological system''), và tiếp đó là các ''ngôn ngữ Hệ thống dựa lôgic mô tả đầu tiên là [[KL-ONE]] (do Brachman và Schmolze xây… …

…đặc biệt của [[Biến đổi Fourier]]. Biến đổi này thực hiện một phép tính [[Hệ thống trực giao|trực giao]], [[Ma trận đối xứng|đối xứng]], [[Lũy thừa|luỹ …n đổi Hadamard có thể biểu diễn bằng hai cách: [[đệ quy]] hoặc biểu diễn [[Hệ nhị phân|nhị phân]] của ''n'' và ''k''. …

…toán [[tối ưu hóa tổ hợp]]. Bài toán được đặt tên từ vấn đề chọn những gì quan trọng có thể nhét vừa vào trong một cái túi (với giới hạn khối lượng) để ma …-khó]], và điều này dẫn đến các cố gắng sử dụng tổng con làm cơ sở cho các hệ thống [[mật mã hóa khóa công khai]], chẳng hạn [[Merkle-Hellman]]. Các cố… …

…ụng để tìm [[bao đóng chuyển tiếp]] của quan hệ <math>R</math>, hoặc (liên quan đến [[phương pháp bỏ phiếu Schulze]]) [[bài toán đường đi rộng nhất|đường… Thuật toán Floyd–Warshall là một ví dụ về [[quy hoạch động]], và được xuất bản dưới dạng hiện nay của nó bởi [[Robert W. Fl …

Trong ngành [[khoa học máy tính]], '''quy hoạch động''' (tiếng Anh: ''dynamic programming'') là một phương pháp giảm …3]]. Ngành này đã được thành lập như là một chủ đề về kỹ nghệ và phân tích hệ thống đã được tổ chức [[IEEE]] thừa nhận. …

[[Tập tin:Dominoeffect.png|phải|nhỏ|Quy nạp toán học có thể được minh họa mô phỏng bằng cách tham chiếu đến các tác '''Quy nạp toán học''' là một phương pháp [[chứng minh toán học]] dùng để chứng mi …

…[lực lượng (tập hợp)|số lực lượng]] lớn hơn tập cho trước đó (hay nói trực quan, tập luỹ thừa luôn lớn hơn tập gốc). Cụ thể hơn, [[định lý Cantor]] phát bi ==Quan hệ với định lý nhị thức== …

Có thể xem đây như là số hạng của công thức, mỗi số [[tam giác]] là [[hệ số kép]]: Số [[tam giác]] thứ n là một số của sự ghép cặp được lựa chọn từ == Quan hệ với các số hình học khác == …

…ững năm 1930 để nghiên cứu định nghĩa hàm số, ứng dụng của hàm số, và [[đệ quy]]. Nhiều [[ngôn ngữ lập trình]] hàm có thể được xem là những cách phát triể Các hàm bậc cao có liên hệ chặt chẽ với [[hàm hạng nhất]], ở chỗ các hàm bậc cao và hàm hạng nhất đều …

Nó liên quan chặt chẽ đến [[hàm Ackermann]] và đặc biệt là dãy [[Phép toán hyper|hyperop Định nghĩa chung của ký hiệu (theo [[đệ quy]]) như sau (đối với số nguyên <math>a</math> và số nguyên không âm <math>b< …

…hà được ông phát triển năm 1976. Những năm sau đó khi đã có nhiều dữ liệu quan sát hơn được ghi nhận, những khám phá của de Vaucouleurs về sự tồn tại của …[[Nam Tam Giác|Triangulum Australe]], [[Khổng Tước (chòm sao)|Pavo]], [[Ấn Đệ An|Indus]], [[Thiên Hạc|Grus]], [[Ngọc Phu|Sculptor]] (gần cực thiên hà Nam …