|
Dòng
|
Nội dung
|
|
1
|
|
|
2
|
Toán rời rạc / Đỗ Đức Giáo. Hà Nội : Nxb. Đại học Quốc gia Hà Nội, 2004.508tr. ; 24cm.Các khái niệm cơ bản của thuật toán và phương pháp đệ quy. Các phương pháp đếm. Lý thuyết đồ thị. Nhập môn về văn phạm và ngôn ngữ hình thức. Ôtômat hữu hạn đoán nhận biểu thức chính quy...
Đầu mục:3
|
|
3
|
Toán rời rạc ứng dụng trong tin học / Đỗ Đức Giáo Hà Nội : Giáo dục, 2017407tr. : hình vẽ, bảng ; 24cmCung cấp các khái niệm cơ bản của thuật toán, phương pháp đệ quy, phương pháp đếm và toán quan hệ. Giới thiệu lí thuyết cũng như bài tập, ứng dụng của toán rời rạc trong tin học bao gồm: Lôgic mệnh đề, lôgic vị từ, hệ toán mệnh đề; đồ thị, cây và ứng dụng của cây; văn phạm và ngôn ngữ sinh bởi văn phạm, ôtômat hữu hạn và ngôn ngữ đoán nhận của nó, ôtômat đẩy xuống đoán nhận ngôn ngữ phi ngữ cảnh, máy turing không đơn định đàn hồi đoán nhận ngôn ngữ văn phạm
Đầu mục:10
|
|
|
|
|