Carleton University · CGSC 5103

Méthodes formelles

Intitulé officiel : Formal Methods

Crédits : 0,5 créditAnnée de référence : 2026-27

Description

Le cours initie les étudiants à diverses méthodes formelles pertinentes pour la science cognitive, pouvant inclure (sans s’y limiter) la logique formelle, la théorie de la calculabilité, la théorie des probabilités, la théorie de la décision.

Préalables

  • Préalable(s) : permission du département.

Conditions et modalités

  • Ne permet pas l’obtention d’un crédit supplémentaire pour Ne permet pas l’obtention d’un crédit supplémentaire pour CGSC 5102.
  • Préalable(s) : permission du département.
  • Séminaire.
Texte de référence dans sa langue d’origine

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 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/grad/courses/CGSC/

Écrivez à StudyCanada

Votre projet, une question : poursuivons l’échange par courriel.

Nous utiliserons ces coordonnées pour répondre à votre demande. Confidentialité

Ce formulaire s’adresse à StudyCanada. Pour joindre cet établissement, utilisez les coordonnées indiquées dans sa fiche.