이 참고자료는 표시된 카탈로그를 설명합니다. 최신 제공 및 적용 조건은 입학 전에 기관에 확인하세요.
설명
컴퓨터과학의 논리 수리 논리에 대한 철저한 소개로 다음 주제 포함: 명제 논리 및 1차 논리; 1차 논리의 건전성, 완전성, 콤팩트성; 1차 이론; 결정 불가능성과 괴델의 불완전성 정리; 직관주의 논리 및 모달 논리와 같은 기타 논리의 소개. 계산 가능성, 프로그래밍 언어, 프로그램 명세 및 검증 등 다양한 분야에 대한 논리의 응용.
원문 참조 텍스트
Logic in Computer Science Thorough introduction to mathematical logic, covering the following topics: propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Gödel's incompleteness theorem; and an introduction to other logics such as intuitionistic and modal logics. Application of logic to various areas such as computability, programming languages, program specification and verification.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://brocku.ca/webcal/2024/graduate/cosc.html