Cette référence décrit le catalogue indiqué. Consultez l’établissement pour confirmer l’offre actuelle et les conditions applicables à votre rentrée.
Description
Logique en informatique Introduction approfondie à la logique mathématique, couvrant les sujets suivants : logique propositionnelle et du premier ordre ; validité, complétude et compacité de la logique du premier ordre ; théories du premier ordre ; indécidabilité et théorème d'incomplétude de Gödel ; et introduction à d'autres logiques telles que les logiques intuitionniste et modale. Application de la logique à divers domaines tels que la calculabilité, les langages de programmation, la spécification et la vérification de programmes.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://brocku.ca/webcal/2024/graduate/cosc.html