Đặc tả ngôn ngữ lập trình
-
Phần 2 của cuốn sách "Ngôn ngữ lập trình C++ dành cho sinh viên (Lý thuyết)" cung cấp cho bạn đọc những nội dung gồm: Chương 8 - Đệ quy; Chương 9 - Mảng, Chương 10 - Ứng dụng Multi-file; Phụ lục A - Các quy tắc ưu tiên; Phụ lục B - Các Hàm toán học trong math.h; Phụ lục C - Các thư viện hữu ích;... Mời các bạn cùng tham khảo!
276p khuynhlinhnguyet1009 05-04-2024 6 5 Download
-
Bài giảng "Xây dựng chương trình dịch: Bài 10 - Phân tích ngữ nghĩa" cung cấp cho người học các kiến thức: những vấn đề ngữ nghĩa: luật về phạm vi ảnh hưởng của biến, các sơ đồ dịch để xây dựng bảng ký hiệu; kiểm tra kiểu (type checking): hệ thống kiểu trong ngôn ngữ lập trình, đặc tả một bộ kiểm tra kiểu, chuyển đổi kiểu;... Mời các bạn cùng tham khảo nội dung chi tiết.
52p kimphuong1128 20-09-2023 12 4 Download
-
Bài giảng Kỹ thuật lập trình: Ngôn ngữ lập trình C# phần 3: Nhập xuất cơ bản và các hàm thông dụng có sẵn, được biên soạn gồm các nội dung chính sau: Hàm nhập xuất; Các hàm thông dụng. Mời các bạn cùng tham khảo!
20p chankora09 29-06-2023 9 4 Download
-
Mục tiêu của bài giảng "Kiến trúc máy tính" nhằm liệt kê được các thành phần cơ bản của bộ vi xử lí, mô tả được kiến trúc RISC và kĩ thuật đường ống, phân biệt được các đặc trưng cơ bản của các họ vi xử lí thông dụng: intel 80x86, pentium,... Bài giảng trình bày 3 nội dung: kiến trúc vi xử lí trung tâm Intel 80x86, bộ vi xử lí Intel 80386, bộ vi xử lí 80486 và Pentium.
46p thanhthanh191 20-06-2022 64 5 Download
-
Giáo trình Trí tuệ nhân tạo - Phần 2: Biểu diễn tri thức và lập luận, Phần này đề cập đến các ngôn ngữ biểu diễn tri thức, đặc biệt là các logic và các phương pháp luận trong mỗi ngôn ngữ biểu diễn tri thức. Các kỹ thuật biểu diễn tri thức và lập luận đóng vai trò quan trọng trong việc thiết kế các hệ thông minh. Mời các bạn cùng tham khảo!
286p hoaanhdao709 19-01-2022 78 17 Download
-
Tài liệu môn Công nghệ phần mềm cung cấp cho người học những kiến thức như: Phần mềm và công nghệ phần mềm; Phân tích và đặc tả yêu cầu; Thiết kế phần mềm; Lập trình; Xác minh và thẩm định; Sưu liệu phần mềm; Quản lý dự án phần mềm;...Mời các bạn cùng tham khảo!
136p ganuongmuoimatong 10-08-2021 83 11 Download
-
Đề tài này chọn phương pháp lập trình với ngôn ngữ python để mô hình hóa mẫu dữ liệu mẫu ngẫu nhiên. Việc mô tả dữ liệu bằng phương pháp này có vai trò quan trọng, nó giúp cho chúng ta phân tích được những đặc tính của dữ liệu, mối quan hệ giữa các mẫu khác nhau. Từ đó đưa ra được kết quả chính xác cho mẫu dữ liệu. Mời các bạn cùng tham khảo!
6p maoamin 30-06-2021 49 8 Download
-
Bài giảng đã giải thích các đặc tính của phương pháp hướng đối tượng, mô tả các pha của phương pháp hướng đối, định nghĩa lớp trong C thăng, khai báo biến, viết và chạy chương trình C thăng. Mời các bạn cùng tham khảo nội dung chi tiết.
44p abcxyz123_08 12-04-2020 34 4 Download
-
Chương 7 - Lập trình ứng dụng cho giao thức UDP. Chương này giới thiệu giao thức UDP và các đặc trưng của giao thức này. Tiếp đến ta đi vào tìm hiểu các lớp DatagramPacket và DatagramSocket để viết các chương trình ứng dụng mạng cho giao thức UDP.
20p kexauxi4 01-10-2019 51 4 Download
-
Chương này trình bày các khái niệm căn bản về ngôn ngữ lập trình Java. Giới thiệu lịch sử phát triển và cấu trúc của máy ảo Java. Những đặc trưng đã tạo nên sức mạnh của ngôn ngữ Java cũng được giới thiệu trong chương này. Cũng trong chương này chúng ta sẽ đi vào tìm hiểu cách cấu hình và cài đặt môi trường biên dịch, chạy và soạn thảo ngôn ngữ Java. Tiếp đến ta sẽ đi vào tìm hiểu các thành phần cơ bản của Java như kiểu dữ liệu, cấu trúc lệnh tuần tự rẽ nhánh, lặp, và nhảy.
43p kexauxi4 01-10-2019 52 3 Download
-
Luận án trình bày tổng quan nghiên cứu về lập luận, luật tục và luật tục Êđê; về mối quan hệ giữa ngôn ngữ và văn hoá...; Xác định và miêu tả cấu trúc lập luận trong luật tục Êđê; Lí giải đặc trưng văn hoá của người Êđê được phản ánh qua lập luận trong luật tục.
165p quenchua 30-09-2019 73 12 Download
-
Cấu trúc của mô hình được đề xuất chủ yếu căn cứ vào đặc điểm, nhu cầu sử dụng của phụ tải và ảnh hưởng lớn đến độ tin cậy và hiệu quả vận hành EH. Để minh chứng cho vấn đề này, bài báo tiến hành tính toán vận hành tối ưu EH với nhiều cấu trúc khác nhau (thông qua 12 kịch bản vận hành) với dữ liệu phụ tải giả thiết áp dụng tính toán cho một khu đô thị mới tại Việt Nam.
8p viboruto2711 15-05-2019 41 2 Download
-
Trong luận văn này tác giả đã tập trung tìm hiểu về bộ công cụ kiểm chứng Uppaal, đi sâu vào tìm hiểu ngôn ngữ đặc tả của Uppaal, tìm hiểu cách đặc tả một hệ thống phần mềm dưới dạng các ô-tô-mát thời gian và điều khiển sự vận hành của hệ thống thông qua ngôn ngữ lập trình C++, cũng như tìm hiểu cơ chế kiểm chứng của bộ công cụ này cho các hệ thống thời gian thực.
63p hanh_tv26 04-04-2019 48 6 Download
-
Bài giảng "Xây dựng chương trình dịch - Bài 10: Phân tích ngữ nghĩa" trình bày các nội dung: Những vấn đề ngữ nghĩa, kiểm tra kiểu (hệ thống kiểu trong ngôn ngữ lập trình, đặc tả một bộ kiểm tra kiểu, chuyển đổi kiểu), bảng ký hiệu (luật về phạm vi ảnh hưởng của biến, các sơ đồ dịch để xây dựng bảng ký hiệu). Mời các bạn cùng tham khảo nội dung chi tiết.
9p tieu_vu16 03-01-2019 58 3 Download
-
Bài giảng chương 1 trình bày những nội dung cơ bản như: Ngôn ngữ lập trình, trình biên dịch, các mối liên quan với trình biên dịch, nhóm các giai đoạn của trình biên dịch. Mời các bạn cùng tham khảo.
19p dien_vi01 04-10-2018 70 3 Download
-
Bài giảng chương 2 trình bày những nội dung cơ bản như: Định nghĩa cú pháp, sự biên dịch trực tiếp cú pháp (syntax-directed translation), phân tích cú pháp, trình biên dịch cho biểu thức đơn giản, sự phân tích từ vựng, sự hình thành bảng danh biểu, máy trừu tượng kiểu chồng,... Mời các bạn cùng tham khảo.
42p dien_vi01 04-10-2018 49 3 Download
-
Bài giảng chương 3 trình bày những nội dung cơ bản như: Vai trò cuả bộ phân tích từ vựng, các tính chất của token, chứa tạm chương trình nguồn, đặc tả token, nhận dạng token, sơ đồ dịch,... Mời các bạn cùng tham khảo để biết thêm chi tiết.
33p dien_vi01 04-10-2018 75 2 Download
-
Bài giảng chương 4 trình bày những nội dung cơ bản như: Vai trò của bộ phân tích cú pháp, xây dựng văn phạm cho ngôn ngữ lập trình, phân tích cú pháp từ trên xuống, phân tích cú pháp từ dưới lên,... Mời các bạn cùng tham khảo để biết thêm chi tiết.
46p dien_vi01 04-10-2018 55 3 Download
-
Bài giảng chương 5 trình bày những nội dung cơ bản như: Định nghĩa trực tiếp cú pháp, cấu trúc của cây phân tích, định nghĩa thuộc tính l, biên dịch từ trên xuống, đánh giá thuộc tính kế thừa từ dưới lên, đánh giá thuộc tính kế thừa từ dưới lên,... Mời các bạn cùng tham khảo.
42p dien_vi01 04-10-2018 52 3 Download
-
Xử lý ngữ nghĩa có hai cách: kiểm tra tĩnh (static check) và kiểm tra động (dynamic check). Trong chương này chúng ta chỉ bàn đến kiểm tra ngữ nghĩa tĩnh. Xử lý ngữ nghĩa tĩnh bao gồm: Truyền thuộc tính, kiểm tra kiểu, kiểm tra trình tự điều khiển, kiểm tra tính duy nhất, kiểm tra mối liên hệ của tên, xử lý các phát biểu goto tham khảo trước.
19p dien_vi01 04-10-2018 36 3 Download