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

Bài giảng Toán rời rạc do Vũ Đinh Hoà biên soạn, cung cấp cho người học những kiến thức như: Lý thuyết tập hợp; Một số công thức tổ hợp; Đại số Boole và cấu trúc mạch lôgic; Thuật toán; Lý thuyết đồ thị;...Mời các bạn cùng tham khảo!

 231 p mku 02/12/2024 8 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Lôgic mệnh đề, Tập hợp con, Đại số Boole, Cấu trúc mạch lôgic

Bài giảng "Toán cao cấp: Chương 0 - Cơ sở logic" trình bày những nội dung chính sau đây: Tập hợp; Ánh xạ; Mệnh đề; Các quy luật logic; Suy luận toán học. Mời các bạn cùng tham khảo!

 26 p mku 28/03/2024 32 0 Download

Từ khóa: Bài giảng Toán cao cấp, Toán cao cấp, Đại số tuyến tính, Cơ sở logic, Các phép toán trên tập hợp, Các quy luật logic, Suy luận toán học

Chương 1 - Các khái niệm cơ bản về tin học. Bài giảng gồm các nội dung: Khái niệm; lịch sử phát triển của máy tính; phân loại máy tính, cấu tạo chung của máy tính điện tử, hệ đếm, biểu diễn thông tin trong máy tính, đại số logic. Cuối bài giảng có phần bài tập để người học ôn tập và củng cố kiến thức đã học.

 37 p mku 26/08/2021 132 0 Download

Từ khóa: Tin học đại cương, Bài giảng Tin học đại cương, Khái niệm tin học, Đại số logic, Biểu diễn thông tin trong máy tính, máy tính điện tử

Bài giảng Máy tính và biểu diễn thông tin trong máy tính trình bày về thông tin và tin học, lịch sử máy tính , phân loại máy tính, các hệ đếm, biểu diễn thông tin trong máy tính, đại số logic và cuối cùng là bài tập thực hành về biểu diễn thông tin trong máy tính.

 44 p mku 15/07/2014 405 2 Download

Từ khóa: Lịch sử máy tính, Phân loại máy tính, Đại số logic, Biểu diễn thông tin, Cấu trúc máy tính, Tin học căn bản

II. Suy luận tự nhiên trong luận lý mệnh đề ntsơn .Chứng minh Thí dụ : Tam giác ABC có các cạnh là AB = 3, BC = 4, CA = 5. Chứng minh ABC vuông. Chứng minh : (1) cạnh AB = 3. (2) cạnh BC = 4. (3) cạnh CA = 5. (4)

 45 p mku 12/10/2012 397 1 Download

Từ khóa: luận lý toán học, Luận lý mệnh đề, Luận lý vị từ, Mathematical Logic, propositional logic, suy luận tự nhiên, luận lý mệnh để

Biến lôgic: đại lượng biểu diễn bằng ký hiệu nào đó, lấy giá trị 0 hoặc 1 • Hàm lôgic: nhóm các biến lôgic liên hệ với nhau qua các phép toán lôgic, lấy giá trị 0 hoặc 1 • Phép toán lôgic cơ bản: VÀ (AND), HOẶC (OR), PHỦ ĐỊNH (NOT), Mỗi biến lôgic chia không gian thành 2 không gian con: 1 không gian con: biến lấy giá trị đúng (=1) Không gian con còn lại:...

 221 p mku 24/05/2012 400 2 Download

Từ khóa: Bài giảng, điện tử số, công nghệ thông tin, kỹ thuật số, mạch logic, Đại số Boole, đại học bách khoa