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

QR Kodea

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

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Nguyễn Mạnh Trinh
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	Hà Nội Giáo Dục 1997
Gaiak:	logic, symbolic and mathematical
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

Logic toán
nork: S L Edenmar
Argitaratua: (1981)

Logic
Argitaratua: (1980)

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

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

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

An introduction to symbolic logic
nork: Langer, Susanne Katherina
Argitaratua: (1953)

Logic for computer scientists
nork: Uwe Schoning
Argitaratua: (1989)

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

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

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

Logic for mathematics and computer sicence
nork: Burris, Stanley N.
Argitaratua: (1998)

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

Symbolic logic
nork: Agler, David W
Argitaratua: (2013)

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

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

Mathematical logic for computer science.
nork: Lu Zhungwan
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

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

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

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

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

Computability and logic
nork: Boolos, George
Argitaratua: (2002)

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

Transition to higher mathematics :
nork: Dumas , Bob A.
Argitaratua: (2007)

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

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

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

Logically determined design :
nork: Fant, Karl M.
Argitaratua: (2005)

Discrete-event system simulation
Argitaratua: (2001)

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

Analysis and logic
Argitaratua: (2002)

Discrete mathematics by example
nork: Andrew Simpson
Argitaratua: (2002)

Discrete mathematics
nork: Johnsonbaugh, Richard
Argitaratua: (2005)

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

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

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

Logic and language models for computer science
nork: Henry Hamburger
Argitaratua: (2002)

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