Carleton University · CGSC 5103

Формальные методы

Официальное наименование : Formal Methods

Кредиты : 0.5 кредитаГод, на который относятся данные : 2026-27

Описание

Курс знакомит студентов с различными формальными методами, релевантными когнитивной науке, возможно включая (но не ограничиваясь) формальную логику, теорию вычислимости, теорию вероятностей, теорию принятия решений.

Предварительные требования

  • Предварительное требование(я): разрешение кафедры.

Условия и порядок

  • Не допускает получения дополнительного зачёта за Не допускает получения дополнительного зачёта за CGSC 5102.
  • Предварительное требование(я): разрешение кафедры.
  • Семинар.
Текст источника на языке оригинала

The class introduces students to various formal methods relevant to cognitive science, possibly including (but not limited to) formal logic, the theory of computation, probability theory, decision theory.

  • Prerequisite(s): permission of the department.
  • Precludes additional credit for Precludes additional credit for CGSC 5102.
  • Seminar.

Источники и ссылки

Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.

Исходная ссылка : https://calendar.carleton.ca/grad/courses/CGSC/

Напишите в StudyCanada

Расскажите о своих планах или задайте вопрос. Продолжим общение по электронной почте.

Мы используем эти контактные данные, чтобы ответить на ваш вопрос. Конфиденциальность

Эта форма предназначена для StudyCanada. Чтобы связаться с учебным заведением, используйте контакты в его карточке.