» Từ khóa: logic mệnh đề

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

Bài giảng Toán rời rạc - Vũ Đinh Hoà

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 vimaru 25/04/2024 73 0

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
Giáo trình Toán rời rạc: Phần 1 - Vũ Đình Hòa

Môn Toán rời rạc là một trong những môn cơ bản nhất của ngành Công nghệ thông tin. Cuốn giáo trình Toán rời rạc này được viết cho sinh viên năm thứ nhất ngành Công nghệ thông tin. Giáo trình gồm có 7 chương và được chia thành 2 phần, phần 1 gồm 4 chương với những nội dung chính như sau: Chương 1 - logic mệnh đề, chương 2 - lý thuyết tập hợp,...

84 p vimaru 22/07/2022 722 2

Từ khóa: Giáo trình Toán rời rạc, Toán rời rạc, Logic mệnh đề, Lý thuyết tập hợp, Công thức tổ hợp, Kiểm chứng chương trình
Bài giảng Trí tuệ nhân tạo

Bài giảng Trí tuệ nhân tạo cung cấp các kiến thức cơ bản về phương pháp biểu diễn và giải quyết vấn đề, các kỹ thuật biểu diễn và xử lý tri thức. Nội dung bài giảng được biên soạn thành 7 chương, mời các bạn cùng tham khảo để biết thêm nội dung chi tiết.

80 p vimaru 28/02/2022 420 12

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Chiến lược tìm kiếm mù, Chiến lược tìm kiếm kinh nghiệm, Chiến lược tìm kiếm tối ưu, Logic mệnh đề
Bài giảng Toán rời rạc: Chương 1 - TS. Đặng Xuân Thọ

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 vimaru 30/06/2021 944 4

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 0 - TS. Đặng Xuân Thọ

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 vimaru 30/06/2021 679 5

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
Giáo trình Ôtômát và ngôn ngữ hình thức: Phần 1

Giáo trình này giới thiệu một cách hệ thống những khái niệm cơ bản và các tính chất chung của ôtômát và ngôn ngữ hình thức. Phần 1 giáo trình gồm 4 chương đầu với nội dung sau: Chương mở đầu trình bày các khái niệm cơ bản, các tính chất quan trọng của các cấu trúc đại số, logic mệnh đề, logic tân từ và các phương pháp suy luận toán học làm...

108 p vimaru 25/03/2019 2482 24

Từ khóa: Ôtômát và ngôn ngữ hình thức, Cấu trúc đại số, Logic mệnh đề, Logic tân từ, Phương pháp suy luận toán học, Lý thuyết ôtômát, Hoạt động của ôtômát
Giáo trình Trí tuệ nhân tạo: Phần 1

Giáo trình Trí tuệ nhân tạo có cấu trúc gồm 9 chương và được chia thành 2 phần. Phần 1 sau đây cung cấp những nội dung kiến thức như: Logic mệnh đề, logic vị từ cấp một, các chiến lược tìm kiếm mù, các chiến lược tìm kiếm kinh nghiệm. Mời các bạn tham khảo.

50 p vimaru 24/03/2016 4169 5

Từ khóa: Trí tuệ nhân tạo, Giáo trình Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ cấp một, Chiến lược tìm kiếm mù, Chiến lược tìm kiếm kinh nghiệm
Bài giảng Trí tuệ nhân tạo - ĐH Hàng Hải

Với kết cấu gồm 2 phần "Bài giảng Trí tuệ nhân tạo - ĐH Hàng Hải" giới thiệu đến bạn đọc những nội dung: Phương pháp biểu diễn và giải quyết vấn đề, tri thức và lập luận. Mời các bạn cùng tham khảo.

60 p vimaru 26/02/2016 3344 17

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Chiến lược tìm kiếm mù, Chiến lược tìm kiếm tối ưu, Logic mệnh đề, Logic vị từ cấp 1