Logic Fundamentals: Axioms, Theorems, and Formal Proofs (bằng tiếng Anh).

Bạn có muốn hiểu cách cấu trúc kiến thức phức tạp được xây dựng từ những điểm bắt đầu đơn giản, không tranh cãi không? Chương trình này cung cấp một sự giới thiệu khái niệm rõ ràng về các yếu tố cơ bản của suy nghĩ logic. Bạn sẽ được trang bị để phân tích các lập luận, nhận ra các dẫn xuất hợp lệ, và đánh giá cấu trúc của các hệ thống chính thức được dùng trong toán học và máy tính. Bạn sẽ học được: * Hiểu định nghĩa và vai trò quan trọng của tiên đề, giả thuyết và định nghĩa trong việc xây dựng các hệ thống logic mạch lạc. * Master propositional logic, bao gồm các bảng sự thật, logical connectives, và các quy tắc cơ bản của suy luận. * Apply formal proof techniques to derive theorems and validate arguments using established axiomatic methods. * Phân tích các khái niệm quan trọng về tính nhất quán, độc lập và hoàn chỉnh trong các hệ thống chính thức. * Học cách các nguyên tắc logic nền tảng hỗ trợ các cấu trúc tính toán hiện đại, chẳng hạn như lý thuyết kiểu và quy tắc toàn vẹn cơ sở dữ liệu. Chương trình bắt đầu với thuật ngữ cốt lõi và ngữ cảnh lịch sử, tiến triển qua cơ học của logic lập luận, và kết thúc với các bài tập thực hành trong việc xây dựng lập luận chính thức và phân tích các thuộc tính hệ thống. Chương trình này được thiết kế cho người mới bắt đầu, không có kinh nghiệm trước đó trong logic hình thức, toán học, hay khoa học máy tính lý thuyết. Tất cả các khái niệm được giới thiệu từng bước bằng cách sử dụng các lời giải thích rõ ràng, bằng văn bản. Bắt đầu xây dựng nền tảng của bạn trong suy nghĩ nghiêm ngặt hôm nay.