Giáo trình lý thuyết tập hợp và logic toán

Côd QR

Giáo trình lý thuyết tập hợp và logic toán

Nội dung tài liệu trình bày các kiến thức cơ sở của logic toán, tập hợp - ánh xạ, cấu trúc đại số, quan hệ, bản đồ và số thứ tự

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Lê, Phương Thảo
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	Cần Thơ Nxb. Đại học Cần Thơ 2016
Pynciau:	Toán học,Mathematics Logic,Logic
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Giáo trình Logic mờ & ứng dụng
gan: Lê, Xuân Vinh
Cyhoeddwyd: (2019)

Cơ sở lí thuyết tập hợp và logic toán
gan: Trần, Diên Hiển
Cyhoeddwyd: (2007)

Logic for mathematics and computer sicence
gan: Burris, Stanley N.
Cyhoeddwyd: (1998)

Bước đầu làm quen với logic toán
gan: Nguyễn, Mạnh Trinh
Cyhoeddwyd: (1999)

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

Symbolic logic
gan: Agler, David W
Cyhoeddwyd: (2013)

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

Logic for computer scientists
gan: Uwe Schoning
Cyhoeddwyd: (1989)

Logic toán
gan: S L Edenmar
Cyhoeddwyd: (1981)

Logic mờ và ứng dụng
gan: Bouchon-Meunier, Bernadette
Cyhoeddwyd: (2007)

Giáo trình logic học
gan: Lê, Thanh Thập
Cyhoeddwyd: (2013)

Tập bài giảng logic học
gan: Lê, Duy Ninh
Cyhoeddwyd: (2014)

Giáo trình điều khiển logic
gan: Nguyễn, Tiến Mạnh
Cyhoeddwyd: (2008)

Bảy phương pháp giải các bài toán logic
gan: Đặng, Huy Ruận
Cyhoeddwyd: (2002)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
gan: Hoàng Chúng
Cyhoeddwyd: (1977)

Giáo trình cơ sở logic và lý thuyết tập hợp
gan: Lê, Phương Thảo
Cyhoeddwyd: (2008)

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

Logical Foundations of Computer Science
gan: Artemov, Sergei, et al.
Cyhoeddwyd: (2020)

Giáo trình logic hình thức
gan: Bùi, Thanh Quất
Cyhoeddwyd: (1994)

Logic học :
gan: Lê, Ngọc Triết
Cyhoeddwyd: (2013)

Computability and logic
gan: Boolos, George
Cyhoeddwyd: (2002)

Logic
Cyhoeddwyd: (1980)

Giáo trình logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2009)

Giáo trình logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2013)

Giáo trình lôgíc học hình thức
gan: Võ Văn Thắng
Cyhoeddwyd: (2012)

Hegel's logic :
gan: Hegel, Georg Wilhelm Friedrich
Cyhoeddwyd: (1975)

Logic học và phương pháp
gan: Lê, Tử Thành
Cyhoeddwyd: (1991)

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

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

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

Cơ sở lí thuyết tập hợp và lôgic toán Tài liệu đào tạo giáo viên tiểu học trình độ cao đẳng và đại học Sư phạm
gan: Trần, Diên Hiển
Cyhoeddwyd: (2007)

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

Bảy phương pháp giải các bài toán logic
gan: Đặng, Huy Ruận
Cyhoeddwyd: (2002)

Tài liệu bồi dưỡng thường xuyên giáo viên trung học, sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật Logic toán
gan: Nguyễn, Đức Đồng
Cyhoeddwyd: (2001)

Giáo trình logic học
gan: Lê Doãn Tá
Cyhoeddwyd: (2004)

Giáo trình logic học
gan: Lê, Doãn Tá
Cyhoeddwyd: (2007)

An introduction to symbolic logic
gan: Langer, Susanne Katherina
Cyhoeddwyd: (1953)

An introduction to non-classical logic
gan: Priest, Graham
Cyhoeddwyd: (2001)

Giáo trình Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2007)

Giáo trình Logic học đại cương
gan: Nguyễn, Như Hải
Cyhoeddwyd: (2009)