논리학 담당교수 김영훈 강의수 13 수강 1151 제작연도 NCS분류 공학 >컴퓨터ㆍ통신 >소프트웨어공학 강의설명 기호논리학의 기초가 되는 증명 작성 방법과 의미적으로 증명을 이해하는 방법을 공부한다. 익힌 기술을 사용하여 프로그램을 설계하고 검증할 수 있는 능력을 키우는 데 궁극적인 목표를 둔다. 다루는 내용은 명제 논리, 1차 논리, 프로그램 논리, 귀납법이다. 강의보기 목록
HRD 콘텐츠
로그인
