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

QR kȏd

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

Pokaži ostale verzije (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

Spremljeno u:

Bibliografski detalji
Glavni autor:	Đỗ Đức Giáo
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Hà Nội KHKT 1998
Teme:	logic, symbolic and mathematical
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

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

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

Logic toán
od: S L Edenmar
Izdano: (1981)

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

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

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

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

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

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
od: Banerjee, Mohua, i dr.
Izdano: (2015)

An introduction to symbolic logic
od: Langer, Susanne Katherina
Izdano: (1953)

Logic
Izdano: (1980)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
od: Koslow, Arnold, i dr.
Izdano: (2015)

Logic for computer scientists
od: Uwe Schoning
Izdano: (1989)

Transition to higher mathematics :
od: Dumas , Bob A.
Izdano: (2007)

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

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

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

Discrete-event system simulation
Izdano: (2001)

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

Logic for mathematics and computer sicence
od: Burris, Stanley N.
Izdano: (1998)

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

Discrete mathematics by example
od: Andrew Simpson
Izdano: (2002)

Discrete mathematics
od: Johnsonbaugh, Richard
Izdano: (2005)

Mathematical logic for computer science.
od: Lu Zhungwan
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Symbolic logic
od: Agler, David W
Izdano: (2013)

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

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
od: Chakraborty, M, i dr.
Izdano: (2015)

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

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

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

Computability and logic
od: Boolos, George
Izdano: (2002)

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

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

Propositions, functions, and analysis
od: Hylton, Peter
Izdano: (2008)

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

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
od: Baixeries, Jaume, i dr.
Izdano: (2015)

Collected works
Izdano: (2003)

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