Foundational Mathematics: Logic, Sets, and Proofs (bằng tiếng Anh).

Một hiểu biết vững chắc về các nền tảng toán học là quan trọng đối với giải quyết vấn đề trong bất kỳ lĩnh vực kỹ thuật hoặc khoa học nào. Lớp học này thiết lập các khái niệm cốt lõi cần thiết để suy nghĩ một cách phê bình và logic. Vào cuối khóa học này, bạn sẽ có thể giải thích, xây dựng và phân tích các lập luận toán học bằng cách sử dụng ký hiệu logic chính xác và lý thuyết tập hợp. Bạn sẽ có được niềm tin trong việc áp dụng các kỹ thuật suy luận chính thức để giải quyết các vấn đề phức tạp. Bạn sẽ học được: * Hiểu được các nền tảng của logic mệnh đề và tiên đề, bao gồm bảng sự thật và tương đương logic. * Giỏi ngôn ngữ lý thuyết tập hợp, bao gồm các thao tác, mối quan hệ và hàm, cần thiết cho cấu trúc dữ liệu và mô hình hóa. * Học các kỹ thuật chứng minh khác nhau, chẳng hạn như chứng minh trực tiếp, chứng minh bằng mâu thuẫn, và cảm ứng toán học. * Apply principles of Boolean algebra and discrete structures related to computer science and digital systems. * Thực hành dịch các lập luận ngôn ngữ phức tạp thành các phát biểu toán học chính xác cho phân tích nghiêm ngặt. Chương trình bắt đầu với các định nghĩa và ký hiệu cơ bản, tiến hành thông qua các giải thích chi tiết về hệ thống logic và lý thuyết tập hợp. Nội dung nhấn mạnh áp dụng các khái niệm lý thuyết thông qua các bài tập thực hành có cấu trúc. Lớp học này được thiết kế cho người mới bắt đầu cần một nền tảng vững chắc trong lập luận toán học. Không cần kiến thức trước về toán học tiên tiến. Bắt đầu xây dựng kỹ năng logic và phân tích của bạn hôm nay.