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

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

保存先:

書誌詳細
第一著者:	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, 等
出版事項: (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, 等
出版事項: (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)

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

Transition to higher mathematics :
著者:: Dumas , Bob A.
出版事項: (2007)

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