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

Codi QR

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

Veure altres versions (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...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Phan, Đình Diệu
Format:	Llibre
Idioma:	Undetermined
Publicat:	Hà Nội Viện Toán học 2003
Matèries:	Loogic, biểu tượng và toán học,Logic, Symbolic and mathematical
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

Logic toán
per: S L Edenmar
Publicat: (1981)

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

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

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

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

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

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

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

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

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

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

Logic for mathematics and computer sicence
per: Burris, Stanley N.
Publicat: (1998)

An introduction to symbolic logic
per: Langer, Susanne Katherina
Publicat: (1953)

Logic
Publicat: (1980)

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

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

Transition to higher mathematics :
per: Dumas , Bob A.
Publicat: (2007)

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

Logic for computer scientists
per: Uwe Schoning
Publicat: (1989)

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

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

Discrete-event system simulation
Publicat: (2001)

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

Discrete mathematics by example
per: Andrew Simpson
Publicat: (2002)

Discrete mathematics
per: Johnsonbaugh, Richard
Publicat: (2005)

Mathematical logic for computer science.
per: Lu Zhungwan
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Nonstandard logics and nonstandard metrics in physics
per: Honig, William M
Publicat: (1995)

Symbolic logic
per: Agler, David W
Publicat: (2013)

Computability and logic
per: Boolos, George
Publicat: (2002)

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

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

Nonstandard logics and nonstandard metrics in physics
per: Honig, William M
Publicat: (1995)

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

Paradox and paraconsistency :
per: Woods, John
Publicat: (2003)

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

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