• Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 6: Kiểm tra kiểu

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 6: Kiểm tra kiểu

    Hai cách kiểm tra kiểu là kiểm tra tĩnh được thực hiện trong thời gian biên dịch chương trình nguồn và kiểm tra động được thực hiện trong thời gian thực thi chương trình đích. Trong chương này ta tập trung vào phần xử lý ngữ nghĩa bằng cách kiểm tra tĩnh mà cụ thể là kiểm tra kiểu. Phần đầu của chương trình bày các khái niệm về hệ thống kiểu,...

     7 p vimaru 20/11/2018 5 0

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 7: Môi trường thời gian thực hiện

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 7: Môi trường thời gian thực hiện

    Trước khi xem xét vấn đề sinh mã được trình bày ở các chương sau, chương này trình bày một số vấn đề liên quan đến việc gọi thực hiện chương trình con, các chiến lược cấp phát bộ nhớ và quản lý bảng ký hiệu. Cùng một tên trong chương trình nguồn có thể biểu thị cho nhiều đối tượng dữ liệu trong chương trình đích. Sự biểu diễn của...

     26 p vimaru 20/11/2018 6 0

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 8: Sinh mã trung gian

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 8: Sinh mã trung gian

    Chương này giới thiệu các dạng biểu diễn trung gian đặc biệt là dạng mã ba địa chỉ. Phần lớn nội dung của chương tập trung vào trình bày cách tạo ra một bộ sinh mã trung gian đơn giản dạng mã 3 đại chỉ. Bộ sinh mã này dùng phương thức trực tiếp cú pháp để dịch các khai báo, câu lệnh gán, các lệnh điều khiển sang mã ba địa chỉ.

     18 p vimaru 20/11/2018 6 0

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 9: Sinh mã đích

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 9: Sinh mã đích

    Giai đoạn cuối của quá trình biên dịch là sinh mã đích. Dữ liệu nhập của bộ sinh mã đích là biểu diễn trung gian của chương trình nguồn và dữ liệu xuất của nó là một chương trình đích. Kỹ thuật sinh mã đích được trình bày trong chương này không phụ thuộc vào việc dùng hay không dùng giai đoạn tối ưu mã trung gian.

     20 p vimaru 20/11/2018 7 0

  • Bài giảng Hệ điều hành: Chương 1 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 1 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 1 giới thiệu chung về hệ điều hành. Thông qua chương này người học có thể hiểu được: Khái niệm về hệ điều hành, các hệ thống máy tính, cấu trúc hệ điều hành. Mời các bạn cùng tham khảo.

     23 p vimaru 20/11/2018 5 0

  • Bài giảng Hệ điều hành: Chương 2 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 2 - Đặng Minh Quân

    Chương 2 trình bày những nội dung cơ bản về quản lý tiến trình trong hệ điều hành như: Giới thiệu tổng quan về tiến trình và luồng, điều phối tiến trình và luồng, cơ chế thông tin liên lạc giữa các tiến trình, đồng bộ hoá tiến trình.

     83 p vimaru 20/11/2018 4 0

  • Bài giảng Hệ điều hành: Chương 3 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 3 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 3 gồm có những nội dung chính sau: Giới thiệu tổng quan về quản lý bộ nhớ, cấp phát bộ nhớ liên tục, cấp phát bộ nhớ không liên tục, bộ nhớ ảo. Mời các bạn cùng tham khảo.

     45 p vimaru 20/11/2018 6 0

  • Bài giảng Hệ điều hành: Chương 4 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 4 - Đặng Minh Quân

    Chương 4 trình bày về quản lý tập tin. Những nội dung chính trong chương gồm có: Khái niệm về tập tin, cấu trúc thư mục, cài đặt hệ thống tập tin, truy cập hệ thống tập tin. Mời các bạn cùng tham khảo.

     35 p vimaru 20/11/2018 2 0

  • Bài giảng Hệ điều hành: Chương 5 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 5 - Đặng Minh Quân

    Bài giảng Hệ điều hành - Chương 5 trình bày những nội dung cơ bản về quản lý nhập xuất như: Khái niệm cơ bản, mô hình tổ chức phần cứng nhập/xuất, cài đặt hệ thống quản lý và truy xuất nhập/ xuất.

     25 p vimaru 20/11/2018 4 0

  • Bài giảng Hệ điều hành: Chương 6 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 6 - Đặng Minh Quân

    Chương 6 trình bày những kiến thức cơ bản về cấu trúc lưu trữ đĩa. Nội dung trình bày gồm có: Cấu trúc đĩa, điều phối đĩa, quản lý đĩa, SWAP, RAID. Mời các bạn cùng tham khảo.

     41 p vimaru 20/11/2018 4 0

  • Bài giảng Hệ điều hành: Chương 7 - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 7 - Đặng Minh Quân

    Bài giảng Hệ điều hành - Chương 7 trang bị cho người học kiến thức cơ bản về "Bảo vệ và An toàn hệ thống". Nội dung trình bày cụ thể gồm có: Mục tiêu của việc bảo vệ, miền bảo vệ, ma trận quyền truy xuất, cài đặt ma trận quyền truy xuất, an toàn hệ thống.

     41 p vimaru 20/11/2018 4 0

  • Bài giảng Hệ điều hành: Chương 8 (phần 1) - Đặng Minh Quân

    Bài giảng Hệ điều hành: Chương 8 (phần 1) - Đặng Minh Quân

    Chương này trình bày một số nội dung cơ bản sau: Basic concept, I/O model, I/O-System implementation, access I/O-System, hệ điều hành hướng mạng, hệ điều hành phân tán, các dịch vụ từ xa, hệ thống file phân tán, khôi phục từ lỗi,... Mời các bạn cùng tham khảo.

     33 p vimaru 20/11/2018 3 0

Hướng dẫn khai thác thư viện số