Carleton University · CGSC 5103

Formal Methods

Credits : 0.5 creditReference year : 2026-27

Description

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.

Prerequisites

  • Prerequisite(s): permission of the department.

Conditions and arrangements

  • Precludes additional credit for Precludes additional credit for CGSC 5102.
  • Prerequisite(s): permission of the department.
  • Seminar.
Reference text in its original language

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.

Sources and references

Dates and sources are retained to help you verify the information. Translations are provided to facilitate reading; the official source governs conditions and requirements.

Source reference : https://calendar.carleton.ca/grad/courses/CGSC/

International students Current rules

The rules for studying in Canada.

Study permits, proof of funds, Québec requirements, work and options after graduation: explore the steps, amounts and tables in our complete guide.

Guide currently in French
Read the guide

Write to StudyCanada

Your plans or a question: let’s continue the conversation by email.

We will use these details to reply to your enquiry. Privacy

This form contacts StudyCanada. To contact this institution, use the details on its profile.