Logic toán : Tài liệu bồi dưỡng thường xuyên giáo viên Trung học; sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật /

Mã QR

Logic toán : Tài liệu bồi dưỡng thường xuyên giáo viên Trung học; sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Nguyễn Đức Đồng.
Tác giả khác:	Nguyễn Văn Vĩnh.
Định dạng:	Sách giấy
Ngôn ngữ:	Vietnamese
Được phát hành:	Thanh Hoá : Nxb. Thanh Hoá, [?].
Những chủ đề:	Logic, Ký hiệu và toán học.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Tài liệu bồi dưỡng thường xuyên giáo viên trung học, sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật Logic toán
Bỡi: Nguyễn, Đức Đồng
Được phát hành: (2001)

Bước đầu làm quen với logic toán /
Bỡi: Nguyễn Mạnh Trinh.
Được phát hành: (2003)

Giáo trình toán logic /
Bỡi: Hồ Anh Minh, ThS.
Được phát hành: (2019)

Giáo trình toán logic /
Bỡi: Hồ Anh Minh, ThS.
Được phát hành: (2019)

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 /
Bỡi: Trần Diên Hiển.
Được phát hành: (2007)

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 /
Bỡi: Trần Diên Hiển.
Được phát hành: (2007)

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Toán Logic & Kỹ thuật số /
Bỡi: Nguyễn Nam Quân
Được phát hành: (2006)

Analysis and logic
Được phát hành: (2002)

Lôgich toán và cơ sở toán học /
Bỡi: Phan Đình Diệu.
Được phát hành: (2003)

Lôgich toán và cơ sở toán học /
Bỡi: Phan Đình Diệu.
Được phát hành: (2003)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn, Mạnh Trinh
Được phát hành: (1999)

Logic toán
Bỡi: Eđenman, S.L
Được phát hành: (1981)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Logic toán
Bỡi: Trần, Thọ Châu
Được phát hành: (2014)

Logic toán
Bỡi: Nguyễn, Thành Long
Được phát hành: (2016)

Giáo trình lý thuyết tập hợp và logic toán
Bỡi: Lê, Phương Thảo
Được phát hành: (2016)

Toán lôgic và kỹ thuật số /
Bỡi: Nguyễn Nam Quân
Được phát hành: (2006)

Giáo trình Toán logic
Bỡi: Hồ, Anh Minh
Được phát hành: (2019)

Cơ sở lí thuyết tập hợp và logic toán
Bỡi: Trần, Diên Hiển
Được phát hành: (2007)

Giáo trình Lôgic toán và lịch sử toán học
Bỡi: Nguyễn, Anh Tuấn
Được phát hành: (2012)

Toán lôgic và kỹ thuật số
Bỡi: Nguyễn, Nam Quân
Được phát hành: (2006)

Giáo trình logic toán và lịch sử toán học
Bỡi: Nguyễn, Anh Tuấn
Được phát hành: (2015)

Logic nội tại của sự phát triển Toán học /
Bỡi: Lê Văn Đoán, TS.

Giáo trình điều khiển logic
Bỡi: Nguyễn, Tiến Mạnh
Được phát hành: (2008)

Tập luyện cho học sinh sử dụng thuật ngữ, kí hiệu của logic toán để diễn đạt mệnh đề toán học /
Bỡi: Nguyễn Văn Thuận, TS.

Giáo trình Logic mờ & ứng dụng
Bỡi: Lê, Xuân Vinh
Được phát hành: (2019)

Giáo trình Cơ sở lý thuyết tập hợp và logic toán
Bỡi: Nguyễn Tiến, Trung
Được phát hành: (2018)

Logic toán và cơ sở toán học
Bỡi: Phan, Đình Diệu
Được phát hành: (2006)

Logic toán
Bỡi: S L Edenmar
Được phát hành: (1981)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Số học và Lôgic toán Giáo trình chính thức đào tạo giáo viên tiểu học hệ CĐSP và SP 12+2
Bỡi: Phan, Hữu Chân
Được phát hành: (1997)

7 phương pháp giải các bài toán học logic
Bỡi: Đặng Huy Ruận
Được phát hành: (2002)

Một số thuật toán chứng minh tự động trong logic mệnh đề /
Bỡi: Trần Ngọc Anh.

Những yếu tố logic trong môn toán ở trường phổ thông cấp 2 Sách dùng trong các trường CĐSP và bồi dưỡng giáo viên
Bỡi: Hoàng Chúng
Được phát hành: (1978)

Toán logic và kỹ thuật số
Bỡi: Nguyễn, Nam Quân
Được phát hành: (2006)

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

Tập hợp và lôgic
Bỡi: Hoàng, Xuân Sính
Được phát hành: (2001)

Tập hợp và lôgic
Bỡi: Hoàng, Xuân Sính
Được phát hành: (1999)

Tập hợp và lôgic
Bỡi: Hoàng, Xuân Sính
Được phát hành: (1998)