Mô tả
Logic ký hiệu, phép toán mệnh đề và bộ số đếm vị ngữ, lý thuyết tập và lý thuyết mô hình, tính đầy đủ.
Tiền đề
- Điều kiện tiên quyết: MATH 2100 hoặc được phép của Khoa.
Điều kiện và thủ tục
- Điều kiện tiên quyết: MATH 2100 hoặc được phép của Khoa.
- Ba giờ giảng mỗi tuần.
Văn bản tham chiếu bằng ngôn ngữ gốc
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
- Prerequisite(s): MATH 2100 or permission of the School.
- Lectures three hours a week.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/undergrad/courses/MATH/