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 quyết vấn đề đó trên máy tính;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
LÝ THUYẾT TÍNH TỐN Phạm Xn Cường Khoa Cơng nghệ thơng tin cuongpx@tlu.edu.vn Tổng quan mơn học • Mục tiêu môn học: Trang bị cho học viên hiểu biết kĩ tảng tính tốn tin học, bao gồm: - Hiểu biết rõ sở toán học, sở thuật toán lý thuyết khoa học máy tính để thiết kế hệ thống hay mơ hình tính tốn máy tính - Có khả phân tích vấn đề xác định thành phần cần thiết để giải vấn đề máy tính - Có kiến thức tảng số mơ hình tính tốn phổ biến - Có khả thực số thuật tốn tính tốn • Trang web mơn học http://villahp.github.io/teaching.html Tổng quan mơn học • Giáo trình - Nhập mơn Lý thuyết tính tốn (Khoa CNTT, ĐH Thủy Lợi, 2009) - Introduction to the theory of computation (2nd Michael Sipser, MIT, 2004) Đánh giá môn học • Điểm mơn học: - Điểm q trình: 40% • Kiểm tra kỳ: 90% • Chuyên cần 10% - Thi cuối kỳ: 60% • Thời gian thi: Kiểm tra 60 phút thi 90 phút • Hình thức: Viết, Không sử dụng tài liệu Đ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) = 15 buổi - 15 buổi LT tiết (bắt đầu từ tuần 1) - buổi TH tiết (bắt đầu từ tuần 3) Điều kiện: • Khơng nghỉ q buổi Thực hành • Thi đạt kiểm tra kỳ (≥ điểm, thang điểm 10) Nội dung môn học Bài giảng Lý thuyết Kiến thức tảng Ơtơmat hữu hạn Ơtơmat hữu hạn khơng đơn định Biểu thức quy Ngơn ngữ khơng quy Văn phạm phi ngữ cảnh 10 11 12 13 14 15 Ơtơmat đẩy xuống Ngơn ngữ không phi ngữ cảnh Máy Turing Các biến thể máy Turing Định nghĩa giải thuật Các ngôn ngữ định Bài toán dừng Quy dẫn Thi kỳ Thực hành Bài TH Bài TH Bài TH Bài TH Bài TH 5 Questions? ... viên hiểu biết kĩ tảng tính tốn tin học, bao gồm: - Hiểu biết rõ sở toán học, sở thuật toán lý thuyết khoa học máy tính để thiết kế hệ thống hay mơ hình tính tốn máy tính - Có khả phân tích vấn... - 15 buổi LT tiết (bắt đầu từ tuần 1) - buổi TH tiết (bắt đầu từ tuần 3) Điều kiện: • Khơng nghỉ q buổi Thực hành • Thi đạt kiểm tra kỳ (≥ điểm, thang điểm 10) Nội dung môn học Bài giảng Lý thuyết. .. đề máy tính - Có kiến thức tảng số mơ hình tính tốn phổ biến - Có khả thực số thuật tốn tính tốn • Trang web mơn học http://villahp.github.io/teaching.html Tổng quan mơn học • Giáo trình - Nhập