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

QR koda

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Phan, Đình Diệu
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Hà Nội Viện Toán học 2003
Teme:	Loogic, biểu tượng và toán học,Logic, Symbolic and mathematical
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

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

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

Logic toán
od: S L Edenmar
Izdano: (1981)

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

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

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

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

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

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

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

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

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

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

Logic for mathematics and computer sicence
od: Burris, Stanley N.
Izdano: (1998)

An introduction to symbolic logic
od: Langer, Susanne Katherina
Izdano: (1953)

Logic
Izdano: (1980)

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

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

Transition to higher mathematics :
od: Dumas , Bob A.
Izdano: (2007)

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

Logic for computer scientists
od: Uwe Schoning
Izdano: (1989)

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

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

Discrete-event system simulation
Izdano: (2001)

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

Discrete mathematics by example
od: Andrew Simpson
Izdano: (2002)

Discrete mathematics
od: Johnsonbaugh, Richard
Izdano: (2005)

Mathematical logic for computer science.
od: Lu Zhungwan
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Nonstandard logics and nonstandard metrics in physics
od: Honig, William M
Izdano: (1995)

Symbolic logic
od: Agler, David W
Izdano: (2013)

Computability and logic
od: Boolos, George
Izdano: (2002)

Lôgích học
od: Phan Trọng Hòa
Izdano: (2003)

Nonstandard logics and nonstandard metrics in physics
od: Honig, William M
Izdano: (1995)

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

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

Paradox and paraconsistency :
od: Woods, John
Izdano: (2003)

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

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