Zoekresultaten - "Logic, Symbolic and mathematical"

1

Logic toán

door S L Edenmar
Gepubliceerd in 1981

Onderwerpen: “...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

door Nguyễn Mạnh Trinh
Gepubliceerd in 1997

Onderwerpen: “...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

door Trần, Diên Hiển
Gepubliceerd in 2000

Onderwerpen: “...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

door Đặng Huy Ruận

Onderwerpen: “...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

door Langer, Susanne Katherina
Gepubliceerd in 1953

Onderwerpen: “...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

door Đỗ Đức Giáo
Gepubliceerd in 1998

Onderwerpen: “...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

door Nguyễn Mạnh Trinh
Gepubliceerd in 1999

Onderwerpen: “...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

door Đặng, Huy Ruận
Gepubliceerd in 2002

Onderwerpen: “...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

Gepubliceerd in 1980

Onderwerpen: “...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

door Hoàng Chúng
Gepubliceerd in 1977

Onderwerpen: “...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

door Phan Hữu Chân
Gepubliceerd in 1977

Onderwerpen: “...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

door Uwe Schoning
Gepubliceerd in 1989

Onderwerpen: “...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

door Andrew Simpson
Gepubliceerd in 2002

Onderwerpen: “...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)

door Hoàng, Xuân Sính
Gepubliceerd in 1998

Onderwerpen: “...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

Gepubliceerd in 2001

Onderwerpen: “...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

door Johnsonbaugh, Richard
Gepubliceerd in 2005

Onderwerpen: “...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

door Dumas , Bob A.
Gepubliceerd in 2007

Onderwerpen: “...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

door Trần, Diên Hiển
Gepubliceerd in 2007

Onderwerpen: “...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

door Burris, Stanley N.
Gepubliceerd in 1998

Onderwerpen: “...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

door Rosen, Kenneth H.
Gepubliceerd in 2002

Onderwerpen: “...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̛

Verfijnd zoeken