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

Mã 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

Đã lưu trong:

書目詳細資料
主要作者:	Đỗ Đức Giáo
格式:	圖書
語言:	Undetermined
出版:	Hà Nội KHKT 1998
主題:	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̛

相似書籍

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

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

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)

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)

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

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, et al.
出版: (2015)

Logic for computer scientists
由: Uwe Schoning
出版: (1989)

Transition to higher mathematics :
由: Dumas , Bob A.
出版: (2007)

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)

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

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

Discrete-event system simulation
出版: (2001)

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

Logic for mathematics and computer sicence
由: Burris, Stanley N.
出版: (1998)

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)

Symbolic logic
由: Agler, David W
出版: (2013)

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, et al.
出版: (2015)

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

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

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

Computability and logic
由: Boolos, George
出版: (2002)

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

Data engineering: Fuzzy mathematics in systems theory and data analysis
由: Olaf Wolkenhauer
出版: (2001)

Propositions, functions, and analysis
由: Hylton, Peter
出版: (2008)

Set theory and the continuum hypothesis /
由: Cohen, Paul J., 1934-2007.
出版: (1966)

Collected works
出版: (2003)

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

Nonstandard logics and nonstandard metrics in physics /
由: Honig, William M.
出版: (1995)