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

Codice QR

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

Hiển thị phiên bản (1) khác

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

Salvato in:

Dettagli Bibliografici
Autore principale:	Đỗ Đức Giáo
Natura:	Libro
Lingua:	Undetermined
Pubblicazione:	Hà Nội KHKT 1998
Soggetti:	logic, symbolic and mathematical
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

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

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

Logic toán
di: S L Edenmar
Pubblicazione: (1981)

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

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

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

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

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

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

An introduction to symbolic logic
di: Langer, Susanne Katherina
Pubblicazione: (1953)

Logic
Pubblicazione: (1980)

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

Logic for computer scientists
di: Uwe Schoning
Pubblicazione: (1989)

Transition to higher mathematics :
di: Dumas , Bob A.
Pubblicazione: (2007)

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

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

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

Discrete-event system simulation
Pubblicazione: (2001)

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

Logic for mathematics and computer sicence
di: Burris, Stanley N.
Pubblicazione: (1998)

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

Discrete mathematics by example
di: Andrew Simpson
Pubblicazione: (2002)

Discrete mathematics
di: Johnsonbaugh, Richard
Pubblicazione: (2005)

Mathematical logic for computer science.
di: Lu Zhungwan
Pubblicazione: (1989)

Mathematical logic for computer science /
di: Lu, Zhongwan.
Pubblicazione: (1989)

Mathematical logic for computer science /
di: Lu, Zhongwan.
Pubblicazione: (1989)

Symbolic logic
di: Agler, David W
Pubblicazione: (2013)

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

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

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

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

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

Computability and logic
di: Boolos, George
Pubblicazione: (2002)

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

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

Propositions, functions, and analysis
di: Hylton, Peter
Pubblicazione: (2008)

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

Collected works
Pubblicazione: (2003)

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

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