Данная справка описывает указанный каталог. Обратитесь в учреждение, чтобы подтвердить актуальное предложение и условия, применимые к вашему началу обучения.
Описание
Логика в информатике Тщательное введение в математическую логику, охватывающее следующие темы: пропозициональная и логика первого порядка; корректность, полнота и компактность логики первого порядка; теории первого порядка; неразрешимость и теорема Гёделя о неполноте; введение в другие логики, такие как интуиционистская и модальная логики. Применение логики в различных областях, таких как вычислимость, языки программирования, спецификация и верификация программ.
Текст источника на языке оригинала
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.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://brocku.ca/webcal/2024/graduate/cosc.html