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

kod 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̣,...

Zapisane w:

Opis bibliograficzny
1. autor:	Lê, Phương Thảo
Format:	Książka
Język:	Undetermined
Wydane:	Cần Thơ Trường Đại học Cần Thơ 2008
Hasła przedmiotowe:	Set theory,Logic, symbolic and mathematical,Lý thuyết tập hợp
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

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

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

Logic
Wydane: (1980)

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

Logic toán
od: S L Edenmar
Wydane: (1981)

An introduction to symbolic logic
od: Langer, Susanne Katherina
Wydane: (1953)

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

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

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

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

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

Logic for computer scientists
od: Uwe Schoning
Wydane: (1989)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
od: Banerjee, Mohua, i wsp.
Wydane: (2015)

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

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
od: Koslow, Arnold, i wsp.
Wydane: (2015)

Logic for mathematics and computer sicence
od: Burris, Stanley N.
Wydane: (1998)

Symbolic logic
od: Agler, David W
Wydane: (2013)

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

Mathematical logic for computer science.
od: Lu Zhungwan
Wydane: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Wydane: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Wydane: (1989)

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

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

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

Computability and logic
od: Boolos, George
Wydane: (2002)

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

Transition to higher mathematics :
od: Dumas , Bob A.
Wydane: (2007)

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

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

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

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

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

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

Logically determined design :
od: Fant, Karl M.
Wydane: (2005)

Discrete-event system simulation
Wydane: (2001)

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

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

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

Notice: fwrite(): write of 696 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_07ms4m2qlvedg8erbqigava8sv
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