| Tài liệu tham khảo |
Loại |
Chi tiết |
| 1. Jack Challoner (2004), Trí tuệ nhân tạo – Cẩm nang dành cho người bắt đầu tìm hiểu về người máy và trí tuệ nhân tạo, Nxb. trẻ, Tp. Hồ Chí Minh |
Sách, tạp chí |
| Tiêu đề: |
Trí tuệ nhân tạo – Cẩm nang dành cho người bắt đầu tìm hiểu về người máy và trí tuệ nhân tạo |
| Tác giả: |
Jack Challoner |
| Nhà XB: |
Nxb. trẻ |
| Năm: |
2004 |
|
| 2. Trần Thọ Châu (2007), Lôgic toán, Nxb. ĐHQG Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Lôgic toán |
| Tác giả: |
Trần Thọ Châu |
| Nhà XB: |
Nxb. ĐHQG Hà Nội |
| Năm: |
2007 |
|
| 3. Nguyễn Đức Dân (1997), Lôgic và tiếng Việt, Nxb. Đại học Quốc gia HN |
Sách, tạp chí |
| Tiêu đề: |
Lôgic và tiếng Việt |
| Tác giả: |
Nguyễn Đức Dân |
| Nhà XB: |
Nxb. Đại học Quốc gia HN |
| Năm: |
1997 |
|
| 4. Nguyễn Đức Dân (2007), Nhập môn lôgic hình thức, Nxb. Đại học Quốc gia Tp. Hồ Chí Minh |
Sách, tạp chí |
| Tiêu đề: |
Nhập môn lôgic hình thức |
| Tác giả: |
Nguyễn Đức Dân |
| Nhà XB: |
Nxb. Đại học Quốc gia Tp. Hồ Chí Minh |
| Năm: |
2007 |
|
| 6. Phan Đình Diệu (1999), Tập bài giảng “Lôgic trong các hệ tri thức”, Nxb. ĐH KHTN - ĐHQG Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Tập bài giảng “Lôgic trong các hệ tri thức” |
| Tác giả: |
Phan Đình Diệu |
| Nhà XB: |
Nxb. ĐH KHTN - ĐHQG Hà Nội |
| Năm: |
1999 |
|
| 7. Phan Đình Diệu (2003), Lôgic toán và cơ sở Toán học, Nxb. ĐHQG Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Lôgic toán và cơ sở Toán học |
| Tác giả: |
Phan Đình Diệu |
| Nhà XB: |
Nxb. ĐHQG Hà Nội |
| Năm: |
2003 |
|
| 10. Mai K Đa (2009), Quan niệm chân lý ngữ nghĩa trong lôgic học của Tarski, Khóa luận tốt nghiệp ngành Triết học, Trường Đại học KHXH&NV - ĐHQG HN |
Sách, tạp chí |
| Tiêu đề: |
Quan niệm chân lý ngữ nghĩa trong lôgic học của Tarski |
| Tác giả: |
Mai K Đa |
| Năm: |
2009 |
|
| 11. Vương Tất Đạt (1997), Lôgic học đại cương, Nxb.Đại học Quốc gia HN |
Sách, tạp chí |
| Tiêu đề: |
Lôgic học đại cương |
| Tác giả: |
Vương Tất Đạt |
| Nhà XB: |
Nxb.Đại học Quốc gia HN |
| Năm: |
1997 |
|
| 12. Endenman (1981), Lôgic toán, Nxb. Giáo dục, Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Lôgic toán |
| Tác giả: |
Endenman |
| Nhà XB: |
Nxb. Giáo dục |
| Năm: |
1981 |
|
| 13. Nguyễn Văn Hiệp (2008), Cơ sở ngữ nghĩa phân tích cú pháp Nxb. Giáo dục, Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Cơ sở ngữ nghĩa phân tích cú pháp |
| Tác giả: |
Nguyễn Văn Hiệp |
| Nhà XB: |
Nxb. Giáo dục |
| Năm: |
2008 |
|
| 14. Nguyễn Quang Hoan (2007), Nhập môn trí tuệ nhân tạo, Học viện Công nghệ Bưu chính Viễn thông, Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Nhập môn trí tuệ nhân tạo |
| Tác giả: |
Nguyễn Quang Hoan |
| Năm: |
2007 |
|
| 16. Lê Văn Kiện (2008), Lôgic toán và vai trò của nó trong nhận thức khoa học, Luận văn thạc sỹ khoa học Triết học |
Sách, tạp chí |
| Tiêu đề: |
Lôgic toán và vai trò của nó trong nhận thức khoa học |
| Tác giả: |
Lê Văn Kiện |
| Năm: |
2008 |
|
| 17. Lê Thị Thanh Nga (2009), Lôgic quy nạp và vai trò của nó trong việc hình thành tri thức khoa học, Khóa luận tốt nghiệp ngành Triết học, Trường Đại học KHXH&NV - ĐHQG Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Lôgic quy nạp và vai trò của nó trong việc hình thành tri thức khoa học |
| Tác giả: |
Lê Thị Thanh Nga |
| Năm: |
2009 |
|
| 18. P. X. Nôvicốp (1971), Đại cương Lôgic toán, Nxb. Khoa học và kỹ thuật, Hà Nội. Bản dịch của Nguyễn Hữu Ngự và Đặng Huy Ruận |
Sách, tạp chí |
| Tiêu đề: |
Đại cương Lôgic toán |
| Tác giả: |
P. X. Nôvicốp |
| Nhà XB: |
Nxb. Khoa học và kỹ thuật |
| Năm: |
1971 |
|
| 19. Phạm Đình Nghiệm (2006), Lôgic học dành cho chuyên ngành Triết học, Nxb. Đại học Quốc gia Tp. Hồ Chí Minh |
Sách, tạp chí |
| Tiêu đề: |
Lôgic học dành cho chuyên ngành Triết học |
| Tác giả: |
Phạm Đình Nghiệm |
| Nhà XB: |
Nxb. Đại học Quốc gia Tp. Hồ Chí Minh |
| Năm: |
2006 |
|
| 20. Hoàng Phê (2003), Lôgic - ngôn ngữ học, Nxb. Đà Nẵng - Trung tâm Từ điển học, Hà Nội – Đà Nẵng |
Sách, tạp chí |
| Tiêu đề: |
Lôgic - ngôn ngữ học |
| Tác giả: |
Hoàng Phê |
| Nhà XB: |
Nxb. Đà Nẵng - Trung tâm Từ điển học |
| Năm: |
2003 |
|
| 21. Bùi Thanh Quất (1998), Giáo trình lôgic học hình thức, Đại học Khoa học xã hội và nhân văn, Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Giáo trình lôgic học hình thức |
| Tác giả: |
Bùi Thanh Quất |
| Năm: |
1998 |
|
| 22. Phạm Quỳnh (2009), Tập bài giảng nhập môn Lôgic toán, Phòng Tư liệu, khoa Triết học |
Sách, tạp chí |
| Tiêu đề: |
Tập bài giảng nhập môn Lôgic toán |
| Tác giả: |
Phạm Quỳnh |
| Năm: |
2009 |
|
| 23. Đặng Huy Ruận (1991), Lý thuyết ngôn ngữ hình thức, Nxb. Đại học Tổng hợp Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Lý thuyết ngôn ngữ hình thức |
| Tác giả: |
Đặng Huy Ruận |
| Nhà XB: |
Nxb. Đại học Tổng hợp Hà Nội |
| Năm: |
1991 |
|
| 24. Hồng Sơn, Nguyễn Minh (1990), Triết học và vấn đề trí tuệ nhân tạo, Tạp chí Triết học, số 2, Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Tạp chí Triết học, số 2 |
| Tác giả: |
Hồng Sơn, Nguyễn Minh |
| Năm: |
1990 |
|