Introduction to Theoretical Computer Science: Logic and Complexity (bằng tiếng Anh).

Đằng sau mỗi dòng mã là một thế giới toán học giàu có về logic, mô hình tính toán, và giới hạn phức tạp. Hiểu được những nền tảng lý thuyết này là chìa khóa để viết các thuật toán hiệu quả và giải quyết các vấn đề tính toán phức hợp. Trong khóa học dựa trên văn bản này, bạn sẽ chuyển từ việc chỉ viết mã sang suy nghĩ như một nhà khoa học máy tính. Bạn sẽ nắm vững các khái niệm cơ bản điều khiển những gì máy tính có thể và không thể giải quyết, học cách phân tích hiệu quả thuật toán và đo lường độ phức tạp tính toán với sự tự tin. Bạn sẽ học được: - Hiểu được nền tảng toán học của logic, đại số Boolean, và ngôn ngữ chính thức. - Phân tích độ phức tạp của thuật toán sử dụng ký hiệu Big-O để đánh giá hiệu quả thời gian và không gian. - Tìm hiểu các mô hình tính toán cơ bản, bao gồm máy tự động hữu hạn và máy Turing. - Học các khái niệm cốt lõi của các lớp phức tạp, chẳng hạn như P so với NP, và các hàm ý của chúng trong thế giới thực. - Ứng dụng lập luận logic để phân tích và giải quyết các vấn đề tính toán phức tạp. - Xem cách mã hóa hiện đại dựa trên các vấn đề tính toán khó để bảo mật dữ liệu. Chương trình bắt đầu với những định nghĩa cơ bản về logic và tính toán trước khi hướng dẫn bạn qua cơ chế của phân tích thuật toán, các lớp phức tạp, và giới hạn của những gì có thể tính toán. Bạn sẽ tiến bộ qua các bài học có cấu trúc dựa trên văn bản và các bài tập tư duy thực tiễn được thiết kế để xây dựng sự rõ ràng về khái niệm sâu sắc. Chương trình này được thiết kế cho những lập trình viên mới, những người đam mê toán học, và những người tò mò muốn hiểu lý thuyết đằng sau máy tính; không cần phải có nền tảng toán học cao cấp. Hãy bắt đầu khám phá những nguyên lý toán học thanh lịch, là động lực của thế giới số ngày nay.