바로가기

모두를 위한 열린 강좌 KOCW

주메뉴

강의사진
  • 주제분류
    공학 >컴퓨터ㆍ통신 >컴퓨터과학
  • 강의학기
    2014년 1학기
  • 조회수
    36,302
  •  
강의계획서
강의계획서
이 교과목은 프로그램을 설계하고 검증할 수 있는 능력을 키우기 위하여 기호논리학의 기초가 되는 증명 작성 방법과 의미적으로 증명을 이해하는 방법의 내용으로 구성된다.
명제 논리: 핵심문장의 논리
배속
  • 이전차시
  • 다음차시

차시별 강의

PDF VIDEO SWF AUDIO DOC AX
1. 비디오 명제 논리: 핵심문장의 논리 1. 핵심문장 2. 논리적 타당성 URL
비디오 명제 논리: 타당성의 증명 1. 비정형적 증명 2. 정형적 증명 URL
문서 1장 1장 소스URL
2. 비디오 명제 논리: 타당성의 증명 1. 비정형적 증명 2. 정형적 증명 URL
비디오 명제 논리: 불 논리 1 불 논리연산자 (구문과 의미) URL
문서 2장 2장 소스URL
3. 비디오 명제 논리: 불 논리 1 불 논리연산자 (구문과 의미) URL
비디오 명제 논리: 불 논리 3 논리적 결과 URL
문서 3장 3장 소스URL
4. 비디오 명제 논리: 불 논리 3 논리적 결과 URL
비디오 명제 논리: 비정형 증명 1. 경우별 증명 2. 간접 증명 - 모순유도 증명 URL
문서 4장 4장 소스URL
5. 비디오 명제 논리: 비정형 증명 1. 경우별 증명 2. 간접 증명 - 모순유도 증명 URL
비디오 명제 논리: 정형 증명 1 1. 논리곱 규칙 2. 논리합 규칙 URL
문서 5장 5장 소스URL
6. 비디오 명제 논리: 정형 증명 1 1. 논리곱 규칙 2. 논리합 규칙 URL
비디오 명제 논리: 정형 증명 2 1. 논리역 규칙 2. 모순 규칙 3. 증명 전략과 전술 URL
문서 6장 6장 소스URL
7. 비디오 명제 논리: 정형 증명 2 1. 논리역 규칙 2. 모순 규칙 3. 증명 전략과 전술 URL
비디오 명제 논리: 정형 증명 3 증명 전략과 전술 - 어려운 증명 URL
문서 7장 7장 소스URL
8. 비디오 명제 논리: 조건 명제 1 1. 조건 명제 2. 상호 조건 명제 URL
문서 8장 8장 소스URL
9. 비디오 명제 논리: 조건 명제 2 조건 명제의 정형 증명 URL
문서 9장 9장 소스URL
10. 비디오 명제 논리: System F의 안전성과 완전성 1 System F의 안전성 URL
문서 10장 10장 소스URL
11. 비디오 명제 논리: System F의 안전성과 완전성 2 System F의 완전성 URL
문서 11장 11장 소스URL
12. 비디오 명제 논리: 총정리 1. 명제 논리 총정리 2. 명제 논리 문제 풀이 URL
13. 비디오 서술 논리: 정량화 소개 1 1. 적격식 2. 전칭 양화사 3. 존재 양화사 URL
14. 비디오 서술 논리: 정량화 소개 2 1. 양화사의 의미 2. 복잡 명사구의 번역 3. 대화의 함의 및 일반화 URL
15. 비디오 서술 논리: 양화사의 논리 1 1차 논리의 항진 URL

연관 자료

loading..

사용자 의견

강의 평가를 위해서는 로그인 해주세요.

이용방법

  • 비디오 강의 이용시 필요한 프로그램 [바로가기]
    문서 자료 이용시 필요한 프로그램 [바로가기]


    ※ 강의별로 교수님의 사정에 따라 전체 차시 중 일부 차시만 공개되는 경우가 있으니 양해 부탁드립니다.

이용조건