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

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

Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page

Thứ Hai, 08:38 22/01/2024
5 khóa học miễn phí về thiết kế đồ họa

5 khóa học miễn phí về thiết kế đồ họa

Thứ Tư, 09:33 13/12/2023

Các bài đã đăng

Topological Obstructions to Stability and Stabilization: History, Recent Advances and Open Problems

Topological Obstructions to Stability and Stabilization: History, Recent Advances and Open Problems

Thứ Tư, 08:32 22/10/2025
Remote Sensing Data Compression

Remote Sensing Data Compression

Thứ Tư, 08:29 22/10/2025
Iota Reliability Concept of the Second Generation: Measures for Content Analysis Done by Humans or Artificial Intelligences

Iota Reliability Concept of the Second Generation: Measures for Content Analysis Done by Humans or Artificial Intelligences

Thứ Tư, 08:26 22/10/2025
Cotton

Cotton

Thứ Ba, 18:30 21/10/2025
Titanium Dioxide: Advances and Applications

Titanium Dioxide: Advances and Applications

Thứ Ba, 18:24 21/10/2025
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