Phạm vi sử dụng của giáo trình Tin học lý thuyết

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, …

1. Các trường có thể dùng : Đại học Cần thơ, …
2. 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)

1. 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