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

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	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)