tailieunhanh - Logic Toán - Trần Thọ Châu
Nhằm giúp các bạn có thêm tài liệu phục vụ nhu cầu học tập và ôn tập môn Toán, nội dung tài liêu "Logic Toán". Nội dung tài liệu giới thiệu đến các bạn những nội dung về đại số mệnh đề, hệ số mệnh đề, hệ toán tân từ, logic mờ, định lý suy diễn, logic mệnh đề,. | Logic Toán Trần Thọ Châu NXB Đại học quốc gia Hà Nội 2007 204 Tr. Từ khoá Logic toán Đại số mệnh đề Hàm đại số logic logic mờ Định lý suy diễn Logic mệnh đề Tính đầy đủ Tính phi mâu thuẫn Lượng từ Ngôn ngữ Prolog Tân từ Fall. Tài liệu trong Thư viện điện tử ĐH Khoa học Tự nhiên có thể sử dụng cho mục đích học tập và nghiên cứu cá nhân. Nghiêm cấm mọi hình thức sao chép in ấn phục vụ các mục đích khác nếu không được sự chấp thuận của nhà xuất bản và tác giả. Muc luc Lời mỏ dau. 5 1 Đai số mênh de 7 Cac phép toan va bang chan ly. 8 Phép phủ dinh -1 not . 10 Phép và A and hội . 10 Phép hay là v or tuyộn . 10 Phép kéo theo . 11 Phép tương dương . 12 Công thức ménh dề. 12 Một so dinh nghĩa . 16 Hám dẹài so logic. 16 Sụ1 dong nhất dủng - dong nhất sai. 18 Mot so tính chất. 22 Dang chi lái I tắc của cong thức ménh dé . 23 Dang chủan tac tủyén va chủan tac hôi .23 Dang chủan tắc hoan toan. 24 Cac hé day dủ của cac phép toan. 25 Bai tập chương 1. 34 2 Hê toốn mênh dê 39 Hé tién dé trong hé toan ménh dé. 40 Mot so dinh nghĩa cơ ban. 40 Cac tính chat. 42 2 MUC LUC Ly thuyết tiên de trong hệ toán mệnh Đinh ly suy diên trong hệ toán mệnh Nguyện ly suy diên vá bái toán láp luán trong logic mệnh dê . 52 Nguyện ly suy diên. 52 Bái toán láp luán trong logic mệnh dê .52 Một so dinh ly trong hệ toán mệnh dê . 55 Tính dầy dii. 55 Tính phi máu thuẫn. 58 Tính dọc láp. 59 Giới thiệu vái nêt vệ logic dá tri. 61 Tính quyết dinh cuá hệ toán mệnh dê . 62 Mot so hệ tiện dê khác. 62 . Áp dung dinh ly dáy đii cho bái toán suy diện trong logic mệnh dê. 64 . Bái táp chương 2. 66 3 Hệ toán tân từ 70 . Các lượng từ. 71 Các khái niệm vá dinh nghĩá. 77 Minh hoá sụ1 dong nhát dung vá mo Minh hoá. 81 Tính thực hiện dược. 83 Sụ1 dong nhát dung háng dung . 85 Mo hình. 85 Mot so
đang nạp các trang xem trước