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

Mã QR

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

Hiển thị phiên bản (2) khác

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

Đã lưu trong:

書目詳細資料
主要作者:	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)

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)

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

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, et al.
出版: (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, et al.
出版: (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)

Nonstandard logics and nonstandard metrics in physics
由: Honig, William M
出版: (1995)

Mathematical logic for computer science.
由: Lu Zhungwan
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Symbolic logic
由: Agler, David W
出版: (2013)

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

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)

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)