Tham chiếu này mô tả mục lục được chỉ ra. Hãy liên hệ cơ sở để xác nhận chương trình hiện tại và các điều kiện áp dụng cho kỳ nhập học của bạn.
Mô tả
Logic trong Khoa học Máy tính Giới thiệu toàn diện về logic toán học, bao gồm các chủ đề sau: logic mệnh đề và logic bậc nhất; tính chặt chẽ, đầy đủ và tính cô đặc của logic bậc nhất; các lý thuyết bậc nhất; sự không quyết định được và định lý bất toàn của Gödel; và giới thiệu về các logic khác như logic trực giác và logic mệnh đề-modal. Ứng dụng của logic vào các lĩnh vực như tính khả tính, ngôn ngữ lập trình, đặc tả và xác minh chương trình.
Văn bản tham chiếu bằng ngôn ngữ gốc
Logic in Computer Science Thorough introduction to mathematical logic, covering the following topics: propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Gödel's incompleteness theorem; and an introduction to other logics such as intuitionistic and modal logics. Application of logic to various areas such as computability, programming languages, program specification and verification.
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://brocku.ca/webcal/2024/graduate/cosc.html