Kết quả tìm kiếm - "logic, symbolic and mathematical"

1

Logic toán

Bỡi S L Edenmar
Được phát hành 1981

Những chủ đề: “...logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

2

Bước đầu làm quen với logic toán

Bỡi Nguyễn Mạnh Trinh
Được phát hành 1997

Những chủ đề: “...logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

3

Các bài toán về suy luận logic

Bỡi Trần, Diên Hiển
Được phát hành 2000

Những chủ đề: “...Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

4

Bảy phương pháp giải các bài toán logic

Bỡi Đặng Huy Ruận

Những chủ đề: “...logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

5

An introduction to symbolic logic

Bỡi Langer, Susanne Katherina
Được phát hành 1953

Những chủ đề: “...Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

6

Cơ sở toán trong lập trình

Bỡi Đỗ Đức Giáo
Được phát hành 1998

Những chủ đề: “...logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

7

Bước đầu làm quen với logic toán

Bỡi Nguyễn Mạnh Trinh
Được phát hành 1999

Những chủ đề: “...logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

8

Bảy phương pháp giải các bài toán logic

Bỡi Đặng, Huy Ruận
Được phát hành 2002

Những chủ đề: “...Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

9

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê Dùng trong các trường sư phạm cấp I, hệ 10+2 và 12+1

Bỡi Hoàng Chúng
Được phát hành 1977

Những chủ đề: “...ensembles ( mathematics ),logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

10

Nhập môn lý thuyết tập hợp và logic Tài liệu dùng cho các trường Cao đẳng sư phạm và các trường Sư phạm cấp hai 10+3

Bỡi Phan Hữu Chân
Được phát hành 1977

Những chủ đề: “...Set theory,Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

11

Logic for computer scientists

Bỡi Uwe Schoning
Được phát hành 1989

Những chủ đề: “...logic programming,logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

12

Discrete mathematics by example

Bỡi Andrew Simpson
Được phát hành 2002

Những chủ đề: “...logic, symbolic and mathematical,combinatorial analysis...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

13

Tập hợp và logic : (Giáo trình đào tạo Giáo viên Trung học cơ sở và Cao đẳng sư phạm)

Bỡi Hoàng, Xuân Sính
Được phát hành 1998

Những chủ đề: “...Ensembles (Mathematics),Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

14

Discrete-event system simulation

Được phát hành 2001

Những chủ đề: “...programming ( mathematics ),logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

15

Discrete mathematics

Bỡi Johnsonbaugh, Richard
Được phát hành 2005

Những chủ đề: “...Combinatorial analysis,Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

16

Transition to higher mathematics : Structure and proof

Bỡi Dumas , Bob A.
Được phát hành 2007

Những chủ đề: “...Logic,Symbolic and mathematical,Logic học...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

17

Cơ sở lí thuyết tập hợp và lôgic toán : Tài liệu đào tạo giáo viên tiểu học trình độ cao đẳng và đại học sư phạm

Bỡi Trần, Diên Hiển
Được phát hành 2007

Những chủ đề: “...Teachers,Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

18

Logic for mathematics and computer sicence

Bỡi Burris, Stanley N.
Được phát hành 1998

Những chủ đề: “...Toán học logic,Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

19

Toán rời rạc ứng dụng trong tin học = Discrete mathematics and its applications

Bỡi Rosen, Kenneth H.
Được phát hành 2002

Những chủ đề: “...Computer science,Logic, symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

20

Tìm đường trong mê cung Tuyển các bài toán tin cho học sinh giỏi có hướng dẫn và toàn văn chương trình

Bỡi Nguyễn Xuân Huy
Được phát hành 1997

Những chủ đề: “...logic, symbolic and mathematical,pascal ( computer program language )...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

Tìm kiếm hẹp