tailieunhanh - Bài giảng : Logic part 3

Trang 27: Đệ quy Giả sử ta muốn xác định một hàm có miền xác định là tập được xác định bằng quy nạp. Một cách tự nhiên để làm việc này là sử dụng đệ quy. Cho một định nghĩa quy nạp với tập vũ trụ U, tập cơ sở B⊂ U, và một họ hàm F có một hay nhiều ngôi từ U và qua nó trả lại một phần tử của U. | Trang 27 Đệ quy Giả sử ta muốn xác định một hàm có miền xác định là tập được xác định bằng quy nạp. Một cách tự nhiên để làm việc này là sử dụng đệ quy. Cho một định nghĩa quy nạp với tập vũ trụ U tập cơ sở Be U và một họ hàm F có một hay nhiều ngôi từ U và qua nó trả lại một phần tử của U. Cho C là tập được xác định bằng định nghĩa quy nạp này. Bây giờ ta muốn xác định một hàm h có miền xác định là C. Ta có thể làm việc này như sau Cho mỗi xr B xác định được cụ thể h x . Cho mỗi hàm f x0 . xn e F có một quy tắc tính toán hàm h f x0 . xn theo h x3 . h xn . 27 Trang 28 Đệ quy Ví dụ Nhớ lại công thức quy nạp của N U R B 0 F succ . Giả sử ta muốn xác định một hàm giai thừa fact . Ta có thể xác định như sau Fact 0 1 Fact succ n n 1 fact n Tuy nhiên một định nghĩa đệ quy như vậy không đảm bảo sự tồn tại của một hàm. Xem xét định nghĩa tập quy nạp thêm hàm của N U R B 0 F succ mult với mult x y x y. Bây giờ ta xác định hàm h như sau h 0 1 h succ n h n 2 h mult m n h m h n h 1 bằng bao nhiêu Ta có thể chắc chắn rằng định nghĩa đệ quy trện là xác định đúng bằng cách nào 28 Trang 29 Đệ quy Để đảm bảo định nghĩa đệ quy được xây dựng đúng một định nghĩa quy nạp của tập C phải thoả mãn thêm những yêu cầu Giới hạn của mỗi hàm fe F đến C phải là tương ứng 1-1. Phạm vi của giới hạn của mỗi hàm trong F phải là rời với tất cả phạm vi giới hạn của các hàm khác trong F và từ B. Nếu gặp các điều kiện này ta nói C được sinh ra một cách tự do trừ B bởi F. Định lí đệ quy Giả sử C là sinh ra tự do từ B bởi F. Cũng giả sử V là một tập và h là một hàm từ B V. Giả sử tổng quát hơn với mỗi hàm f Un U trong F có tương ứng một hàm f Vn V. Thì tồn tại duy nhất một hàm h C V để -Với xr B h x h x và -Với mỗi f Un U trong F và x1 . xn e C thì h f x1z. xn f h xj . h xn . .

• Toán học
• logic học
• tài liệu logic học
• giáo trình logic học
• bải giảng logic học
• đại cương về logic học
• Logic học đại cương
• Giáo trình logic học đại cương
• Nhập môn Logic
• Nhiệm vụ của logic học
• Logic họcc hình thức
• Logic học biện chứng
• Logic học duy tâm
• Khoa học về logic
• Hình thức tư duy
• Hình thức logic
• tài liệu học đại học
• giáo án logic học
• bài giảng logic học
• đặc điểm logic học
• Đề cương Logic học
• Học phần Logic học
• Nội dung Logic học
• Mục tiêu Logic học
• Kiến thức Logic học
• Môn Logic học
• Phương pháp chứng minh của Logic học
• Đặc điểm của Logic học
• Nghiên cứu khoa học Logic học
• Phương pháp chứng minh Logic học
• Yêu cầu chứng minh Logic học
• Cấu trúc chứng minh Logic học
• ôn tập logic học
• logic học cơ bản
• Tài liệu logic học đại cương
• Bài tập logic học đại cương
• Đề cương logic học đại cương
• Nghiên cứu logic học
• câu hỏi môn logic học
• bài tập môn logic học
• đề thi môn logic học
• khái niệm logic học
• Lịch sử logic học
• Logic hình thức truyền thống
• Logic biện chứng
• Cặp phạm trù logic biện chứng
• Bài giảng Thiết kế mạch logic
• Thiết kế mạch logic
• Toán logic
• Mạch điện tử
• Mạch logic tổ hợp
• Phân tích mạch logic tổ hợp
• Thiết kế mạch logic tổ hợp
• Mạch số học
• Bài giảng Nhập môn Logic
• Logic học hình thức
• Khoa học vê logic
• Thế giới khách quan
• Logic khách quan
• Logic hình thức của Arixtốt
• thuật ngữ Logic
• phương pháp của khoa học Logic
• ý nghĩa của Logic học
• Nhập môn logic học
• Các hình thức cơ bản của tư duy logic học
• Hình thức cơ bản của tư duy logic học
• Tư duy logic học
• Quy luật logic
• Luật tư duy logic
• Đề cương ôn tập Logic học
• Bài tập Logic học
• Câu hỏi Logic học
• Các quy luật cơ bản của logic
• Quy luật cơ bản của logic
• tư duy và đặc điểm logic
• tài liệu logic
• bài giảng logic
• phương pháp khoa học logic
• Khoa học tư duy
• Logic học Phật giáo Ấn Độ
• Logic học phương Tây
• Suy luận trong logic học Phật giáo Ấn Độ
• Suy luận trong logic học phương Tây
• Lịch sử triết học Phật giáo Ấn Độ