Delftse Foundations of Computation

Loại tài liệu: Tài liệu số - Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin

Tác giả: Stefan Hugtenburg, Neil Yorke-Smith

Nhà xuất bản: TU Delft

Năm xuất bản: 2018

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt nội dung

Cuốn sách giáo khoa này dành cho khóa học giới thiệu 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, 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ế cho khoa học máy tính.

Abstract:

This textbook is for an introductory course in theoretical computer science. It covers topics from propositional and predicate logic, proof techniques, set theory and theory of computation, along with practical applications to computer science.

Ngôn ngữ:En
Tác giả:Stefan Hugtenburg, Neil Yorke-Smith
Thông tin nhan đề:Delftse Foundations of Computation
Nhà xuất bản:TU Delft
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/licenses/by-nc-sa/4.0/
Nguồn gốc:https://collection.bccampus.ca/textbooks/delftse-foundations-of-computation-tu-delft-97/
Mô tả vật lý:188p.
Năm xuất bản:2018

Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)

Danh mục
Tài nguyên khác