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

Weitere Versionen anzeigen (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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Phan, Đình Diệu
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Hà Nội Viện Toán học 2003
Schlagworte:	Loogic, biểu tượng và toán học,Logic, Symbolic and mathematical
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

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

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

Logic toán
von: S L Edenmar
Veröffentlicht: (1981)

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

Các bài toán về suy luận logic
von: Trần, Diên Hiển
Veröffentlicht: (2000)

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

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

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

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

How to read and do proofs : an introduction to mathematical thought processes /
von: Solow, Daniel.
Veröffentlicht: (1990)

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

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

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

Logic for mathematics and computer sicence
von: Burris, Stanley N.
Veröffentlicht: (1998)

An introduction to symbolic logic
von: Langer, Susanne Katherina
Veröffentlicht: (1953)

Logic
Veröffentlicht: (1980)

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

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

Transition to higher mathematics :
von: Dumas , Bob A.
Veröffentlicht: (2007)

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

Logic for computer scientists
von: Uwe Schoning
Veröffentlicht: (1989)

Tập hợp và logic :
von: Hoàng, Xuân Sính
Veröffentlicht: (1998)

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

Discrete-event system simulation
Veröffentlicht: (2001)

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

Discrete mathematics by example
von: Andrew Simpson
Veröffentlicht: (2002)

Discrete mathematics
von: Johnsonbaugh, Richard
Veröffentlicht: (2005)

Nonstandard logics and nonstandard metrics in physics
von: Honig, William M
Veröffentlicht: (1995)

Mathematical logic for computer science.
von: Lu Zhungwan
Veröffentlicht: (1989)

Mathematical logic for computer science /
von: Lu, Zhongwan.
Veröffentlicht: (1989)

Mathematical logic for computer science /
von: Lu, Zhongwan.
Veröffentlicht: (1989)

Symbolic logic
von: Agler, David W
Veröffentlicht: (2013)

Thiết kế biểu trưng =
von: Nguyễn, Duy Lãm
Veröffentlicht: (2015)

Computability and logic
von: Boolos, George
Veröffentlicht: (2002)

Lôgích học
von: Phan Trọng Hòa
Veröffentlicht: (2003)

Nonstandard logics and nonstandard metrics in physics
von: Honig, William M
Veröffentlicht: (1995)

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

Paradox and paraconsistency :
von: Woods, John
Veröffentlicht: (2003)

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

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
von: van Atten, Mark
Veröffentlicht: (2015)