» Từ khóa: Logic toán

Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng chương trình Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 06/05/2024 14 0 Download

Từ khóa: Khoa học máy tính, Ngôn ngữ logic, chương trình datalog, Datalog dạng tuyển, Ràng buộc mạnh, Ràng buộc yếu, Hệ thống DLV, Bài toán tìm đường, Bài toán tô màu

Tiếp nội dung phần 1, Cuốn sách "Toán rời rạc" phần 2 được biên soạn gồm các nội dung chính sau: mệnh đề và các phép toán mệnh đề; đại số boole. Mời các bạn cùng tham khảo!

 95 p husc 19/04/2024 26 0 Download

Từ khóa: Toán rời rạc, Thuật toán Prim, Thuật toán Dijkstra, Đại số logic, Đại số Boole, Cực tiểu hóa hàm logic

Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 04/04/2024 35 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán

Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 27/02/2024 50 0 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Web ngữ nghĩa, Ngôn ngữ Ontology, Cây phân lớp, Định nghĩa lớp phức, Kiểu dữ liệu, Bài toán xây dựng, Chương trình java

Tổng quan về lập trình trả lời; Hệ thống lập trình tập trả lời của Clingo; Một số bài toán ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 12 p husc 28/12/2023 59 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Hệ thống clingo, Hệ thống lập trình, Bài toán ứng dụng

Nối tiếp phần 1, "Bài giảng Kỹ thuật số: Phần 2" tiếp tục trình bày những nội dung về mạch logic tuần tự; mô hình toán học; phần tử nhớ của mạch tuần tự; đầu vào không đồng bộ của trigơ; chuyển đổi giữa các loại trigơ; phân tích mạch tuần tự; bộ đếm, phân tích và thiết kế bộ đếm; bộ ghi dịch (Shift Register); thanh chốt dữ liệu...

 63 p husc 30/05/2022 92 0 Download

Từ khóa: Bài giảng Kỹ thuật số, Kỹ thuật số, Mạch logic tuần tự, Mô hình toán học, Phân tích mạch tuần tự, Thiết kế bộ đếm, Bộ ghi dịch (Shift Register)

Bài giảng Toán rời rạc do ThS. Nguyễn Thị Thúy Hạnh biên soạn gồm 6 chương, với các nội dung chính như sau: Bài toán đếm; Các khái niệm cơ bản về đồ thị; Đồ thi euler, hamilton, đồ thị phân đôi, đồ thị phẳng; Cây và một số ứng dụng của cây; Một số bài toán tối ưu trên đồ thị; Đại cương về toán logic.

 113 p husc 21/04/2022 107 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cây khung của đồ thị, Toán logic, Đồ thị Euler, Đồ thị phân đôi, Bài toán tối ưu trên đồ thị

Cuốn sách "Toán logic & kỹ thuật số" được biên soạn để giúp các sinh viên, các cán bộ nghiên cứu hiểu biết sâu sắc về các hệ thống điện tử số hiện đại, làm cơ sở cho việc làm chủ và có thể sáng tạo ra các hệ thống điện tử số mới. Sách được viết dựa trên đề cương môn học Kỹ thuật số đã được thông qua và thống nhất trong cả...

 258 p husc 28/12/2021 116 1 Download

Từ khóa: Cấu trúc toán Logic, Kỹ thuật số, Cấu trúc toán logic, Cấu trúc đại số, Đại số Boole, Vi phân hàm boole

Phần 2 của cuốn sách "Toán logic & kỹ thuật số" trình bày về các hệ thống số và mạch. Phần này đề cập đến các ôtômat không có nhớ và ôtômat có nhớ, các mạch điện của hệ thống điện tử số, trong đó đi sâu vào 2 bài toán chính là: Bài toán phân tích hệ thống số và bài toán tổng hợp hệ thống số. Mời các bạn cùng tham khảo để biết...

 168 p husc 28/12/2021 148 1 Download

Từ khóa: Cấu trúc toán Logic, Kỹ thuật số, Hệ thống số, Hệ thống điện tử số, Ôtômat không có nhớ, Ôtômat có nhớ

Bài giảng Toán rời rạc: Bài 1 - Vũ Thương Huyền cung cấp cho học viên các kiến thức cơ bản về logic; sự tương đương các mệnh đề; vị từ và lượng từ; các phép suy diễn; chuẩn tắc hội, chuẩn tắc tuyển; các phương pháp chứng minh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 80 p husc 28/12/2021 89 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán tử logic, Chuẩn tắc hội, Chuẩn tắc tuyển, Bảng giá trị chân lí, Mệnh đề kéo theo, Phép suy diễn

Bài giảng Toán rời rạc: Phương pháp chứng minh cung cấp cho người học những nội dung kiến thức như: Mệnh đề, tiên đề, và suy luận logic; phương pháp chứng minh; nguyên lý sắp thứ tự tốt. Mời các bạn cùng tham khảo.

 37 p husc 29/07/2021 134 0 Download

Từ khóa: Toán rời rạc, Bài giảng Toán rời rạc, Phương pháp chứng minh, Suy luận logic, Nguyên lý sắp thứ tự tốt, Giả thuyết Euler

Bài giảng Toán rời rạc: Chương 1 Logic mệnh đề cung cấp cho người học những kiến thức như: Thế nào là một mệnh đề; Các toán tử logic; Phân tích mệnh đề logic phức hợp; Các phép toán logic với các bit. Mời các bạn cùng tham khảo!

 36 p husc 30/06/2021 101 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic mệnh đề, Mệnh đề logic phức hợp, Toán tử logic, Phép toán logic với các bit