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

Codi QR

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

Veure altres versions (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

Guardat en:

Dades bibliogràfiques
Autor principal:	Đỗ Đức Giáo
Format:	Llibre
Idioma:	Undetermined
Publicat:	Hà Nội KHKT 1998
Matèries:	logic, symbolic and mathematical
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

Logic toán
per: S L Edenmar
Publicat: (1981)

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

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

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

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

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

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

An introduction to symbolic logic
per: Langer, Susanne Katherina
Publicat: (1953)

Logic
Publicat: (1980)

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

Logic for computer scientists
per: Uwe Schoning
Publicat: (1989)

Transition to higher mathematics :
per: Dumas , Bob A.
Publicat: (2007)

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

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

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

Discrete-event system simulation
Publicat: (2001)

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

Logic for mathematics and computer sicence
per: Burris, Stanley N.
Publicat: (1998)

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

Discrete mathematics by example
per: Andrew Simpson
Publicat: (2002)

Discrete mathematics
per: Johnsonbaugh, Richard
Publicat: (2005)

Mathematical logic for computer science.
per: Lu Zhungwan
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Symbolic logic
per: Agler, David W
Publicat: (2013)

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

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

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

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

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

Computability and logic
per: Boolos, George
Publicat: (2002)

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

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

Propositions, functions, and analysis
per: Hylton, Peter
Publicat: (2008)

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

Collected works
Publicat: (2003)

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

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