Description
Applications de la logique formelle en informatique. Des logiques symboliques telles que le calcul des prédicats classique sont utilisées pour représenter les connaissances du domaine, modéliser des problèmes informatiques et les résoudre au moyen de raisonneurs automatisés. Les applications incluent l'intelligence artificielle, l'ingénierie logicielle, la gestion des données et la vérification matérielle.
Préalables
- Préalable(s) : COMP 2804 .
Conditions et modalités
- Préalable(s) : COMP 2804 .
- Cours magistral de trois heures par semaine.
Texte de référence dans sa langue d’origine
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
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://calendar.carleton.ca/undergrad/courses/COMP/