Bước đầu làm quen với logic toán

Κώδικας QR

Bước đầu làm quen với logic toán

Εμφάνιση άλλων εκδόσεων (3)

Sách giới thiệu một số phương pháp suy luận của quá trình tư duy đúng thông qua một số bài toán logic và phương pháp giải chúng; đồng thời giới thiệu một vài khái niệm ban đầu của đại số logic để sử dụng một số ký hiệu hình thức tron...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Nguyễn Mạnh Trinh
Μορφή:	Βιβλίο
Γλώσσα:	Undetermined
Έκδοση:	Hà Nội Giáo dục 1999
Θέματα:	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̛

Παρόμοια τεκμήρια

Bước đầu làm quen với logic toán
ανά: Nguyễn Mạnh Trinh
Έκδοση: (1997)

Logic toán
ανά: S L Edenmar
Έκδοση: (1981)

Logic
Έκδοση: (1980)

Các bài toán về suy luận logic
ανά: Trần, Diên Hiển
Έκδοση: (2000)

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)

An introduction to symbolic logic
ανά: Langer, Susanne Katherina
Έκδοση: (1953)

Logic for computer scientists
ανά: Uwe Schoning
Έκδοση: (1989)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
ανά: Banerjee, Mohua, κ.ά.
Έκδοση: (2015)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
ανά: Koslow, Arnold, κ.ά.
Έκδοση: (2015)

Tập hợp và logic :
ανά: Hoàng, Xuân Sính
Έκδοση: (1998)

Logic for mathematics and computer sicence
ανά: Burris, Stanley N.
Έκδοση: (1998)

Symbolic logic
ανά: Agler, David W
Έκδοση: (2013)

Bước đầu làm quen với logic toán
ανά: Nguyễn, Mạnh Trinh
Έκδοση: (1999)

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)

How to read and do proofs : an introduction to mathematical thought processes /
ανά: Solow, Daniel.
Έκδοση: (1990)

Mathematical logic for computer science.
ανά: Lu Zhungwan
Έκδοση: (1989)

Mathematical logic for computer science /
ανά: Lu, Zhongwan.
Έκδοση: (1989)

Mathematical logic for computer science /
ανά: Lu, Zhongwan.
Έκδοση: (1989)

Một số vấn đề về thuật toán
ανά: Nguyễn, Hữu Điển
Έκδοση: (2006)

Cơ sở toán trong lập trình
ανά: Đỗ Đức Giáo
Έκδοση: (1998)

Nhập môn lý thuyết tập hợp và logic
ανά: Phan Hữu Chân
Έκδοση: (1977)

Cơ sở lí thuyết tập hợp và lôgic toán :
ανά: Trần, Diên Hiển
Έκδοση: (2007)

Computability and logic
ανά: Boolos, George
Έκδοση: (2002)

Transition to higher mathematics :
ανά: Dumas , Bob A.
Έκδοση: (2007)

Bước đầu làm quen với logic toán /
ανά: Nguyễn Mạnh Trinh.
Έκδοση: (2003)

Bài giảng cơ sở logic và tập hợp
ανά: Lê, Văn Sáng
Έκδοση: (2000)

Nonstandard logics and nonstandard metrics in physics /
ανά: Honig, William M.
Έκδοση: (1995)

Nonstandard logics and nonstandard metrics in physics /
ανά: Honig, William M.
Έκδοση: (1995)

Logically determined design :
ανά: Fant, Karl M.
Έκδοση: (2005)

Discrete-event system simulation
Έκδοση: (2001)

Toán rời rạc ứng dụng trong tin học =
ανά: Rosen, Kenneth H.
Έκδοση: (2002)

Analysis and logic
Έκδοση: (2002)

Discrete mathematics by example
ανά: Andrew Simpson
Έκδοση: (2002)

Discrete mathematics
ανά: Johnsonbaugh, Richard
Έκδοση: (2005)

Giáo trình cơ sở logic và lý thuyết tập hợp
ανά: Lê, Phương Thảo
Έκδοση: (2008)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
ανά: van Atten, Mark
Έκδοση: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
ανά: Chakraborty, M, κ.ά.
Έκδοση: (2015)

Logic and language models for computer science
ανά: Henry Hamburger
Έκδοση: (2002)

Tìm đường trong mê cung
ανά: Nguyễn Xuân Huy
Έκδοση: (1997)