Cơ sở toán trong lập trình

QR-kod

Cơ sở toán trong lập trình

Visa andra versioner (1)

Sách cung cấp có hệ thống những khái niệm về kiến thức cơ bản nhất của toán học trong khoa học máy tính, đặc biệt trong lĩnh vực lập trình

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Đỗ Đức Giáo
Materialtyp:	Bok
Språk:	Undetermined
Publicerad:	Hà Nội KHKT 1998
Ämnen:	logic, symbolic and mathematical
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

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

Liknande verk

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

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

Logic toán
av: S L Edenmar
Publicerad: (1981)

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

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

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

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

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

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

An introduction to symbolic logic
av: Langer, Susanne Katherina
Publicerad: (1953)

Logic
Publicerad: (1980)

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

Logic for computer scientists
av: Uwe Schoning
Publicerad: (1989)

Transition to higher mathematics :
av: Dumas , Bob A.
Publicerad: (2007)

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

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

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

Discrete-event system simulation
Publicerad: (2001)

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

Logic for mathematics and computer sicence
av: Burris, Stanley N.
Publicerad: (1998)

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

Discrete mathematics by example
av: Andrew Simpson
Publicerad: (2002)

Discrete mathematics
av: Johnsonbaugh, Richard
Publicerad: (2005)

Mathematical logic for computer science.
av: Lu Zhungwan
Publicerad: (1989)

Mathematical logic for computer science /
av: Lu, Zhongwan.
Publicerad: (1989)

Mathematical logic for computer science /
av: Lu, Zhongwan.
Publicerad: (1989)

Symbolic logic
av: Agler, David W
Publicerad: (2013)

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

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
av: Chakraborty, M, et al.
Publicerad: (2015)

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

Lôgich toán và cơ sở toán học
av: Phan, Đình Diệu
Publicerad: (2003)

Tìm đường trong mê cung
av: Nguyễn Xuân Huy
Publicerad: (1997)

Computability and logic
av: Boolos, George
Publicerad: (2002)

Giáo trình cơ sở logic và lý thuyết tập hợp
av: Lê, Phương Thảo
Publicerad: (2008)

Data engineering: Fuzzy mathematics in systems theory and data analysis
av: Olaf Wolkenhauer
Publicerad: (2001)

Propositions, functions, and analysis
av: Hylton, Peter
Publicerad: (2008)

Set theory and the continuum hypothesis /
av: Cohen, Paul J., 1934-2007.
Publicerad: (1966)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
av: Baixeries, Jaume, et al.
Publicerad: (2015)

Collected works
Publicerad: (2003)

Nonstandard logics and nonstandard metrics in physics /
av: Honig, William M.
Publicerad: (1995)