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)