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

Zobrazit další vydání (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...

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Nguyễn Mạnh Trinh
Médium:	Kniha
Jazyk:	Undetermined
Vydáno:	Hà Nội Giáo dục 1999
Témata:	logic, symbolic and mathematical
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

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

Logic toán
Autor: S L Edenmar
Vydáno: (1981)

Logic
Vydáno: (1980)

Các bài toán về suy luận logic
Autor: Trần, Diên Hiển
Vydáno: (2000)

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

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

An introduction to symbolic logic
Autor: Langer, Susanne Katherina
Vydáno: (1953)

Logic for computer scientists
Autor: Uwe Schoning
Vydáno: (1989)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Autor: Banerjee, Mohua, a další
Vydáno: (2015)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Autor: Koslow, Arnold, a další
Vydáno: (2015)

Tập hợp và logic :
Autor: Hoàng, Xuân Sính
Vydáno: (1998)

Logic for mathematics and computer sicence
Autor: Burris, Stanley N.
Vydáno: (1998)

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

Symbolic logic
Autor: Agler, David W
Vydáno: (2013)

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

How to read and do proofs : an introduction to mathematical thought processes /
Autor: Solow, Daniel.
Vydáno: (1990)

Mathematical logic for computer science.
Autor: Lu Zhungwan
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

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

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

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

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

Computability and logic
Autor: Boolos, George
Vydáno: (2002)

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

Transition to higher mathematics :
Autor: Dumas , Bob A.
Vydáno: (2007)

Nonstandard logics and nonstandard metrics in physics /
Autor: Honig, William M.
Vydáno: (1995)

Nonstandard logics and nonstandard metrics in physics /
Autor: Honig, William M.
Vydáno: (1995)

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

Logically determined design :
Autor: Fant, Karl M.
Vydáno: (2005)

Discrete-event system simulation
Vydáno: (2001)

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

Analysis and logic
Vydáno: (2002)

Discrete mathematics by example
Autor: Andrew Simpson
Vydáno: (2002)

Discrete mathematics
Autor: Johnsonbaugh, Richard
Vydáno: (2005)

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

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Autor: van Atten, Mark
Vydáno: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Autor: Chakraborty, M, a další
Vydáno: (2015)

Logic and language models for computer science
Autor: Henry Hamburger
Vydáno: (2002)

Tìm đường trong mê cung
Autor: Nguyễn Xuân Huy
Vydáno: (1997)