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

Mã 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̣,...

Đã lưu trong:

书目详细资料
主要作者:	Lê, Phương Thảo
格式:	图书
语言:	Undetermined
出版:	Cần Thơ Trường Đại học Cần Thơ 2008
主题:	Set theory,Logic, symbolic and mathematical,Lý thuyết tập hợp
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

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

Data engineering: Fuzzy mathematics in systems theory and data analysis
由: Olaf Wolkenhauer
出版: (2001)

Set theory and the continuum hypothesis /
由: Cohen, Paul J., 1934-2007.
出版: (1966)

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

Logic
出版: (1980)

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

Logic toán
由: S L Edenmar
出版: (1981)

An introduction to symbolic logic
由: Langer, Susanne Katherina
出版: (1953)

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

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

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

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

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

Logic for computer scientists
由: Uwe Schoning
出版: (1989)

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

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

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

Logic for mathematics and computer sicence
由: Burris, Stanley N.
出版: (1998)

Symbolic logic
由: Agler, David W
出版: (2013)

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

Mathematical logic for computer science.
由: Lu Zhungwan
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

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

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

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

Computability and logic
由: Boolos, George
出版: (2002)

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

Transition to higher mathematics :
由: Dumas , Bob A.
出版: (2007)

Lý thuyết tập hợp
由: Nguyễn Thanh Sơn
出版: (1999)

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

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

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

Nonstandard logics and nonstandard metrics in physics /
由: Honig, William M.
出版: (1995)

Nonstandard logics and nonstandard metrics in physics /
由: Honig, William M.
出版: (1995)

Logically determined design :
由: Fant, Karl M.
出版: (2005)

Discrete-event system simulation
出版: (2001)

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

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

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_rtia2bsv73ubgs6ui27acdgkdg
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235