Nhập môn lý thuyết tập hợp và logic

Côd QR

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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Phan Hữu Chân
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	Hà Nội Giáo dục 1977
Pynciau:	Set theory,Logic, symbolic and mathematical
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Giáo trình cơ sở logic và lý thuyết tập hợp
gan: Lê, Phương Thảo
Cyhoeddwyd: (2008)

Data engineering: Fuzzy mathematics in systems theory and data analysis
gan: Olaf Wolkenhauer
Cyhoeddwyd: (2001)

Set theory and the continuum hypothesis /
gan: Cohen, Paul J., 1934-2007.
Cyhoeddwyd: (1966)

Tập hợp và logic :
gan: Hoàng, Xuân Sính
Cyhoeddwyd: (1998)

Logic
Cyhoeddwyd: (1980)

Logic toán
gan: S L Edenmar
Cyhoeddwyd: (1981)

An introduction to symbolic logic
gan: Langer, Susanne Katherina
Cyhoeddwyd: (1953)

Bước đầu làm quen với logic toán
gan: Nguyễn Mạnh Trinh
Cyhoeddwyd: (1997)

Các bài toán về suy luận logic
gan: Trần, Diên Hiển
Cyhoeddwyd: (2000)

Bước đầu làm quen với logic toán
gan: Nguyễn Mạnh Trinh
Cyhoeddwyd: (1999)

Bảy phương pháp giải các bài toán logic
gan: Đặng Huy Ruận

Bảy phương pháp giải các bài toán logic
gan: Đặng, Huy Ruận
Cyhoeddwyd: (2002)

Logic for computer scientists
gan: Uwe Schoning
Cyhoeddwyd: (1989)

Cơ sở lí thuyết tập hợp và lôgic toán :
gan: Trần, Diên Hiển
Cyhoeddwyd: (2007)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
gan: Hoàng Chúng
Cyhoeddwyd: (1977)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
gan: Banerjee, Mohua, et al.
Cyhoeddwyd: (2015)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
gan: Koslow, Arnold, et al.
Cyhoeddwyd: (2015)

Logic for mathematics and computer sicence
gan: Burris, Stanley N.
Cyhoeddwyd: (1998)

Symbolic logic
gan: Agler, David W
Cyhoeddwyd: (2013)

How to read and do proofs : an introduction to mathematical thought processes /
gan: Solow, Daniel.
Cyhoeddwyd: (1990)

Mathematical logic for computer science.
gan: Lu Zhungwan
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Bài giảng cơ sở logic và tập hợp
gan: Lê, Văn Sáng
Cyhoeddwyd: (2000)

Một số vấn đề về thuật toán
gan: Nguyễn, Hữu Điển
Cyhoeddwyd: (2006)

Computability and logic
gan: Boolos, George
Cyhoeddwyd: (2002)

Cơ sở toán trong lập trình
gan: Đỗ Đức Giáo
Cyhoeddwyd: (1998)

Quantum Physics, Fuzzy Sets and Logic: Steps Towards a Many-Valued Interpretation of Quantum Mechanics
gan: Pykacz, Jarosław
Cyhoeddwyd: (2016)

Điều khiển logic và ứng dụng
gan: Nguyễn, Trọng Thuần
Cyhoeddwyd: (2004)

Transition to higher mathematics :
gan: Dumas , Bob A.
Cyhoeddwyd: (2007)

Điều khiển logic và ứng dụng; T1
gan: Nguyễn Trọng Thuần
Cyhoeddwyd: (2000)

Lý thuyết tập hợp
gan: Nguyễn Thanh Sơn
Cyhoeddwyd: (1999)

Nonstandard logics and nonstandard metrics in physics /
gan: Honig, William M.
Cyhoeddwyd: (1995)

Nonstandard logics and nonstandard metrics in physics /
gan: Honig, William M.
Cyhoeddwyd: (1995)

Logically determined design :
gan: Fant, Karl M.
Cyhoeddwyd: (2005)

Discrete-event system simulation
Cyhoeddwyd: (2001)

Lý thuyết mờ và ứng dụng
gan: Nguyễn, Như Phong
Cyhoeddwyd: (2005)

Lý thuyết điều khiển mờ
gan: Phan Xuân Minh
Cyhoeddwyd: (2002)

Fuzzy set and fuzzy logic (Theory and applications)
gan: George J Klir
Cyhoeddwyd: (1995)

Analysis and logic
Cyhoeddwyd: (2002)