설명
컴퓨터과학에서의 형식 논리 응용. 고전적 술어 계산과 같은 기호 논리를 사용하여 도메인 지식을 표현하고, 계산 문제를 모델링하며 자동 추론기를 통해 해결. 응용 분야에는 인공지능, 소프트웨어 공학, 데이터 관리 및 하드웨어 검증이 포함됨.
선수 과목
- 선수과목: COMP 2804 .
조건 및 세부사항
- 선수과목: COMP 2804 .
- 주당 강의 3시간.
원문 참조 텍스트
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/undergrad/courses/COMP/