Lôgich toán và cơ sở toán học

QRコード

Lôgich toán và cơ sở toán học Cơ sở Grobner

他のバージョン（2件）を表示する

Nội dung sách giới thiệu một số vấn đề cơ bản nhất của loogich toán và cơ sở toán học. Một số môn toán học tuy có nguồn gốc rất sớm nhưng các nội dung chủ yếu của nó trên thực tế mới được hình thành và được hệ thống hóa từ đa...

保存先:

書誌詳細
第一著者:	Phan, Đình Diệu
フォーマット:	図書
言語:	Undetermined
出版事項:	Hà Nội Viện Toán học 2003
主題:	Loogic, biểu tượng và toán học,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̛

類似資料

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

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

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

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

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

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

PHƯƠNG PHÁP GIẢI BÀI TẬP LOOGIC HỌC
著者:: VƯƠNG TẤT ĐẠT
出版事項: (2011)

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)

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

Lôgich toán và cơ sở toán học /
著者:: Phan Đình Diệu.
出版事項: (2003)

Lôgich toán và cơ sở toán học /
著者:: Phan Đình Diệu.
出版事項: (2003)

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

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

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

Logic
出版事項: (1980)

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

Lôgích học
著者:: Phan Trọng Hòa
出版事項: (2003)

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

Thiết kế biểu trưng =
著者:: Nguyễn, Duy Lãm
出版事項: (2015)

Giáo trình logích học
著者:: Nguyễn, Văn Hòa
出版事項: (2014)

Paradox and paraconsistency :
著者:: Woods, John
出版事項: (2003)

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

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