Delftse Foundations of Computation - 2nd Edition

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.

Delftse Foundations of Computation - 2nd Edition

  • Thứ Hai, 14:09 02/03/2026

Tin tiêu điểm

Tân sinh viên quốc tế tham quan, trải nghiệm và tìm hiểu cách khai thác tài nguyên thông tin Thư viện

Tân sinh viên quốc tế tham quan, trải nghiệm và tìm hiểu cách khai thác tài nguyên thông tin Thư viện

Thứ Hai, 13:11 07/09/2026
Trao tặng những món quà ý nghĩa tới học sinh có hoàn cảnh khó khăn tại Trường TH&THCS Bắc Phong trước thềm năm học mới

Trao tặng những món quà ý nghĩa tới học sinh có hoàn cảnh khó khăn tại Trường TH&THCS Bắc Phong trước thềm năm học mới

Thứ Năm, 07:53 03/09/2026
Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024

Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024

Thứ Ba, 14:33 17/09/2024

PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện

Thứ Sáu, 07:37 24/05/2024
Hướng dẫn khai thác Bộ sưu tập tài nguyên giáo dục mở (OER)

Hướng dẫn khai thác Bộ sưu tập tài nguyên giáo dục mở (OER)

Thứ Bảy, 15:58 04/05/2024

Các bài đã đăng

Culinary Medicine: 2025 Edition

Culinary Medicine: 2025 Edition

Thứ Năm, 14:02 12/11/2026
Fundamentals of Business: British Columbia Edition 2024

Fundamentals of Business: British Columbia Edition 2024

Thứ Năm, 13:59 12/11/2026
Assessment of Treatment Plant Performance and Water Quality Data: A Guide for Students, Researchers and Practitioners

Assessment of Treatment Plant Performance and Water Quality Data: A Guide for Students, Researchers and Practitioners

Thứ Năm, 13:55 12/11/2026
Fair Fashion? Interdisciplinary Perspectives in the Context of Social, Ecological, Economic and Cultural Sustainability

Fair Fashion? Interdisciplinary Perspectives in the Context of Social, Ecological, Economic and Cultural Sustainability

Thứ Năm, 13:51 12/11/2026
Co-design and Sustainable Food in Vietnam

Co-design and Sustainable Food in Vietnam

Thứ Năm, 13:36 12/11/2026
Artificial Intelligence and Librarianship - 3rd Edition

Artificial Intelligence and Librarianship - 3rd Edition

Thứ Hai, 14:06 02/03/2026
Modern Blueprint for College and Career Success - 2nd Edition

Modern Blueprint for College and Career Success - 2nd Edition

Thứ Hai, 14:03 02/03/2026
Self-directed multimodal learning in higher education

Self-directed multimodal learning in higher education

Thứ Hai, 14:00 02/03/2026
Critical Thinking in Academic Research - Second Edition

Critical Thinking in Academic Research - Second Edition

Thứ Hai, 13:57 02/03/2026
Chemistry 2e (OpenStax)

Chemistry 2e (OpenStax)

Thứ Hai, 13:53 02/03/2026