» Từ khóa: Logic toán

Bài giảng Toán rời rạc do TS. Đặng Xuân Thọ biên soạn gồm 7 chương được trình bày cụ thể như sau: Logic mệnh đề; Lý thuyết tập hợp; Một số công thức tổ hợp; Suy luận và kiểm chứng chương trình; Đại số Boole và cấu trúc mạch logic; Thuật toán; Lý thuyết đồ thị. Mời các bạn cùng tham khảo!

 9 p husc 30/06/2021 95 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Kiểm chứng chương trình, Logic mệnh đề, Lý thuyết đồ thị, Cấu trúc mạch logic

Bài giảng Toán rời rạc: Chương 5 Đại số Boole và cấu trúc mạch logic cung cấp cho người học những kiến thức như: Giúp tính toán các biểu thứ logic trên bảng giá trị chân lý 0 và 1 cho ra đời một ngành toán học mới là đại số Boole; Biểu thức Boole và hàm Boole; Xác định biểu thức Boole của hàm Boole; Sơ đồ mạch logic.

 25 p husc 30/06/2021 106 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Đại số Boole, Cấu trúc mạch logic, Xác định biểu thức Boole, Sơ đồ mạch logic

Phần 1 bài giảng "Nhập môn mạch số - Chương 5: Mạch tổ hợp" trình bày những nội dung chính như: Một số mạch logic tổ hợp thông dụng, thiết kế các mạch logic tổ hợp phức tạp sử dụng các mạch logic tổ hợp thông dụng. Mời các bạn cùng tham khảo để biết thêm các nội dung chi tiết.

 38 p husc 29/09/2020 150 0 Download

Từ khóa: Mạch tổ hợp, Mạch tính toán số học, Thiết kế các mạch logic tổ hợp, Đơn vị tính toán luận lý, Nhập môn mạch số, Bài giảng Nhập môn mạch số

Phần 1 bài giảng "Nhập môn mạch số - Chương 5: Mạch tổ hợp" cung cấp cho người học các kiến thữ về "Mạch tính toán số học" bao gồm: Một số mạch logic tổ hợp thông dụng, thiết kế các mạch logic tổ hợp phức tạp sử dụng các mạch logic tổ hợp thông dụng. Mời các bạn cùng tham khảo.

 38 p husc 30/07/2020 160 1 Download

Từ khóa: Bài giảng Nhập môn mạch số, Nhập môn mạch số, Mạch tổ hợp, Mạch tính toán số học, Thiết kế các mạch logic tổ hợp, Đơn vị tính toán luận lý

Bài giảng "Toán rời rạc - Chương 1: Cơ sở logic" cung cấp cho người học các kiến thức: Mệnh đề, dạng mệnh đề, suy luận, qui tắc suy diễn, vị từ, lượng từ. Đây là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học chuyên ngành Tự nhiên và những ai quan tâm dùng làm tài liệu học tập vầ nghiên cứu.

 51 p husc 30/07/2020 199 2 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Dạng mệnh đề, Qui tắc suy diễn, Vị từ và lượng từ

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 1 trình bày một số nội dung tổng quan về lý luận toán học như: Lịch sử logic, định nghĩa logic, logic & tôn giáo, mục tiêu của logic, phân loại logic,... Mời các bạn tham khảo.

 25 p husc 31/05/2019 213 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Lịch sử logic, Mục tiêu của logic, Phân loại logic

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 3) trang bị cho người học những kiến thức về ngữ nghĩa của luận lý mệnh đề. Trong chương này người học sẽ tìm hiểu về: Gán thực trị, diễn dịch, thực trị của một công thức, bảng thực trị, thủ tục số học,... Mời các bạn cùng tham khảo.

 82 p husc 31/05/2019 252 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 4) tiếp tục trình bày những kiến thức liên quan đến ngữ nghĩa của luận lý mệnh đề. Các nội dung trong phần này gồm có: Soundness và Completeness, Proof theory. Mời các bạn cùng tham khảo.

 5 p husc 31/05/2019 207 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 trình bày về luận lý vị từ. Chương này gồm có 4 phần. Phần 1 sau đây sẽ tập trung giới thiệu về cấu trúc của luận lý vị từ. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 48 p husc 31/05/2019 203 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 2) thảo luận về suy luận tự nhiên trong luận lý vị từ. Những nội dung cụ thể được trình bày trong chương này gồm có: Cây phân tích, hiện hữu, thay thế, điều kiện thay thế, suy luận tự nhiên,... Mời các bạn cùng tham khảo.

 39 p husc 31/05/2019 209 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 3) cung cấp những kiến thức về ngữ nghĩa của luận lý vị từ. Trong chương này gồm có những nội dung cụ thể như sau: Diễn dịch của 1 công thức, đánh giá công thức trong 1 dd, ngữ nghĩa, công thức tương đương. Mời các bạn cùng tham khảo.

 48 p husc 31/05/2019 222 2 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 4) trình bày một số kiến thức về phân giải trong luận lý vị từ như: Tính hằng sai, dạng chuẩn Skolem, mệnh đề, nguyên tắc phân giải,...và một số nội dung liên quan khác. Mời các bạn cùng tham khảo.

 72 p husc 31/05/2019 199 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