Delftse Foundations of Computation

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.

Delftse Foundations of Computation

  • Thứ Hai, 11:07 21/07/2025

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

Accuracy Matters: Exploring the Accuracy of Advanced Learner English in Czech Tertiary Education

Accuracy Matters: Exploring the Accuracy of Advanced Learner English in Czech Tertiary Education

Thứ Sáu, 11:35 30/10/2026
The Crystal Ball Instruction Manual, Volume 2: Introduction to Data Science

The Crystal Ball Instruction Manual, Volume 2: Introduction to Data Science

Thứ Sáu, 10:46 30/10/2026
Artificial Intelligence in Military Technology: Sociological, cultural and ethical perspectives

Artificial Intelligence in Military Technology: Sociological, cultural and ethical perspectives

Thứ Sáu, 09:04 30/10/2026
A Digital Europe for Citizens: Data Governance, Data Markets, Data Services

A Digital Europe for Citizens: Data Governance, Data Markets, Data Services

Thứ Sáu, 09:01 30/10/2026
Privacy and Safety in Online Learning

Privacy and Safety in Online Learning

Thứ Sáu, 08:58 30/10/2026
Introduction to Web Accessibility

Introduction to Web Accessibility

Thứ Hai, 11:03 21/07/2025
https://lic.haui.edu.vn/app/longpt/ms.cp/

https://lic.haui.edu.vn/app/longpt/ms.cp/

Thứ Hai, 10:36 21/07/2025
Computer Networks: A Systems Approach

Computer Networks: A Systems Approach

Thứ Hai, 10:25 21/07/2025
Media and Digital Management

Media and Digital Management

Thứ Hai, 10:18 21/07/2025
Managing Media and Digital Organizations

Managing Media and Digital Organizations

Thứ Hai, 10:14 21/07/2025