DELFTSE FOUNDATIONS OF COMPUTATION là một giáo trình cho khóa học nhập môn một phần tư về khoa học máy tính lý thuyết. Nó bao gồm các chủ đề từ logic mệnh đề và logic vị từ, kỹ thuật chứng minh, cấu trúc rời rạc, lý thuyết tập hợp và lý thuyết tính toán, cùng với các ứng dụng thực tế vào khoa học máy tính. Nó không có điều kiện tiên quyết nào khác ngoài sự quen thuộc chung với lập trình máy tính.

Abstract:

DELFTSE FOUNDATIONS OF COMPUTATION is a textbook for a one-quarter introductory course in theoretical computer science. It includes top-ics from propositional and predicate logic, proof techniques, discrete structures, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.

Ngôn ngữ:	eng
Tác giả:	Stefan Hugtenburg, Neil Yorke-Smith
Thông tin nhan đề:	Delftse Foundations of Computation - 2nd Edition
Nhà xuất bản:	TU Delft Open
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	https://creativecommons.org/share-your-work/use-remix/cc-licenses/#by-nc-sa
Nguồn gốc:	https://open.umn.edu/opentextbooks/textbooks/delftse-foundations-of-computation
Mô tả vật lý:	229tr
Năm xuất bản:	2022