Giáo trình cơ sở logic và lý thuyết tập hợp

Côd QR

Giáo trình cơ sở logic và lý thuyết tập hợp

Trình bày các kiến thức cơ bản của logic toán. Mệnh đề và các phép toán logic cũng như các qui tắc suy diễn. Các phép toán về tập hợp và khái niệm ánh xạ,...

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Lê, Phương Thảo
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	Cần Thơ Trường Đại học Cần Thơ 2008
Pynciau:	Set theory,Logic, symbolic and mathematical,Lý thuyết tập hợp
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

Nhập môn lý thuyết tập hợp và logic
gan: Phan Hữu Chân
Cyhoeddwyd: (1977)

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)

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 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)

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

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

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)

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

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)

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

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

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

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

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

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

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)

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

Cơ sở lý thuyết đa thế vị
gan: Nguyễn, Quang Diệu
Cyhoeddwyd: (2009)

Lý thuyết tập hợp và lôgic
gan: Đậu Thế Cấp
Cyhoeddwyd: (2006)