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

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

Полное описание

Сохранить в:

Библиографические подробности
Главный автор:	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
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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)

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)

PHƯƠNG PHÁP GIẢI BÀI TẬP LOOGIC HỌC
по: VƯƠNG TẤT ĐẠT
Опубликовано: (2011)

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, et al.
Опубликовано: (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, et al.
Опубликовано: (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)

Nonstandard logics and nonstandard metrics in physics
по: Honig, William M
Опубликовано: (1995)

Mathematical logic for computer science.
по: Lu Zhungwan
Опубликовано: (1989)

Mathematical logic for computer science /
по: Lu, Zhongwan.
Опубликовано: (1989)

Mathematical logic for computer science /
по: Lu, Zhongwan.
Опубликовано: (1989)

Symbolic logic
по: Agler, David W
Опубликовано: (2013)

Thiết kế biểu trưng =
по: Nguyễn, Duy Lãm
Опубликовано: (2015)

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)

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)