Bước đầu làm quen với logic toán

Mã QR

Bước đầu làm quen với logic toán

Hiển thị phiên bản (3) khác

Sách giới thiệu một số phương pháp suy luận của quá trình tư duy đúng thông qua một số bài toán logic và phương pháp giải chúng; đồng thời giới thiệu một vài khái niệm ban đầu của đại số logic để sử dụng một số ký hiệu hình thức tron...

Cur síos iomlán

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Nguyễn Mạnh Trinh
Formáid:	Leabhar
Teanga:	Undetermined
Foilsithe:	Hà Nội Giáo dục 1999
Ábhair:	logic, symbolic and mathematical
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

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

Logic toán
le: S L Edenmar
Foilsithe: (1981)

Logic
Foilsithe: (1980)

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

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

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

An introduction to symbolic logic
le: Langer, Susanne Katherina
Foilsithe: (1953)

Logic for computer scientists
le: Uwe Schoning
Foilsithe: (1989)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
le: Banerjee, Mohua, et al.
Foilsithe: (2015)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
le: Koslow, Arnold, et al.
Foilsithe: (2015)

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

Logic for mathematics and computer sicence
le: Burris, Stanley N.
Foilsithe: (1998)

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

Symbolic logic
le: Agler, David W
Foilsithe: (2013)

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

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

Mathematical logic for computer science.
le: Lu Zhungwan
Foilsithe: (1989)

Mathematical logic for computer science /
le: Lu, Zhongwan.
Foilsithe: (1989)

Mathematical logic for computer science /
le: Lu, Zhongwan.
Foilsithe: (1989)

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

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

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

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

Computability and logic
le: Boolos, George
Foilsithe: (2002)

Bước đầu làm quen với logic toán /
le: Nguyễn Mạnh Trinh.
Foilsithe: (2003)

Transition to higher mathematics :
le: Dumas , Bob A.
Foilsithe: (2007)

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

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

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

Logically determined design :
le: Fant, Karl M.
Foilsithe: (2005)

Discrete-event system simulation
Foilsithe: (2001)

Toán rời rạc ứng dụng trong tin học =
le: Rosen, Kenneth H.
Foilsithe: (2002)

Analysis and logic
Foilsithe: (2002)

Discrete mathematics by example
le: Andrew Simpson
Foilsithe: (2002)

Discrete mathematics
le: Johnsonbaugh, Richard
Foilsithe: (2005)

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

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
le: van Atten, Mark
Foilsithe: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
le: Chakraborty, M, et al.
Foilsithe: (2015)

Logic and language models for computer science
le: Henry Hamburger
Foilsithe: (2002)

Tìm đường trong mê cung
le: Nguyễn Xuân Huy
Foilsithe: (1997)