» Từ khóa: đại số logic

Kết quả 13-18 trong khoảng 18

Nghiên cứu ngữ nghĩa chương trình Datalog và ứng dụng phân tích chương trình với cây nhị phân quyết định

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

5 p husc 17/03/2016 390 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn
Ebook Kỹ thuật số - NXB Khoa học và Kỹ thuật

Ebook Kỹ thuật số này nhằm đáp ứng nhu cầu tiếp cận kỹ thuật hiện đại và chương trình đào tạo của Bộ giáo dục và Đào tạo đối với các ngành điện tử-tin học-viễn thông. Ebook này gồm 3 phần: phần 1 đại số Boole và vi mạch số trình bày cơ sở toán và kỹ thuật mạch số, phần 2 mạch tổ hợp giới thiệu những vấn đề lý thuyết cơ...

358 p husc 13/04/2015 242 2

Từ khóa: Kỹ thuật số, Vi mạch số, Đại số Boole, Mạch tổ hợp, Kỹ thuật mạch số, Thiết kế logic mạch số
Giáo trình Hệ số đếm và mã: Phần 2 - ĐH. CNTT TP.HCM

Giáo trình Hệ số đếm và mã: Phần 2 trình bày hệ tổ hợp và hệ tuần tự. Đây là tài liệu dành cho sinh viên ngành Công nghệ thông tin. Mời bạn đọc theo dõi nội dung bài giảng để hiểu rõ hơn về nội dung phần 2 của giáo trình.

100 p husc 05/07/2014 260 2

Từ khóa: Giáo trình Hệ số đếm, Khái niệm về mã, Đại số Boole, Phần tử logic cơ bản, Hệ tổ hợp, Hệ tuần tự
Giáo trình Hệ số đếm và mã: Phần 1 - ĐH. CNTT TP.HCM

Giáo trình Hệ số đếm và mã: Phần 1 trình bày hệ thống số đếm và khái niệm về mã, đại số Boole, các phần tử logic cơ bản. Đây là giáo trình học tập dành cho sinh viên ngành Công nghệ thông tin.

112 p husc 05/07/2014 561 3

Từ khóa: Giáo trình Hệ số đếm, Khái niệm về mã, Đại số Boole, Phần tử logic cơ bản, Hệ tổ hợp, Hệ tuần tự
Sách hướng dẫn học tập: Toán cao cấp A2

Toán cao cấp A1, A2, A3 là chương trình toán đại cương dành cho sinh viên các nhóm ngành toán và nhóm ngành thuộc khối kỹ thuật. Nội dung của toán cao cấp A1, A3 chủ yếu là phép tính vi tích phân của hàm một hoặc nhiều biến, còn toán cao cấp A2 là các cấu trúc đại số và đại số tuyến tính. Có khá nhiều sách giáo khoa và tài liệu tham khảo viết về...

126 p husc 01/10/2013 712 4

Từ khóa: tài liệu học đại học, toán cao cấp, giáo trình toán A2, cấu trúc đại số, đại số tuyến tính, bài tập toán, logic toán học
Toán Rời Rạc - Phạm Tiến Sơn

Toán học rời rạc là một bộ phận của toán học nhằm nghiên cứu các đối tượng rời rạc: Nghiên cứu các cấu trúc rời rạc khác nhau và các phương pháp giải các vấn đề có liên quan đến cấu trúc này. Thông tin lưu trữ vận hành trong máy tính dưới dạng các tín hiệu rời rạc ( các máy tính liên tục chỉ là các máy tính tương tự, chuyên dụng). Vì...

197 p husc 01/10/2013 668 8

Từ khóa: Toán cao Cấp, Giáo Trính toán học, phương pháp chứng minh logic, thuật toán euclid, nguyên lý phép đếm, đại số boole, mã tuyến tính