Lý thuyết về suy luận logic mệnh đề

Tài liệu trình bày lý thuyết về suy luận logic mệnh đề; mô hình suy luận logic mệnh đề và một số bài tập vận dụng để giúp các bạn vận dụng, củng cố kiến thức hiệu quả hơn.

3p 0868975319 26-09-2020 145 4   Download

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 cơ sở cho các chương sau. Chương 2 giới thiệu về lý thuyết ôtômát, những khái niệm cơ sở và các hoạt động của ôtômát. Văn phạm và các ngôn ngữ hình thức được đề cập đến ở chương 3.

108p hanh_tv22 11-03-2019 146 20   Download