Carleton University · CGSC 5103

Métodos Formales

Título oficial : Formal Methods

Créditos : 0.5 créditoAño de referencia : 2026-27

Descripción

La clase introduce a los estudiantes en varios métodos formales relevantes para la ciencia cognitiva, posiblemente incluyendo (pero no limitándose a) lógica formal, teoría de la computación, teoría de la probabilidad, teoría de la decisión.

Prerrequisitos

  • Requisito(s): permiso del departamento.

Condiciones y modalidades

  • Impide crédito adicional por Impide crédito adicional por CGSC 5102.
  • Requisito(s): permiso del departamento.
  • Seminario.
Texto de referencia en su idioma de origen

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.

Fuentes y referencias

Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.

Referencia de la fuente : https://calendar.carleton.ca/grad/courses/CGSC/

Escribe a StudyCanada

Tu proyecto o una pregunta: continuemos por correo electrónico.

Utilizaremos estos datos para responder a tu consulta. Privacidad

Este formulario se dirige a StudyCanada. Para contactar con esta institución, utiliza los datos de su ficha.