• Giáo trình nhập môn Cơ sở dữ liệu: Phần 2

    Giáo trình nhập môn Cơ sở dữ liệu: Phần 2

    Phần 2 cuốn sách cung cấp cho người học các kiến thức: Lập trình kết nối cơ sở dữ liệu, metadata, bảo mật và quản trị (DBA), phân tích thiết kế cơ sở dữ liệu, xây dựng mô hình quan hệ thực thể, ánh xạ mô hình thực thể ER.... Mời các bạn cùng tham khảo.

     92 p husc 26/03/2019 351 3

  • Ebook Trí tuệ nhân tạo - Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức: Phần 1

    Ebook Trí tuệ nhân tạo - Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức: Phần 1

    Phần 1 cuốn sách "Trí tuệ nhân tạo - Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức" cung cấp cho người đọc các kiến thức tổng quan về khoa học trí tuệ nhân tạo, các phương pháp giải quyết vấn đề. Mời các bạn cùng tham khảo.

     163 p husc 26/03/2019 179 2

  • Ebook Trí tuệ nhân tạo - Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức: Phần 2

    Ebook Trí tuệ nhân tạo - Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức: Phần 2

    Phần 2 cuốn sách "Trí tuệ nhân tạo - Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức" cung cấp cho người đọc các kiến thức về biểu diễn tri thức và suy diễn, xử lý ngôn ngữ tự nhiên, các kỹ thuật trí tuệ nhân tạo hiện đại. Mời các bạn cùng tham khảo.

     76 p husc 26/03/2019 272 2

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 1: Giới thiệu về sự biên dịch

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 1: Giới thiệu về sự biên dịch

    Để máy tính có thể hiểu và thực thi một chương trình được viết bằng ngôn ngữ cấp cao, ta cần phải có một trình biên dịch thực hiện việc chuyển đổi chương trình đó sang chương trình ở dạng ngôn ngữ đích. Chương này trình bày một cách tổng quan về cấu trúc của một trình biên dịch và mối liên hệ giữa nó với các thành phần khác - “họ...

     10 p husc 25/02/2019 274 1

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 2: Một trình biên dịch đơn giản

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 2: Một trình biên dịch đơn giản

    Chương này giới thiệu một trình biên dịch cho các biểu thức số học đơn giản (trình biên dịch đơn giản) gồm hai kỳ: Kỳ đầu (Front end) và kỳ sau (Back end). Nội dung.chính của chương tập trung vào kỳ đầu gồm các giai đoạn: Phân tích từ vựng, phân tích cú pháp và sinh mã trung gian với mục đích chuyển một biểu thức số học đơn giản từ dạng...

     37 p husc 25/02/2019 186 1

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 3: Phân tích từ vựng

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 3: Phân tích từ vựng

    Chương này trình bày các kỹ thuật xác định và cài đặt bộ phân tích từ vựng. Kỹ thuật đơn giản để xây dựng một bộ phân tích từ vựng là xây dựng các lược đồ - automata hữu hạn xác định (Deterministic Finite Automata - DFA) hoặc không xác định (Nondeterministic Finite Automata - NFA) – mô tả cấu trúc của các thẻ từ (token) của ngôn ngữ nguồn và sau...

     18 p husc 25/02/2019 260 1

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 4: Phân tích cú pháp

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 4: Phân tích cú pháp

    Chương này giúp sinh viên nắm được: Các phương pháp phân tích cú pháp và các chiến lược phục hồi lỗi, cách tự cài đặt một bộ phân tích cú pháp từ một văn phạm phi ngữ cảnh xác định, cách sử dụng công cụ Yacc để sinh ra bộ phân tích cú pháp. Mời các bạn cùng tham khảo.

     51 p husc 25/02/2019 201 1

  • Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 5: Dịch trực tiếp cú pháp

    Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 5: Dịch trực tiếp cú pháp

    Chương 5 trình bày các cách biểu diễn ngữ nghĩa của một chương trình. Mỗi ký hiệu văn phạm kết hợp với một tập các thuộc tính – các thông tin. Mỗi luật sinh kết hợp với một tập các luật ngữ nghĩa – các quy tắc xác định trị của các thuộc tính. Việc đánh giá các luật ngữ nghĩa được sử dụng để thực hiện một công việc nào đó như...

     20 p husc 25/02/2019 216 1

  • 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 husc 25/02/2019 175 1

  • 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 husc 25/02/2019 169 1

  • 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 husc 25/02/2019 181 1

  • 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 husc 25/02/2019 258 1

Hướng dẫn khai thác thư viện số
getDocumentFilter3 p_strSchoolCode=husc