- LÝ THUYẾT TÍNH TOÁN. - Tổng quan môn học. - Mục tiêu môn học:. - Trang bị cho học viên những hiểu biết cũng như kĩ năng về nền tảng tính toán trong tin học, bao gồm:. - 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 quyết vấn đề đó trên máy tính. - Có kiến thức nền tảng về một số mô hình tính toán phổ biến - Có khả năng thực hiện một số thuật toán tính toán cơ bản. - Trang web môn học. - Nhập môn Lý thuyết tính toán (Khoa CNTT, ĐH Thủy Lợi, 2009). - Đánh giá môn học. - Điểm môn học:. - Kiểm tra giữa kỳ: 90%. - Thi cuối kỳ: 60%. - Thời gian thi: Kiểm tra 60 phút và thi 90 phút. - Điều kiện thi cuối kỳ. - Môn học: 30 tiết lý thuyết (LT. - 15 tiết thực hành (TH. - 5 buổi TH 3 tiết (bắt đầu từ tuần 3) Điều kiện:. - Không nghỉ quá 2 buổi Thực hành. - Thi đạt bài kiểm tra giữa kỳ. - Nội dung môn học. - Bài giảng Lý thuyết Thực hành. - 1 Kiến thức nền tảng 2 Ôtômat hữu hạn. - 3 Ôtômat hữu hạn không đơn định Bài TH 1 4 Biểu thức chính quy. - 5 Ngôn ngữ không chính quy Bài TH 2 6 Văn phạm phi ngữ cảnh. - 7 Ôtômat đẩy xuống Bài TH 3. - 8 Ngôn ngữ không phi ngữ cảnh. - 9 Máy Turing Bài TH 4. - 10 Các biến thể của máy Turing. - 11 Định nghĩa giải thuật Bài TH 5 12 Các ngôn ngữ quyết định được. - 13 Bài toán dừng 14 Quy dẫn 15 Thi giữa kỳ
Xem thử không khả dụng, vui lòng xem tại trang nguồn hoặc xem
Tóm tắt