» Từ khóa: logic vị từ

Kết quả 1-8 trong khoảng 8

Bài giảng Trí tuệ nhân tạo: Bài 10 - Trương Xuân Nam

Bài giảng Trí tuệ nhân tạo: Bài 10 Chứng minh bằng logic vị từ cung cấp cho người học những kiến thức như: Hạn chế của logic mệnh đề; Logic vị từ; Chứng minh trong logic vị từ; Bài tập. Mời các bạn cùng tham khảo!

26 p ctuet 24/07/2023 77 0

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Chứng minh bằng logic vị từ, Logic vị từ, Logic mệnh đề, Cơ chế chứng minh, Đặc điểm của logic lượng tử
Bài giảng Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính - TS. Đào Anh Nam

Bài giảng "Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính" cung cấp cho người học các kiến thức: Logic mệnh đề, logic vị từ, một số thuật giải liên quan đến logic mệnh đề, biểu diễn tri thức sử dụng luật dẫn xuất, biễu diễn tri thức sử dụng mạng ngữ nghĩa,... Mời các bạn cùng tham khảo.

86 p ctuet 24/07/2023 59 0

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Phương pháp biểu diễn tri thức, Biểu diễn tri thức, Biểu diễn tri thức trên máy tính, Logic mệnh đề, Logic vị từ
Ebook Kiến trúc máy tính: Phần 1

Ebook "Kiến trúc máy tính" phần 1 trình bày các nội dung chính sau: Nguyên lý và các khái niệm cơ bản về máy tính; Tổ chức hệ thống máy tính; Mức logic số; Mực vi chương trình;... Mời các bạn cùng tham khảo để nắm nội dung chi tiết.

142 p ctuet 28/11/2022 101 0

Từ khóa: Kiến trúc máy tính, Máy tính điện tử, Tổ chức hệ thống máy tính, Đại số logic, Chip vi xử lí, Mức vi chương trình
Bài giảng Toán rời rạc: Chương 1 - Nguyễn Quỳnh Diệp

Bài giảng Toán rời rạc: Chương 1 cung cấp cho người học những kiến thức như: 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!

85 p ctuet 23/10/2022 62 0

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Phương pháp chứng minh, Logic vị từ, Chuẩn tắc hội, Các phép suy diễn
Ebook Thiết kế mạch bằng máy tính: Phần 2

Cuốn sách "Thiết kế mạch bằng máy tính" gồm có 8 chương, phần 1 của ebook sẽ bao gồm các chương: Mở đầu vào thiết kế vi mạch điện tử, cơ sở toán học, cơ sở của thiết kế logic, những khái niệm chung về mô hình hóa phần cứng, các phương pháp mô hình hóa logic. Mời các bạn cùng tham khảo.

169 p ctuet 25/02/2021 275 1

Từ khóa: Thiết kế mạch bằng máy tính, Thiết kế mạch, Thiết kế vi mạch điện tử, Cơ sở toán học, Cơ sở của thiết kế logic, Mô hình hóa phần cứng
Bài giảng Toán rời rạc: Chương 1 - Nguyễn Lê Minh

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 ctuet 28/09/2020 199 0

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ừ
Giáo trình Vi điểu khiển

Giáo trình Vi điểu khiển gồm 14 chương giúp bạn nắm bắt các kiến thức về các bộ điều khiển 8051, lập trình hợp ngữ 8051, lập trình cho cổng vào ra I/O, các chế độ đánh địa chỉ của 8051,... Mời tham khảo.

284 p ctuet 27/05/2018 527 1

Từ khóa: Vi điều khiển, Giáo trình Vi điểu khiển, Lập trình hợp ngữ, Lập trình cho cổng vào ra, Các lệnh logic, Kỹ thuật điện tử
Bài giảng Vi mạch số: Phần 2 - Ngô Văn Bình

Hệ logic tuần tự là hệ logic có đầu ra không chỉ phụ thuộc vào trạng thái hiện tại của đầu vào mà còn phụ thuộc vào các trạng thái lịch sử của đầu vào, để đơn giản các trạng thái này được thể hiện bằng trạng thái trong của hệ. Để tìm hiểu sâu hơn về vấn đề này mời các bạn tham khảo "Bài giảng Vi mạch số: Phần 2" của tác giả...

54 p ctuet 22/05/2016 512 1

Từ khóa: Bài giảng Vi mạch số, Vi mạch số, Hệ logic tuần tự, Tìm hiểu hệ logic tuần tự, Hệ tuần tự, Phương pháp biểu diễn hệ tuần tự