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

QRコード

Bước đầu làm quen với logic toá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...

保存先:

書誌詳細
第一著者:	Nguyễn Mạnh Trinh
フォーマット:	図書
言語:	Undetermined
出版事項:	Hà Nội Giáo Dục 1997
主題:	logic, symbolic and mathematical
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Bước đầu làm quen với logic toán
著者:: Nguyễn Mạnh Trinh
出版事項: (1999)

Logic toán
著者:: S L Edenmar
出版事項: (1981)

Logic
出版事項: (1980)

Các bài toán về suy luận logic
著者:: Trần, Diên Hiển
出版事項: (2000)

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

Bảy phương pháp giải các bài toán logic
著者:: Đặng, Huy Ruận
出版事項: (2002)

An introduction to symbolic logic
著者:: Langer, Susanne Katherina
出版事項: (1953)

Logic for computer scientists
著者:: Uwe Schoning
出版事項: (1989)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
著者:: Banerjee, Mohua, 等
出版事項: (2015)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
著者:: Koslow, Arnold, 等
出版事項: (2015)

Tập hợp và logic :
著者:: Hoàng, Xuân Sính
出版事項: (1998)

Logic for mathematics and computer sicence
著者:: Burris, Stanley N.
出版事項: (1998)

Bước đầu làm quen với logic toán
著者:: Nguyễn, Mạnh Trinh
出版事項: (1999)

Symbolic logic
著者:: Agler, David W
出版事項: (2013)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
著者:: Hoàng Chúng
出版事項: (1977)

How to read and do proofs : an introduction to mathematical thought processes /
著者:: Solow, Daniel.
出版事項: (1990)

Mathematical logic for computer science.
著者:: Lu Zhungwan
出版事項: (1989)

Mathematical logic for computer science /
著者:: Lu, Zhongwan.
出版事項: (1989)

Mathematical logic for computer science /
著者:: Lu, Zhongwan.
出版事項: (1989)

Một số vấn đề về thuật toán
著者:: Nguyễn, Hữu Điển
出版事項: (2006)

Cơ sở toán trong lập trình
著者:: Đỗ Đức Giáo
出版事項: (1998)

Nhập môn lý thuyết tập hợp và logic
著者:: Phan Hữu Chân
出版事項: (1977)

Cơ sở lí thuyết tập hợp và lôgic toán :
著者:: Trần, Diên Hiển
出版事項: (2007)

Computability and logic
著者:: Boolos, George
出版事項: (2002)

Bước đầu làm quen với logic toán /
著者:: Nguyễn Mạnh Trinh.
出版事項: (2003)

Transition to higher mathematics :
著者:: Dumas , Bob A.
出版事項: (2007)

Nonstandard logics and nonstandard metrics in physics /
著者:: Honig, William M.
出版事項: (1995)

Nonstandard logics and nonstandard metrics in physics /
著者:: Honig, William M.
出版事項: (1995)

Bài giảng cơ sở logic và tập hợp
著者:: Lê, Văn Sáng
出版事項: (2000)

Logically determined design :
著者:: Fant, Karl M.
出版事項: (2005)

Discrete-event system simulation
出版事項: (2001)

Toán rời rạc ứng dụng trong tin học =
著者:: Rosen, Kenneth H.
出版事項: (2002)

Analysis and logic
出版事項: (2002)

Discrete mathematics by example
著者:: Andrew Simpson
出版事項: (2002)

Discrete mathematics
著者:: Johnsonbaugh, Richard
出版事項: (2005)

Giáo trình cơ sở logic và lý thuyết tập hợp
著者:: Lê, Phương Thảo
出版事項: (2008)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
著者:: van Atten, Mark
出版事項: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
著者:: Chakraborty, M, 等
出版事項: (2015)

Logic and language models for computer science
著者:: Henry Hamburger
出版事項: (2002)

Tìm đường trong mê cung
著者:: Nguyễn Xuân Huy
出版事項: (1997)