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

Codi QR

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

Veure altres versions (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...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Nguyễn Mạnh Trinh
Format:	Llibre
Idioma:	Undetermined
Publicat:	Hà Nội Giáo Dục 1997
Matèries:	logic, symbolic and mathematical
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

Logic toán
per: S L Edenmar
Publicat: (1981)

Logic
Publicat: (1980)

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

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

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

An introduction to symbolic logic
per: Langer, Susanne Katherina
Publicat: (1953)

Logic for computer scientists
per: Uwe Schoning
Publicat: (1989)

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

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

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

Logic for mathematics and computer sicence
per: Burris, Stanley N.
Publicat: (1998)

Symbolic logic
per: Agler, David W
Publicat: (2013)

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

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

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

Mathematical logic for computer science.
per: Lu Zhungwan
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

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

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

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

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

Computability and logic
per: Boolos, George
Publicat: (2002)

Transition to higher mathematics :
per: Dumas , Bob A.
Publicat: (2007)

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

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

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

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

Logically determined design :
per: Fant, Karl M.
Publicat: (2005)

Discrete-event system simulation
Publicat: (2001)

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

Analysis and logic
Publicat: (2002)

Discrete mathematics by example
per: Andrew Simpson
Publicat: (2002)

Discrete mathematics
per: Johnsonbaugh, Richard
Publicat: (2005)

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

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

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

Logic and language models for computer science
per: Henry Hamburger
Publicat: (2002)

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