Bài giảng Lý thuyết tính toán: Bài 1 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về tập hợp; hàm; quan hệ; đồ thị, cây; chuỗi và ngôn ngữ; boolean logic; định nghĩa, định lý và chứng minh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 32 p hce 22/02/2022 99 0 Download

Bài giảng Lý thuyết tính toán: Bài 12 - Phạm Xuân Cường cung cấp cho học viên các bài tập để các bạn ôn tập, nắm vững kiến thức về ngôn ngữ tương đương, biểu thức chính quy, đưa ra được biểu đồ trạng thái của DFA tương đương với NFA, đưa ra PDA đoán nhận ngôn ngữ,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 5 p hce 22/02/2022 52 0 Download

Bài giảng Lý thuyết tính toán: Bài mở đầu - Phạm Xuân Cường được biên soạn nhằm giúp học viên hiểu biết rõ về các cơ sở toán học, cơ sở thuật toán và lý thuyết khoa học máy tính để có thể thiết kế một hệ thống hay mô hình tính toán trên máy tính; có khả năng phân tích vấn đề và xác định các thành phần cần thiết để có thể giải...

 7 p hce 22/02/2022 58 0 Download

Bài giảng Lý thuyết tính toán: Bài 9 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về các biến thể của máy Turing; máy Turing tùy chọn tại chỗ; máy Turing bán vô hạn; máy Turing đa băng; máy Turing không đơn định;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 38 p hce 22/02/2022 75 0 Download

Bài giảng Lý thuyết tính toán: Bài 2 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về ôtômat hữu hạn, biểu diễn hình học của Ôtômat hữu hạn; định nghĩa hình thức; thiết kế ôtômat hữu hạn; ngôn ngữ chính quy; toán tử chính quy; tính đóng của toán tử;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 26 p hce 22/02/2022 103 0 Download

Bài giảng Lý thuyết tính toán: Bài 3 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về ôtômat hữu hạn không đơn định; khái niệm; sự tương đương giữa NFA và DFA; định nghĩa hình thức; toán tử chính quy với NFA;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 30 p hce 22/02/2022 105 0 Download

Bài giảng Lý thuyết tính toán: Bài 4 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về biểu thức chính quy; khái niệm của biểu thức chính quy; định nghĩa hình thức; sự tương đương với ôtômat hữu hạn; ôtômat hữu hạn không đơn định suy rộng (GNFA);... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 29 p hce 22/02/2022 103 0 Download

Bài giảng Lý thuyết tính toán: Bài 5 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về ngôn ngữ không chính quy; khái niệm ngôn ngữ không chính quy; độ dài dẫn xuất; bổ đề bơm (Pumping Lemma);... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 18 p hce 22/02/2022 100 0 Download

Bài giảng Lý thuyết tính toán: Bài 6 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về văn phạm phi ngữ cảnh; khái niệm văn phạm phi ngữ cảnh; định nghĩa hình thức; văn phạm nhập nhằng; dạng chuẩn tắc Chomsky; cây dẫn xuất;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 30 p hce 22/02/2022 90 0 Download

Bài giảng Lý thuyết tính toán: Bài 7 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về ôtômat đẩy xuống; khái niệm ôtômat đẩy xuống; định nghĩa hình thức; sự tương đương với CFG; biểu đồ trạng thái của PDA; ngôn ngữ không phi ngữ cảnh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 27 p hce 22/02/2022 90 0 Download

Bài giảng Lý thuyết tính toán: Bài 8 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về máy Turing; khái niệm máy Turing; định nghĩa hình thức; ngôn ngữ của Turing Machine; cấu trúc dữ liệu Turing Machine; thành phần của Turing Machine; trạng thái hoạt động của Turing Machine;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 24 p hce 22/02/2022 108 0 Download

Bài giảng Lý thuyết tính toán: Bài 14 - Phạm Xuân Cường cung cấp cho học viên các kiến thức về quy dẫn; các bài toán không quyết định được, bài toán kiểm tra rỗng; quy dẫn thông qua lịch sử tính toán; bài toán PCP; quy dẫn ánh xạ;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 35 p hce 22/02/2022 83 0 Download