» Từ khóa: biểu thức

Bài giảng chương 4 giới thiệu về Hàm Boole, đại số Boole, các phép toán (AND, OR, NOT), bảng chân trị, và dạng nối rời chính tắc. Mục tiêu: nền tảng vững chắc.

 48 p husc 25/04/2026 11 0 Download

Từ khóa: Bài giảng, Toán rời rạc, Hàm boole, Đại số boole, Đa thức tối tiểu, Biểu đồ Karnaugh

Bài giảng về cấu trúc dữ liệu ngăn xếp và hàng đợi, bao gồm định nghĩa, thao tác, cài đặt (danh sách liên kết, mảng) và ứng dụng thực tế.

 36 p husc 25/04/2026 17 0 Download

Từ khóa: Bài giảng, Ngăn xếp, Hàng đợi, Cấu trúc dữ liệu, Giải thuật, Định giá biểu thức hậu tố

Đề thi Toán rời rạc năm 2023-2024 của trường Đại Học Phenikaa, gồm có 4 câu về đồ thị, logic mệnh đề, ngôn ngữ hình thức, tính số chia hết, tìm đường đi ngắn nhất, chứng minh mệnh đề.

 2 p husc 21/03/2026 18 0 Download

Từ khóa: Đề thi, Toán rời rạc, Đồ thị và thuật toán, Biểu thức chính quy, Cấu trúc rời rạc, Thuật toán Prim

Đề thi Mô hình hóa toán học về mô hình hóa toán học, bao gồm automata, logic Hoare và biểu thức chính quy. Kiểm tra kiến thức về luật đúng đắn, NFA, DFA và tính tương đương.

 6 p husc 25/02/2026 26 0 Download

Từ khóa: Mô hình hóa toán học, Automata hữu hạn, Biểu thức chính quy, Tiền điều kiện yếu nhất, Chứng minh tính đúng đắn

Bài giảng chương 1 của PGS.TS Trần Tuấn Nam trình bày lý thuyết tập hợp, ánh xạ, logic mệnh đề, ma trận, định thức và hệ phương trình tuyến tính.

 91 p husc 25/02/2026 18 0 Download

Từ khóa: Bài giảng, Đại số tuyến tính, Logic mệnh đề, Lý thuyết tập hợp, Phép toán logic, Biểu thức mệnh đề

Bài giảng chương 2 trình bày về biến, biểu thức, giá trị và kiểu dữ liệu. Nội dung bao gồm toán tử, độ ưu tiên, kiểu dữ liệu Python và khái niệm biến.

 30 p husc 25/02/2026 22 0 Download

Từ khóa: Bài giảng, Tin học quản lý, Cơ sở lập trình, Biến và biểu thức, Kiểu dữ liệu python, Toán tử toán học, Giá trị và kiểu dữ liệu

Bài giảng về biểu diễn số chấm động trong kiến trúc máy tính & hợp ngữ trình bày chuẩn IEEE 754, số thực đặc biệt (0, vô cực, NaN), kèm ví dụ.

 72 p husc 25/01/2026 19 0 Download

Từ khóa: Bài giảng, Công nghệ thông tin, Kiến trúc máy tính, Biểu diễn số chấm động, Chuẩn ieee 754, Số thực dấu chấm động

Bài giảng Ngôn ngữ lập trình C: Chương 3 giới thiệu ngôn ngữ lập trình C, tập trung vào kiểu dữ liệu (char, int, float, double), biểu thức, phép toán, khai báo biến, hằng (#define, const).

 38 p husc 25/08/2025 64 0 Download

Từ khóa: Bài giảng, Công nghệ thông tin, Ngôn ngữ lập trình C, Kiểu dữ liệu, Biểu thức trong C, Khai báo biến, Khai báo hằng

Bài giảng Nhập môn mạch số - Chương 3 (Phần 2): Đại số Boolean và các cổng logic (tt) tập trung vào việc phân tích giá trị ngõ ra và khai thác các tính chất của đại số Boolean trong mạch số. Nội dung bài giảng giúp người học hiểu rõ quy trình xác định biểu thức logic tương ứng từ một sơ đồ mạch cụ thể. Mời các bạn cùng tham khảo bài giảng...

 24 p husc 25/06/2025 62 0 Download

Từ khóa: Nhập môn mạch số, Bài giảng Nhập môn mạch số, Phân tích ngõ ra mạch số, Quy tắc đại số Boolean, Biểu thức logic của mạch, Mô hình mạch số cơ bản

Bài giảng Nhập môn mạch số - Chương 4 (Phần 1): Bìa Karnaugh giới thiệu các phương pháp biểu diễn biểu thức logic và quy trình thiết kế mạch số hiệu quả. Bài giảng đồng thời hướng dẫn đánh giá chi phí thiết kế để tối ưu hóa mạch logic. Mời các bạn cùng tham khảo bài giảng để biết thêm chi tiết!

 24 p husc 25/06/2025 64 0 Download

Từ khóa: Nhập môn mạch số, Bài giảng Nhập môn mạch số, Biểu diễn biểu thức logic, Quy trình thiết kế mạch số, Đánh giá chi phí thiết kế, Bìa Karnaugh trong mạch logic

Bài giảng Kỹ thuật lập trình - Chương 4 trình bày về: biểu thức (kết hợp toán hạng, phép toán), toán tử (số học, gán, quan hệ, logic, ternary, bit), chuyển đổi kiểu, câu lệnh gán và biểu thức gán,biểu thức điều kiện, thứ tự ưu tiên của các phép toán.

 38 p husc 25/06/2025 71 0 Download

Từ khóa: Bài giảng Kỹ thuật lập trình, Kỹ thuật lập trình, Biểu thức, Toán tử, Câu lệnh gán, Phép toán

Tổng quan về logic mô tả; Các thuật toán suy luận trong logic mô tả; Thuật toán suy luận Tableaux trong logic mô tả ALC sử dụng bộ nhớ đệm toàn cục. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 11 p husc 18/03/2025 94 0 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Hệ thống suy luận, Vai trò nghịch đảo, Thuật toán suy luận, Bảng phân giải, Thuật toán tableuax, Bộ nhớ đệm.,