Αποτελέσματα αναζήτησης - "Logic, Symbolic and mathematical."

1

Logic toán

ανά S L Edenmar
Έκδοση 1981

Θέματα: “...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

ανά Nguyễn Mạnh Trinh
Έκδοση 1997

Θέματα: “...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

ανά Trần, Diên Hiển
Έκδοση 2000

Θέματα: “...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

ανά Đặng Huy Ruận

Θέματα: “...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

ανά Langer, Susanne Katherina
Έκδοση 1953

Θέματα: “...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

ανά Đỗ Đức Giáo
Έκδοση 1998

Θέματα: “...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

ανά Nguyễn Mạnh Trinh
Έκδοση 1999

Θέματα: “...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

ανά Đặng, Huy Ruận
Έκδοση 2002

Θέματα: “...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

Logic techniques of formal reasoning

Έκδοση 1980

Θέματα: “...Logic; Symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Trà Vinh

10

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

ανά Hoàng Chúng
Έκδοση 1977

Θέματα: “...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̛

11

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

ανά Phan Hữu Chân
Έκδοση 1977

Θέματα: “...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̛

12

Logic for computer scientists

ανά Uwe Schoning
Έκδοση 1989

Θέματα: “...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̛

13

Discrete mathematics by example

ανά Andrew Simpson
Έκδοση 2002

Θέματα: “...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̛

14

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)

ανά Hoàng, Xuân Sính
Έκδοση 1998

Θέματα: “...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̛

15

Discrete-event system simulation

Έκδοση 2001

Θέματα: “...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̛

16

Discrete mathematics

ανά Johnsonbaugh, Richard
Έκδοση 2005

Θέματα: “...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̛

17

Transition to higher mathematics : Structure and proof

ανά Dumas , Bob A.
Έκδοση 2007

Θέματα: “...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̛

18

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

ανά Trần, Diên Hiển
Έκδοση 2007

Θέματα: “...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̛

19

Logic for mathematics and computer sicence

ανά Burris, Stanley N.
Έκδοση 1998

Θέματα: “...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̛

20

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

ανά Rosen, Kenneth H.
Έκδοση 2002

Θέματα: “...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̛

Περιορισμός αναζήτησης