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

QR kȏd

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

Spremljeno u:

Bibliografski detalji
Glavni autor:	Lê, Phương Thảo
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Cần Thơ Trường Đại học Cần Thơ 2008
Teme:	Set theory,Logic, symbolic and mathematical,Lý thuyết tập hợp
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

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

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

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

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

Logic
Izdano: (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
Izdano: (1977)

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

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

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

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

Bước đầu làm quen với logic toán
od: Nguyễn Mạnh Trinh
Izdano: (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
Izdano: (2002)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Discrete-event system simulation
Izdano: (2001)

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

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

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