» Từ khóa: logic lap trinh

Trong tiến trình phát triển Web ngữ nghĩa, việc tích hợp các lớp khác nhau trong kiến trúc của nó đóng vai trò cốt lõi. Bài viết này đưa ra một cái nhìn khá toàn diện về tổng quan và có sự so sánh, đánh giá các giải pháp như vậy trong việc kết hợp các quy tắc và ontology trong kiến trúc Web ngữ nghĩa.

 12 p actvn 31/10/2024 7 0 Download

Từ khóa: Lập trình logic, Logic mô tả, Web ngữ nghĩa, Kiến trúc Web ngữ nghĩa, Tiến trình phát triển Web ngữ nghĩa

Bài giảng Kỹ thuật logic khả trình PLC: Phần 1 có nội dung trình bày giới thiệu về PLC; cấu tạo và hoạt động của PLC; các thiết bị ngoại vi; bộ lập trình chuyên dụng PG (Programmer); phân loại PLC; các họ PLC; PLC của hãng Siemens; PLC của hãng Omron; PLC của hãng Mitsubishi;... Mời các bạn cùng tham khảo!

 51 p actvn 29/09/2024 12 0 Download

Từ khóa: Bài giảng Kỹ thuật logic khả trình PLC, Kỹ thuật logic khả trình PLC, Cấu tạo PLC, Hoạt động của PLC, Bộ lập trình chuyên dụng PG, PLC của hãng Siemens

Nối tiếp phần 1, Bài giảng Kỹ thuật logic khả trình PLC: Phần 2 tiếp tục trình bày những nội dung về bộ định thời và bộ đếm; ngôn ngữ lập trình cho PLC; tập lệnh của S7-300; lệnh logic tiếp điểm trên thanh ghi trạng thái; ngôn ngữ Ladder (LAD); ứng dụng trong điện tử viễn thông; ứng dụng trong điều khiển;... Mời các bạn cùng tham khảo!

 75 p actvn 29/09/2024 13 0 Download

Từ khóa: Bài giảng Kỹ thuật logic khả trình PLC, Kỹ thuật logic khả trình PLC, Bộ định thời, Ngôn ngữ lập trình cho PLC, Tập lệnh của S7-300, Ngôn ngữ Ladder

Bài giảng Lập trình nâng cao - Chương 3: Game Hangman (Phát triển chương trình). Chương này cung cấp cho sinh viên những nội dung gồm: trò chơi Hangman; sơ đồ khối, mã giả và tư tưởng chia để trị; thao tác với xâu ký tự trong C++; bắt đầu với hàm đơn giản, dần dần biến đổi và luôn có chương trình chạy được;... Mời các bạn cùng tham khảo chi tiết...

 38 p actvn 24/06/2024 18 0 Download

Từ khóa: Bài giảng Lập trình nâng cao, Lập trình nâng cao, Game Hangman, Phát triển chương trình, Tư tưởng chia để trị, Xâu ký tự, Xử lý logic trò chơi, Lập trình trò chơi Hangman

Bài giảng Lập trình nâng cao - Chương 9+10: Snake game (Danh sách liên kết). Chương này cung cấp cho sinh viên những nội dung gồm: trò chơi Snake; sân chơi mảng 2 chiều; phân tích trạng thái trò chơi; danh sách liên kết có đuôi; bắt phím di chuyển rắn; xử lý va chạm;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 56 p actvn 24/06/2024 18 0 Download

Từ khóa: Bài giảng Lập trình nâng cao, Lập trình nâng cao, Snake game, Danh sách liên kết, Viết hàm vẽ sân chơi, Biểu diễn con rắn, Xử lý logic game

Phần 1 của cuốn sách "Lập trình lôgic trong Prolog" cung cấp cho bạn đọc những nội dung gồm: Chương 1 - Mở đầu về ngôn ngữ Prolog; Chương 2 - Ngữ nghĩa của chương trình Prolog; Chương 3 - Các phép toán và số học; Chương 4 - Cấu trúc danh sách;... Mời các bạn cùng tham khảo!

 140 p actvn 27/05/2024 109 0 Download

Từ khóa: Lập trình lôgic trong Prolog, Lập trình logic, Phan Huy Khánh, Ngôn ngữ Prolog, Chương trình Prolog, Ngữ nghĩa chương trình Prolog, Cấu trúc danh sách

