» Từ khóa: toán tử logic

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)

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 133 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

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 198 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 2 (phần 2) tập trung thảo luận về suy luận tự nhiên trong luận lý mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 45 p husc 31/05/2019 214 1 Download

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

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ừ