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)