Mô tả
Một khóa học sau đại học cơ bản về logic toán học. Lôgic mệnh đề và lôgic vị từ, lý thuyết chứng minh, loại bỏ Cut của Gentzen, đầy đủ, tính nén (compactness), mô hình Henkin, lý thuyết mô hình, số học và tính không quyết định. Các chủ đề đặc biệt (nếu thời gian cho phép) tùy theo sở thích của giảng viên và người học.
Văn bản tham chiếu bằng ngôn ngữ gốc
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
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/grad/courses/MATH/