COURSE GUIDE
수강 정보
강좌 구분
KOCW
제공처
한양대학교
교수·강사
김영훈
비용·방식
원문 확인
학습 기간
상시
— 종료일 미정
강좌 소개
기호논리학의 기초가 되는 증명 작성 방법과 의미적으로 증명을 이해하는 방법을 공부한다 익힌 기술을 사용하여 프로그램을 설계하고 검증할 수 있는 능력을 키우는 데 궁극적인 목표를 둔다 다루는 내용은 명제 논리 1차 논리 프로그램 논리 귀납법이다
핵심 정보
강좌 요약
2017년 1학기
교육 대분류
공학계열
교육 중분류
컴퓨터ㆍ통신
상세 데이터
상세 데이터
강좌 소개
기호논리학의 기초가 되는 증명 작성 방법과 의미적으로 증명을 이해하는 방법을 공부한다 익힌 기술을 사용하여 프로그램을 설계하고 검증할 수 있는 능력을 키우는 데 궁극적인 목표를 둔다 다루는 내용은 명제 논리 1차 논리 프로그램 논리 귀납법이다
교수·강사
김영훈
등록일
2018-06-14
계속 둘러보기
같은 목록에서 다른 항목도 살펴보세요.