PHẠM VI VÀ ĐỐI TƯỢNG SỬ DỤNG GIÁO TRÌNH Giáo trình : Tin học lý thuyết a) Giáo trình dùng tham khảo cho ngành học : Công nghệ thông tin, Tin học, Toán – Tin, Lý – Tin, Điện tử, Viễn thông, Kỹ thuật điều khiển, … b) Các trường dùng : Đại học Cần thơ, … c) Từ khóa : Ôtômát hữu hạn (Finite Automata) Ngôn ngữ hình thức (Formal Languages) Biểu thức qui (Regular Expressions) Văn phạm phi ngữ cảnh (Context Free Grammar) Ôtômát đẩy xuống (Pushdown Automata) Sơ đồ chuyển (Transaction diagram) Dẫn xuất (Derivations) Bộ ký hiệu (Alphabet) Bổ đề bơm (Pumping Lema) 10 Máy Turing (Turing machines) d) Yêu cầu kiến thức trước học môn : Tin học lý thuyết bao gồm việc nghiên cứu Lý thuyết ngôn ngữ hình thức ôtômát đặt tảng mạnh mẽ lý thuyết tập hợp, hàm, ánh xạ, quan hệ lý thuyết đồ thị Hai kỹ thuật chứng minh quan trọng sử dụng phần lớn chứng minh phương pháp quy nạp toán học phương pháp chứng minh phản chứng Kỹ thuật mô trình làm việc tương đương áp dụng phổ biến Như chủ đề bắt buộc, môn học đưa vào giảng dạy cho sinh viên chuyên ngành Công nghệ thông tin vào năm thứ ba thứ tư chương trình học với yêu cầu sinh viên học xong khóa học Toán rời rạc, phải quen thuộc với vài ngôn ngữ lập trình cấp cao, khái niệm Cấu trúc liệu giải thuật e) Đã xuất chưa : Chưa