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

kod QR

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

Pokaż inne wersje (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...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Nguyễn Mạnh Trinh
Format:	Książka
Język:	Undetermined
Wydane:	Hà Nội Giáo dục 1999
Hasła przedmiotowe:	logic, symbolic and mathematical
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

Logic
Wydane: (1980)

Các bài toán về suy luận logic
od: Trần, Diên Hiển
Wydane: (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
Wydane: (2002)

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

Logic for computer scientists
od: Uwe Schoning
Wydane: (1989)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
od: Banerjee, Mohua, i wsp.
Wydane: (2015)

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

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

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

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

Symbolic logic
od: Agler, David W
Wydane: (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
Wydane: (1977)

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

Mathematical logic for computer science.
od: Lu Zhungwan
Wydane: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Wydane: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Wydane: (1989)

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

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

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

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

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

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

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

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

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

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

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

Discrete-event system simulation
Wydane: (2001)

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

Analysis and logic
Wydane: (2002)

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

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

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

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

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

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

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