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

QR-Code

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

Weitere Versionen anzeigen (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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Đỗ Đức Giáo
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Hà Nội KHKT 1998
Schlagworte:	logic, symbolic and mathematical
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

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

How to read and do proofs : an introduction to mathematical thought processes /
von: Solow, Daniel.
Veröffentlicht: (1990)

Logic toán
von: S L Edenmar
Veröffentlicht: (1981)

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

Các bài toán về suy luận logic
von: Trần, Diên Hiển
Veröffentlicht: (2000)

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

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

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

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

An introduction to symbolic logic
von: Langer, Susanne Katherina
Veröffentlicht: (1953)

Logic
Veröffentlicht: (1980)

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

Logic for computer scientists
von: Uwe Schoning
Veröffentlicht: (1989)

Transition to higher mathematics :
von: Dumas , Bob A.
Veröffentlicht: (2007)

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

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

Tập hợp và logic :
von: Hoàng, Xuân Sính
Veröffentlicht: (1998)

Discrete-event system simulation
Veröffentlicht: (2001)

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

Logic for mathematics and computer sicence
von: Burris, Stanley N.
Veröffentlicht: (1998)

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

Discrete mathematics by example
von: Andrew Simpson
Veröffentlicht: (2002)

Discrete mathematics
von: Johnsonbaugh, Richard
Veröffentlicht: (2005)

Mathematical logic for computer science.
von: Lu Zhungwan
Veröffentlicht: (1989)

Mathematical logic for computer science /
von: Lu, Zhongwan.
Veröffentlicht: (1989)

Mathematical logic for computer science /
von: Lu, Zhongwan.
Veröffentlicht: (1989)

Symbolic logic
von: Agler, David W
Veröffentlicht: (2013)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
von: van Atten, Mark
Veröffentlicht: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
von: Chakraborty, M, et al.
Veröffentlicht: (2015)

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

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

Tìm đường trong mê cung
von: Nguyễn Xuân Huy
Veröffentlicht: (1997)

Computability and logic
von: Boolos, George
Veröffentlicht: (2002)

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

Data engineering: Fuzzy mathematics in systems theory and data analysis
von: Olaf Wolkenhauer
Veröffentlicht: (2001)

Propositions, functions, and analysis
von: Hylton, Peter
Veröffentlicht: (2008)

Set theory and the continuum hypothesis /
von: Cohen, Paul J., 1934-2007.
Veröffentlicht: (1966)

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

Collected works
Veröffentlicht: (2003)

Nonstandard logics and nonstandard metrics in physics /
von: Honig, William M.
Veröffentlicht: (1995)