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

क्यूआर कोड

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

अन्य संस्करण दिखाएं (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...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	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
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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)

PHƯƠNG PHÁP GIẢI BÀI TẬP LOOGIC HỌC
द्वारा: VƯƠNG TẤT ĐẠT
प्रकाशित: (2011)

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)

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, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (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)

Mathematical logic for computer science.
द्वारा: Lu Zhungwan
प्रकाशित: (1989)

Mathematical logic for computer science /
द्वारा: Lu, Zhongwan.
प्रकाशित: (1989)

Mathematical logic for computer science /
द्वारा: Lu, Zhongwan.
प्रकाशित: (1989)

Nonstandard logics and nonstandard metrics in physics
द्वारा: Honig, William M
प्रकाशित: (1995)

Symbolic logic
द्वारा: Agler, David W
प्रकाशित: (2013)

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)

Thiết kế biểu trưng =
द्वारा: Nguyễn, Duy Lãm
प्रकाशित: (2015)

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)