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에 전달됩니다. 해당 학교에 연락하려면 학교 소개에 기재된 연락처를 이용해 주세요.