COURSE GUIDE
수강 정보
강좌 구분
KOCW
제공처
한양대학교
교수·강사
Scott Uk Jin Lee
비용·방식
원문 확인
학습 기간
상시
— 종료일 미정
강좌 소개
이 교과목은 프로그램을 설계하고 검증할 수 있는 능력을 키우기 위하여 기호논리학의 기초가 되는 증명 작성 방법과 의미적으로 증명을 이해하는 방법의 내용으로 구성된다
핵심 정보
강좌 요약
2014년 1학기
교육 대분류
공학계열
교육 중분류
컴퓨터ㆍ통신
상세 데이터
상세 데이터
강좌 소개
이 교과목은 프로그램을 설계하고 검증할 수 있는 능력을 키우기 위하여 기호논리학의 기초가 되는 증명 작성 방법과 의미적으로 증명을 이해하는 방법의 내용으로 구성된다
교수·강사
Scott Uk Jin Lee
등록일
2015-01-13
계속 둘러보기
같은 목록에서 다른 항목도 살펴보세요.