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

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

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Lê, Phương Thảo
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Cần Thơ Trường Đại học Cần Thơ 2008
Những chủ đề:	Set theory,Logic, symbolic and mathematical,Lý thuyết tập hợp
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Nhập môn lý thuyết tập hợp và logic
Bỡi: Phan Hữu Chân
Được phát hành: (1977)

Data engineering: Fuzzy mathematics in systems theory and data analysis
Bỡi: Olaf Wolkenhauer
Được phát hành: (2001)

Set theory and the continuum hypothesis /
Bỡi: Cohen, Paul J., 1934-2007.
Được phát hành: (1966)

Tập hợp và logic :
Bỡi: Hoàng, Xuân Sính
Được phát hành: (1998)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
Bỡi: Hoàng Chúng
Được phát hành: (1977)

Logic
Được phát hành: (1980)

Logic toán
Bỡi: S L Edenmar
Được phát hành: (1981)

An introduction to symbolic logic
Bỡi: Langer, Susanne Katherina
Được phát hành: (1953)

Cơ sở lí thuyết tập hợp và lôgic toán :
Bỡi: Trần, Diên Hiển
Được phát hành: (2007)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1997)

Các bài toán về suy luận logic
Bỡi: Trần, Diên Hiển
Được phát hành: (2000)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1999)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

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

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Bài giảng cơ sở logic và tập hợp
Bỡi: Lê, Văn Sáng
Được phát hành: (2000)

Cơ sở toán trong lập trình
Bỡi: Đỗ Đức Giáo
Được phát hành: (1998)

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

Một số vấn đề về thuật toán
Bỡi: Nguyễn, Hữu Điển
Được phát hành: (2006)

Lý thuyết tập hợp và lôgic
Bỡi: Đậu Thế Cấp
Được phát hành: (2006)

Lí thuyết tập hợp và Lôgic
Bỡi: Đậu, Thế Cấp
Được phát hành: (2004)

Giáo trình lý thuyết tập hợp và logic toán
Bỡi: Lê, Phương Thảo
Được phát hành: (2016)

Điều khiển logic và ứng dụng :
Bỡi: Nguyễn, Trọng Thuần
Được phát hành: (2009)

Điều khiển logic và ứng dụng
Bỡi: Nguyễn, Trọng Thuần
Được phát hành: (2004)

Transition to higher mathematics :
Bỡi: Dumas , Bob A.
Được phát hành: (2007)

Điều khiển logic và ứng dụng; T1
Bỡi: Nguyễn Trọng Thuần
Được phát hành: (2000)

Logically determined design :
Bỡi: Fant, Karl M.
Được phát hành: (2005)

Lí thuyết tập hợp và lôgic /
Bỡi: Đậu Thế Cấp
Được phát hành: (2004)

Nhập môn lý thuyết, tập hợp và lôgíc Tài liệu dùng cho các trường Cao đẳng sư phạm và các trường Sư phạm cấp hai 10+3
Bỡi: Phan, Hữu Chân
Được phát hành: (1977)

Lý thuyết tập hợp
Bỡi: Nguyễn Thanh Sơn
Được phát hành: (1999)

Nonstandard logics and nonstandard metrics in physics /
Bỡi: Honig, William M.
Được phát hành: (1995)

Nonstandard logics and nonstandard metrics in physics /
Bỡi: Honig, William M.
Được phát hành: (1995)

Cơ sở lý thuyết đa thế vị
Bỡi: Nguyễn, Quang Diệu
Được phát hành: (2009)

Set theory
Bỡi: Pinter, Charles C.
Được phát hành: (1971)

Discrete-event system simulation
Được phát hành: (2001)