Bài giảng : Logic part 1

Lời nói đầuMình cũng như các bạn, khi học môn logic này đã gặp phải những khó khăn khi tiếp cận nó. Mình được biết rằng, nhiều bạn cũng vì khi mở nó ra toàn bằng tiếng Anh, mở từ điển ra để dịch thì vẫn rất khó hiểu nhiều lúc ghép lại cũng không nhìn ra được vấn đề nên việc học nhiều lúc cũng bí. Nên mình xin mạn phép được dịch nó ra, cũng coi như là một tài liệu để các bạn dùng song song với tài liệu của thầy phát để tham khảo thêm, cũng...
Nội dung trích xuất từ tài liệu:
Bài giảng : Logic part 1HỌC VIỆN CÔNG NGHỆ BƯU CHÍNH VIỄN THÔNG LOGIC (Bản dịch) 1 Lời nói đầuMình cũng như các bạn, khi học môn logic này đã gặp phải những khó khăn khi tiếp cậnnó. Mình được biết rằng, nhiều bạn cũng vì khi mở nó ra toàn bằng tiếng Anh, mở từđiển ra để dịch thì vẫn rất khó hiểu nhiều lúc ghép lại cũng không nhìn ra được vấn đềnên việc học nhiều lúc cũng bí.Nên mình xin mạn phép được dịch nó ra, cũng coi như là một tài liệu để các bạn dùngsong song với tài liệu của thầy phát để tham khảo thêm, cũng như giúp cho các bạn trìnhđộ tiếng Anh còn yếu biết, tạm thời có tài liệu để có thêm thời gian chuẩn bị trình độtiếng Anh của mình chuẩn bị với các môn chuyên nghành tiếp theo tốt hơn. Vì tài liệucác môn chuyên nghành về sau này, theo như các thầy nói thì nói chung hầu hết là tiếngAnh.Các bạn không nên chỉ dùng tài liệu này, mà hãy dung tài liệu của thầy đã phát và chỉdùng tài liệu này như để tham khảo thêm mà thôi.Mình không dịch hết tất cả mà chỉ dịch những phần nào mà thầy đã dạy, và liên quanđến logic mà thôi để các bạn không học thầy Hải cũng có thể tiếp cận được với tài liệu.Cụ thể là sau khi tham khảo các lớp và các khoá mình dịch các phần sau: 2 - Lecture 1: từ trang 6-42 - Lecture 2: từ trang 4-28 - Lesson 4: từ slide 4.2- 4.30 - Lesson 5: từ slide 5.2- 5.20Mình trình bày các trang theo bố cục giống như trong giáo trình bài giảng thầy đã phátđể bạn tiện tham khảo. Ở mỗi trang mình cũng ghi rõ số trang hay slide tương ứng vớitài liệu.Ngoài ra còn một phần là phần phụ lục, các bạn có thể tham khảo thêm. Nó có nêu raphương pháp giải và giải một số bài tập có trong sách, cũng như giải thích một số vấn đềcác bạn hay thắc mắc khi gặp phải trong quá trình học.Mình đã cố ghắng dịch sát nghĩa nhất có thể nhưng do trình độ có hạn nhiều câu có thểkhông đúng thuật ngữ nên phải dịch lái đi hoặc đôi khi quá ghượng ép nên gây ra khóhiểu.Cuối cùng, do thời gian hoàn thành gấp rút và mình cũng chỉ là học sinh, nên nếu có điềugì đó không đúng khi dịch ra trong tài liệu này mong các bạn thông cảm. 3 Mục LụcLecture 1 5Lecture 2 43Lesson 4 69Lesson 5 99Ph ụ L ụ c 119 4LOGIC TRONG KHOA HỌC MÁY TÍNH LECTURE 1 (từ trang 6 đến trang 42) 5Trang 6: logicLogic hình thức được xác định bởi những cú pháp và ngữ nghĩa của nó.Cú pháp:  Bảng chữ cái: là một tập các kí hiệu.  Một dãy hữu hạn của những kí hiệu này được gọi là một biểu thức.  Một tập các quy tắc thì xác định nên biểu thức xây dựng đúng.Ngữ nghĩa:  Đem đến nghĩa cho biểu thức xây dựng đúng.  Định nghĩa hình thức của quy nạp và đệ quy là cần phải có để cung cấp ngữ nghĩa một cách chính xác. 6Trang 7: logic mệnh đềLogic mệnh đề đơn giản nhưng quan trọng tột cùng trong khoa học máy tính. 1. Nó là cơ sở cho những lí lẽ hàng ngày (trong lập trình, LSATs,..) 2. Nó là nguyên lí đằng sau những mạch số. 3. Một số vấn đề có thể được dịch sang logic mệnh đề 4. Nó là một phần quan trọng của những logic phức tạp hơn( cụ thể như logic bậc nhất cũng còn được gọi là logic vị từ). 7Trang 8: logic mệnh đề: cú phápBảng chữ cái:( Ngoặc trái Khởi đầu nhóm) Ngoặc phải Kết thúc nhóm Kí hiệu phủ định Tiếng Việt : không Kí hiệu phụ thuộc Tiếng Việt : và Kí hiệu độc lập Tiếng Việt : hoặc Kí hiệu điều kiện Tiếng Việt : kéo theo Kí hiệu điều kiện 2 chiều Tiếng Việt : tương đươngA1 Kí hiệu mệnh đề 1A2 Kí hiệu mệnh đề 2….An Kí hiệu mệnh đề n….Chúng ta đang cho rằng bảng chữ cái là đếm được. Nhưng, hầu như mọi kết quả củachúng ta đều thỏa mãn rằng bảng chữ cái là tập không đếm được. 8Trang 9: logic mệnh đề : cú phápBảng chữ cái:  Những kí hiệu liên từ mệnh đề: , , ,  ,  .    Những kí hiệu logic: , , ,  ,  ,(,).    Những tham số hay kí hiệu phi logic: A1, A2, A3,….Nghĩa của những kí hiệu logic thường là duy nhất. Nhưng nghĩa của các kí hiệu phi logicthì phụ thuộc vào ngữ cảnh. 9Trang 10: logic mệnh đề : cú phápMột biểu thức là một dãy những kí hiệu. Một dãy được biểu thị chính xác bởi một danhsách các phần tử bị chia bởi những dấu phẩy bị đóng trong những dấu ngoặc nhọn.Ví dụ: (A1 A2)   (( A1) A2)  ...