Pham vi su dung
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (154.53 KB, 1 trang )
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 có thể dùng tham khảo cho những 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 có thể dùng : Đại học Cần thơ, …
c) Từ khóa :
1. Ôtômát hữu hạn (Finite Automata)
2. Ngôn ngữ hình thức (Formal Languages)
3. Biểu thức chính qui (Regular Expressions)
4. Văn phạm phi ngữ cảnh (Context Free Grammar)
5. Ôtômát đẩy xuống (Pushdown Automata)
6. Sơ đồ chuyển (Transaction diagram)
7. Dẫn xuất (Derivations)
8. Bộ ký hiệu (Alphabet)
9. Bổ đề bơm (Pumping Lema)
10. Máy Turing (Turing machines)
d) Yêu cầu kiến thức trước khi học môn này :
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 và
ôtômát đặt nền tảng mạnh mẽ trên lý thuyết tập hợp, hàm, ánh xạ, quan hệ và lý
thuyết đồ thị. Hai kỹ thuật chứng minh quan trọng được sử dụng trong phần lớn
các chứng minh là phương pháp quy nạp toán học và phương pháp chứng minh
phản chứng. Kỹ thuật mô phỏng các quá trình làm việc tương đương cũng được áp
dụng phổ biến.
Như một chủ đề bắt buộc, môn học này đượ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 hoặc thứ tư trong chương trình
học với yêu cầu sinh viên đã học xong các khóa học về Toán rời rạc, phải quen
thuộc với một vài ngôn ngữ lập trình cấp cao, và các khái niệm cơ bản về Cấu trúc
dữ liệu và giải thuật.
e) Đã xuất bản chưa : Chưa
