Logic for mathematics and computer sicence / Stanley N. Burris
Tác giả : Stanley N. Burris
Nhà xuất bản : Prentice Hall
Năm xuất bản : 1998
Nơi xuất bản : New Jersey
Mô tả vật lý : 420 p. : ill. ; 24 cm
Số phân loại : 511.3
Chủ đề : 1. Toán học logic. 2. Logic, symbolic and mathematical. 3. Logic toán.
Thông tin chi tiết
| Tóm tắt : | Contents: Quantifier-free logics; propositional logic; equational logic; logic with quantifiers. |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Thư viện đại học Cần Thơ
|
|
https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-148589.html |
Tài liệu cùng danh mục chủ đề
Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat / Nguyễn Thanh Tùng
Tác giả : Nguyễn Thanh Tùng
Nhà xuất bản : Đại học Bách khoa
Năm xuất bản : 1993
Giáo trình cơ sở logic và lý thuyết tập hợp / Lê Phương Thảo
Tác giả : Lê Phương Thảo
Nhà xuất bản : Trường Đại học Cần Thơ
Năm xuất bản : 2008
Điều khiển Logic và ứng dụng / Nguyễn Trọng Thuần . Tập 1 , Logic mờ và điều kiện mờ , Điều khiển logic hai trạng thái và ứng dụng
Tác giả : Nguyễn Trọng Thuần .
Nhà xuất bản : Khoa học và Kỹ thuật
Năm xuất bản : 2006
Cơ sở lý thuyết tính toán = : Introduction to automata theory, languages, and computation / J. Hopcroft, R. Motwani, J.Ullman; Trần Đức Quang biên dịch và chú giải
Tác giả : J. Hopcroft, R. Motwani, J.Ullman; Trần Đức Quang biên dịch và chú giải
Nhà xuất bản : Đại học Quốc gia Thành phố Hồ Chí Minh
Năm xuất bản : 2003
Cơ sở lí thuyết tập hợp và lôgic toán : : Tài liệu đào tạo giáo viên tiểu học trình độ cao đẳng và đại học sư phạm / Trần Diên Hiển, Nguyễn Xuân Liêm
Tác giả : Trần Diên Hiển, Nguyễn Xuân Liêm
Nhà xuất bản : Giáo dục
Năm xuất bản : 2007
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện Quốc gia Việt Nam 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN