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

QR kȏd

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

Pokaži ostale verzije (3)

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

Spremljeno u:

Bibliografski detalji
Glavni autor:	Nguyễn Mạnh Trinh
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Hà Nội Giáo Dục 1997
Teme:	logic, symbolic and mathematical
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

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

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

Logic
Izdano: (1980)

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

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)

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

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)

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

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

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

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

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

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)

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)

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

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

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

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

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

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

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

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)

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

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

Discrete-event system simulation
Izdano: (2001)

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

Analysis and logic
Izdano: (2002)

Discrete mathematics by example
od: Andrew Simpson
Izdano: (2002)

Discrete mathematics
od: Johnsonbaugh, Richard
Izdano: (2005)

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

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

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
od: Chakraborty, M, i dr.
Izdano: (2015)

Logic and language models for computer science
od: Henry Hamburger
Izdano: (2002)

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