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

QR code

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

Toon andere (2) versies

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

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Phan, Đình Diệu
Formaat:	Boek
Taal:	Undetermined
Gepubliceerd in:	Hà Nội Viện Toán học 2003
Onderwerpen:	Loogic, biểu tượng và toán học,Logic, Symbolic and mathematical
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Cơ sở toán trong lập trình
door: Đỗ Đức Giáo
Gepubliceerd in: (1998)

Một số vấn đề về thuật toán
door: Nguyễn, Hữu Điển
Gepubliceerd in: (2006)

Logic toán
door: S L Edenmar
Gepubliceerd in: (1981)

Bước đầu làm quen với logic toán
door: Nguyễn Mạnh Trinh
Gepubliceerd in: (1997)

Các bài toán về suy luận logic
door: Trần, Diên Hiển
Gepubliceerd in: (2000)

Bước đầu làm quen với logic toán
door: Nguyễn Mạnh Trinh
Gepubliceerd in: (1999)

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

Bảy phương pháp giải các bài toán logic
door: Đặng, Huy Ruận
Gepubliceerd in: (2002)

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

How to read and do proofs : an introduction to mathematical thought processes /
door: Solow, Daniel.
Gepubliceerd in: (1990)

Lôgich toán và cơ sở toán học /
door: Phan Đình Diệu.
Gepubliceerd in: (2003)

Lôgich toán và cơ sở toán học /
door: Phan Đình Diệu.
Gepubliceerd in: (2003)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
door: Banerjee, Mohua, et al.
Gepubliceerd in: (2015)

Logic for mathematics and computer sicence
door: Burris, Stanley N.
Gepubliceerd in: (1998)

An introduction to symbolic logic
door: Langer, Susanne Katherina
Gepubliceerd in: (1953)

Logic
Gepubliceerd in: (1980)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
door: Koslow, Arnold, et al.
Gepubliceerd in: (2015)

Toán rời rạc ứng dụng trong tin học =
door: Rosen, Kenneth H.
Gepubliceerd in: (2002)

Transition to higher mathematics :
door: Dumas , Bob A.
Gepubliceerd in: (2007)

Cơ sở lí thuyết tập hợp và lôgic toán :
door: Trần, Diên Hiển
Gepubliceerd in: (2007)

Logic for computer scientists
door: Uwe Schoning
Gepubliceerd in: (1989)

Tập hợp và logic :
door: Hoàng, Xuân Sính
Gepubliceerd in: (1998)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
door: Hoàng Chúng
Gepubliceerd in: (1977)

Discrete-event system simulation
Gepubliceerd in: (2001)

Nhập môn lý thuyết tập hợp và logic
door: Phan Hữu Chân
Gepubliceerd in: (1977)

Discrete mathematics by example
door: Andrew Simpson
Gepubliceerd in: (2002)

Discrete mathematics
door: Johnsonbaugh, Richard
Gepubliceerd in: (2005)

Nonstandard logics and nonstandard metrics in physics
door: Honig, William M
Gepubliceerd in: (1995)

Mathematical logic for computer science.
door: Lu Zhungwan
Gepubliceerd in: (1989)

Mathematical logic for computer science /
door: Lu, Zhongwan.
Gepubliceerd in: (1989)

Mathematical logic for computer science /
door: Lu, Zhongwan.
Gepubliceerd in: (1989)

Symbolic logic
door: Agler, David W
Gepubliceerd in: (2013)

Thiết kế biểu trưng =
door: Nguyễn, Duy Lãm
Gepubliceerd in: (2015)

Computability and logic
door: Boolos, George
Gepubliceerd in: (2002)

Lôgích học
door: Phan Trọng Hòa
Gepubliceerd in: (2003)

Nonstandard logics and nonstandard metrics in physics
door: Honig, William M
Gepubliceerd in: (1995)

Giáo trình logích học
door: Nguyễn, Văn Hòa
Gepubliceerd in: (2014)

Paradox and paraconsistency :
door: Woods, John
Gepubliceerd in: (2003)

Bài giảng cơ sở logic và tập hợp
door: Lê, Văn Sáng
Gepubliceerd in: (2000)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
door: van Atten, Mark
Gepubliceerd in: (2015)