Phần 2 của cuốn sách "Lập trình lôgic trong Prolog" cung cấp cho bạn đọc những nội dung gồm: Chương 5 - Kỹ thuật lập trình Prolog; Phụ lục A - Một số chương trình Prolog; Phụ lục B - Hướng dẫn sử dụng SWI-Prolog;... Mời các bạn cùng tham khảo!

 86 p actvn 27/05/2024 108 0 Download

Từ khóa: Lập trình lôgic trong Prolog, Lập trình logic, Phan Huy Khánh, Kỹ thuật lập trình Prolog, Chương trình Prolog, Kỹ thuật sử dụng nhát cắt, Trừu tượng hóa dữ liệu

Bài giảng "Xây dựng chương trình dịch: Bài 11 - Sinh mã trung gian" bao gồm các nội dung kiến thức về: sinh mã trung gian, mã ba địa chỉ, sinh mã cho lệnh gán, sinh mã cho các biểu thức logic, sinh mã cho các cấu trúc lập trình,... Mời các bạn cùng tham khảo nội dung chi tiết.

 38 p actvn 26/09/2023 63 0 Download

Từ khóa: Bài giảng Xây dựng chương trình dịch, Xây dựng chương trình dịch, Chương trình dịch, Sinh mã trung gian, Mã ba địa chỉ, Sinh mã cho lệnh gán, Sinh mã cho các biểu thức logic, Sinh mã cho các cấu trúc lập trình

Ebook Các mô hình cơ bản trong phân tích và thiết kế hướng đối tượng: Phần 2 gồm có những nội dung chính sau: Chương 6: Các mô hình thiết kế tương tác; Chương 7: Mô hình kiến trúc logic; Chương 8: Mô hình kiến trúc vật lý; Chương 9: Mô hình phân tích và thiết kế một ca sử dụng; Chương 10: Mô hình thiết kế đối tượng.

 77 p actvn 23/05/2023 122 0 Download

Từ khóa: Lập trình hướng đối tượng, Phân tích và thiết kế hướng đối tượng, Mô hình thiết kế tương tác, Mô hình kiến trúc logic, Mô hình kiến trúc vật lý

Giáo trình "PHP & MySQL" nhằm cung cấp cho học viên những kiến thức cơ bản về HTML và Javascript; tổng quan PHP; toán tử và biểu thức; mảng trong PHP (Array); hàm và gọi lại hàm; làm việc với chuỗi; các thao tác trên file; xử lý form trong PHP; quản lý phiên làm việc; tổng quan MySQL;... Mời các bạn cùng tham khảo!

 68 p actvn 23/08/2022 145 0 Download

Từ khóa: Giáo trình PHP & MySQL, Cấu trúc HTML, Ngôn ngữ script, Ngôn ngữ PHP, Microsoft SQL Server 2000, Sơ đồ lập trình server side PHP, Toán tử logic, Phương thức nối chuỗi trong PHP

Tiếp nội dung phần 1, Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 cung cấp cho người học những kiến thức như: Logic vị từ; Chiến lược phân giải sử dụng tập hỗ trợ; Biểu diễn tri thức; Kiểu dữ liệu cấu trúc của Prolog; Ngữ nghĩa của chương trình Prolog;...Mời các bạn cùng tham khảo!

 141 p actvn 19/04/2022 149 1 Download

Từ khóa: Bài giảng Nhập môn trí tuệ nhân tạo, Nhập môn trí tuệ nhân tạo, Logic vị từ, Biểu diễn tri thức, Lập luận tiến, Lập trình Prolog

Bài giảng "Xây dựng chương trình dịch - Bài 11: Sinh mã trung gian" cung cấp cho người học các kiến thức: Mã ba địa chỉ, sinh mã cho lệnh gán, sinh mã cho các biểu thức logic, sinh mã cho các cấu trúc lập trình. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên Công nghệ thông tin và những ai quan tâm dùng làm tài liệu học tập và nghiên cứu.

 10 p actvn 28/06/2020 318 1 Download

Từ khóa: Xây dựng chương trình dịch, Bài giảng Xây dựng chương trình dịch, Chương trình dịch, Sinh mã trung gian, Sinh mã cho lệnh gán, Biểu thức logic, Cấu trúc lập trình