Описание
Применение формальной логики в информатике. Символические логики, такие как классическое предикатное исчисление, используются для представления предметных знаний, моделирования вычислительных задач и их решения с помощью автоматизированных рассуждателей. Применения включают искусственный интеллект, разработку программного обеспечения, управление данными и верификацию аппаратного обеспечения.
Предварительные требования
- Предварительные требования: COMP 2804 .
Условия и порядок
- Предварительные требования: COMP 2804 .
- Лекции три часа в неделю.
Текст источника на языке оригинала
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.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/undergrad/courses/COMP/