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

QR kód

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

Zobrazit další vydání (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

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Đỗ Đức Giáo
Médium:	Kniha
Jazyk:	Undetermined
Vydáno:	Hà Nội KHKT 1998
Témata:	logic, symbolic and mathematical
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

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

How to read and do proofs : an introduction to mathematical thought processes /
Autor: Solow, Daniel.
Vydáno: (1990)

Logic toán
Autor: S L Edenmar
Vydáno: (1981)

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

Các bài toán về suy luận logic
Autor: Trần, Diên Hiển
Vydáno: (2000)

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

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

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

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Autor: Banerjee, Mohua, a další
Vydáno: (2015)

An introduction to symbolic logic
Autor: Langer, Susanne Katherina
Vydáno: (1953)

Logic
Vydáno: (1980)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Autor: Koslow, Arnold, a další
Vydáno: (2015)

Logic for computer scientists
Autor: Uwe Schoning
Vydáno: (1989)

Transition to higher mathematics :
Autor: Dumas , Bob A.
Vydáno: (2007)

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

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

Tập hợp và logic :
Autor: Hoàng, Xuân Sính
Vydáno: (1998)

Discrete-event system simulation
Vydáno: (2001)

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

Logic for mathematics and computer sicence
Autor: Burris, Stanley N.
Vydáno: (1998)

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

Discrete mathematics by example
Autor: Andrew Simpson
Vydáno: (2002)

Discrete mathematics
Autor: Johnsonbaugh, Richard
Vydáno: (2005)

Mathematical logic for computer science.
Autor: Lu Zhungwan
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

Symbolic logic
Autor: Agler, David W
Vydáno: (2013)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Autor: van Atten, Mark
Vydáno: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Autor: Chakraborty, M, a další
Vydáno: (2015)

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

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

Tìm đường trong mê cung
Autor: Nguyễn Xuân Huy
Vydáno: (1997)

Computability and logic
Autor: Boolos, George
Vydáno: (2002)

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

Data engineering: Fuzzy mathematics in systems theory and data analysis
Autor: Olaf Wolkenhauer
Vydáno: (2001)

Propositions, functions, and analysis
Autor: Hylton, Peter
Vydáno: (2008)

Set theory and the continuum hypothesis /
Autor: Cohen, Paul J., 1934-2007.
Vydáno: (1966)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Autor: Baixeries, Jaume, a další
Vydáno: (2015)

Collected works
Vydáno: (2003)

Nonstandard logics and nonstandard metrics in physics /
Autor: Honig, William M.
Vydáno: (1995)