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

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Lê, Phương Thảo
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	Cần Thơ Trường Đại học Cần Thơ 2008
Konular:	Set theory,Logic, symbolic and mathematical,Lý thuyết tập hợp
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Nhập môn lý thuyết tập hợp và logic
Yazar:: Phan Hữu Chân
Baskı/Yayın Bilgisi: (1977)

Data engineering: Fuzzy mathematics in systems theory and data analysis
Yazar:: Olaf Wolkenhauer
Baskı/Yayın Bilgisi: (2001)

Set theory and the continuum hypothesis /
Yazar:: Cohen, Paul J., 1934-2007.
Baskı/Yayın Bilgisi: (1966)

Tập hợp và logic :
Yazar:: Hoàng, Xuân Sính
Baskı/Yayın Bilgisi: (1998)

Logic
Baskı/Yayın Bilgisi: (1980)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
Yazar:: Hoàng Chúng
Baskı/Yayın Bilgisi: (1977)

Logic toán
Yazar:: S L Edenmar
Baskı/Yayın Bilgisi: (1981)

An introduction to symbolic logic
Yazar:: Langer, Susanne Katherina
Baskı/Yayın Bilgisi: (1953)

Bước đầu làm quen với logic toán
Yazar:: Nguyễn Mạnh Trinh
Baskı/Yayın Bilgisi: (1997)

Các bài toán về suy luận logic
Yazar:: Trần, Diên Hiển
Baskı/Yayın Bilgisi: (2000)

Bước đầu làm quen với logic toán
Yazar:: Nguyễn Mạnh Trinh
Baskı/Yayın Bilgisi: (1999)

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

Bảy phương pháp giải các bài toán logic
Yazar:: Đặng, Huy Ruận
Baskı/Yayın Bilgisi: (2002)

Logic for computer scientists
Yazar:: Uwe Schoning
Baskı/Yayın Bilgisi: (1989)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Yazar:: Banerjee, Mohua, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Cơ sở lí thuyết tập hợp và lôgic toán :
Yazar:: Trần, Diên Hiển
Baskı/Yayın Bilgisi: (2007)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Yazar:: Koslow, Arnold, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Logic for mathematics and computer sicence
Yazar:: Burris, Stanley N.
Baskı/Yayın Bilgisi: (1998)

Symbolic logic
Yazar:: Agler, David W
Baskı/Yayın Bilgisi: (2013)

How to read and do proofs : an introduction to mathematical thought processes /
Yazar:: Solow, Daniel.
Baskı/Yayın Bilgisi: (1990)

Mathematical logic for computer science.
Yazar:: Lu Zhungwan
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Cơ sở toán trong lập trình
Yazar:: Đỗ Đức Giáo
Baskı/Yayın Bilgisi: (1998)

Bài giảng cơ sở logic và tập hợp
Yazar:: Lê, Văn Sáng
Baskı/Yayın Bilgisi: (2000)

Một số vấn đề về thuật toán
Yazar:: Nguyễn, Hữu Điển
Baskı/Yayın Bilgisi: (2006)

Computability and logic
Yazar:: Boolos, George
Baskı/Yayın Bilgisi: (2002)

Quantum Physics, Fuzzy Sets and Logic: Steps Towards a Many-Valued Interpretation of Quantum Mechanics
Yazar:: Pykacz, Jarosław
Baskı/Yayın Bilgisi: (2016)

Lý thuyết tập hợp
Yazar:: Nguyễn Thanh Sơn
Baskı/Yayın Bilgisi: (1999)

Transition to higher mathematics :
Yazar:: Dumas , Bob A.
Baskı/Yayın Bilgisi: (2007)

Điều khiển logic và ứng dụng
Yazar:: Nguyễn, Trọng Thuần
Baskı/Yayın Bilgisi: (2004)

Giáo trình lý thuyết tập hợp và logic toán
Yazar:: Lê, Phương Thảo
Baskı/Yayın Bilgisi: (2016)

Điều khiển logic và ứng dụng; T1
Yazar:: Nguyễn Trọng Thuần
Baskı/Yayın Bilgisi: (2000)

Nonstandard logics and nonstandard metrics in physics /
Yazar:: Honig, William M.
Baskı/Yayın Bilgisi: (1995)

Nonstandard logics and nonstandard metrics in physics /
Yazar:: Honig, William M.
Baskı/Yayın Bilgisi: (1995)

Logically determined design :
Yazar:: Fant, Karl M.
Baskı/Yayın Bilgisi: (2005)

Discrete-event system simulation
Baskı/Yayın Bilgisi: (2001)

Điều khiển logic và ứng dụng :
Yazar:: Nguyễn, Trọng Thuần
Baskı/Yayın Bilgisi: (2009)

Cơ sở lý thuyết đa thế vị
Yazar:: Nguyễn, Quang Diệu
Baskı/Yayın Bilgisi: (2009)

Lý thuyết tập hợp và lôgic
Yazar:: Đậu Thế Cấp
Baskı/Yayın Bilgisi: (2006)