| 1 |  | Khoá và các thuật toán xác định khoá của lược đồ quan hệ : Luận văn Thạc sĩ Khoa học máy tính : Chuyên ngành Khoa học máy tính: 60 48 01 01 / Nguyễn Thị Ngọc Dung ; Hồ Thuần (h.d.) . - Bình Định , 2014. - 75 tr. ; 30 cm + 1 bản tóm tắt
Thông tin xếp giá: LV08.00021 |
| 2 | | Logic for computer scientits : With 34 illustrations / Uwe Schoning . - Boston : Birkhauser, 1989. - 166 tr. ; 24 cm. - ( Modern Birkhauser classics )
Thông tin xếp giá: 510/A.000416-000418 |
| 3 | | Bước đầu làm quen với logic toán / Nguyễn Mạnh Trinh . - Tái bản lần 2. - H. : Giáo dục , 2001. - 111 tr ; 20 cm
Thông tin xếp giá: VND.031886-031890
VNM.039978-039982 |
| 4 | | Logic toán / S.L. Eđenman ; Nguyễn Mạnh Quý (dịch) . - H. : Giáo dục , 1981. - 196tr ; 19cm
Thông tin xếp giá: VND.000695-000697 |
| 5 | | Toán rời rạc / Đỗ Đức Giáo . - In lần thứ 2. - H. : Đại học Quốc gia Hà Nội , 2000. - 456 tr ; 21 cm
Thông tin xếp giá: VND.022939-022943
VNG02360.0001-0009
VNM.032425-032426
VNM.032428-032429 |
| 6 | | Logic toán : Đã được hội đồng thẩm định của bộ giáo dục giới thiệu làm sách dùng chung cho các trường Đại học sư phạm / Nguyễn Mạnh Trinh . - H. : Giáo dục, 1989. - 180 tr. ; 19 cm. - ( Sách Đại học sư phạm )
Thông tin xếp giá: VND.012869-012871 |
| 7 | | Những yếu tố logic trong môn toán ở trường phổ thông cấp 2 : Sách dùng trong các trường Cao đẳng sư phạm và bồi dưỡng giáo viên / Hoàng Chúng (b.s.) . - In lần thứ 2. - H. : Giáo dục , 1978. - 143 tr ; 19 cm
Thông tin xếp giá: VND.006978-006987
VNM.000911 |
| 8 | | Nhập môn lý thuyết tập hợp và logic : Tài liệu dùng cho các trường cao đẳng sư phạm và các trường sư phạm cấp hai 10 3 / Phan Hữu Chân, Trần Lâm Hách . - H. : Giáo dục , 1977. - 364 tr ; 21 cm
Thông tin xếp giá: VND.007171-007179
VNM.001133-001134
VNM.001136-001137 |