바로가기

모두를 위한 열린 강좌 KOCW

주메뉴

강의사진
  • 주제분류
    공학 >컴퓨터ㆍ통신 >소프트웨어공학
  • 강의학기
    2022년 1학기
  • 조회수
    7,596
  •  
강의계획서
강의계획서
이 과목의 주목적은 프로그래밍 언어들의 근간을 이루는 이론적 개념들을 익히는 것이다. 이 강좌에서는 프로그래밍 언어를 설계하고, 해당 언어로 작성된 프로그램을 실행하는 언어실행기를 구현하는 방법을 익힌다. 보조적인 목적은 함수형 프로그래밍 언어를 숙지하는 것이다.
오리엔테이션
배속
  • 이전차시
  • 다음차시

차시별 강의

PDF VIDEO SWF AUDIO DOC AX
1. 비디오 오리엔테이션 1. 학습 과정 소개 2. 학습 내용 구성 3. 사전 테스트(장애인 인식) URL
2. 비디오 귀납적 정의 (1) 프로그래밍언어 정의법인 귀납적 정의 소개 URL
3. 비디오 귀납적 정의 (2) - 1 귀납적 정의의 예 URL
비디오 귀납적 정의 (2) - 2 구조적 귀납법 및 증명 사례 URL
4. 비디오 Ocaml 기본 - 1 Ocaml 프로그래밍 언어 기본개념 소개 URL
비디오 Ocaml 기본 - 2 귀납적 자료형을 이용한 타입 정의와 패턴매치 사용법 URL
5. 비디오 재귀 및 고차 프로그래밍 - 1 함수형 언어에서의 재귀함수 정의 및 사용 URL
비디오 재귀 및 고차 프로그래밍 - 2 고차함수 정의 및 사용 URL
6. 비디오 프로그래밍 언어 설계 - 표현식 - 1 간단한 표현식 기반 언어 설계 URL
비디오 프로그래밍 언어 설계 - 표현식 - 2 간단한 표현식 기반 언어실행기 구현 URL
7. 비디오 프로그래밍 언어 설계 - 함수 - 1 언어에 함수호출 추가하여 확장 URL
비디오 프로그래밍 언어 설계 - 함수 - 2 함수호출이 가능한 언어의 실행기 구현 URL
8. 비디오 변수의 정적 유효범위 변수 선언 및 사용의 근본적 의미 이해 URL
9. 비디오 프로그래밍 언어 설계 - 메모리 상태 - 1 언어에 메모리 접근이 가능하게 확장 URL
비디오 프로그래밍 언어 설계 - 메모리 상태 - 2 언어에 메모리 접근이 가능하게 확장 URL
10. 비디오 프로그래밍 언어 설계 - 레코드, 포인터, 쓰레기수집 - 1 언어에 레코드, 메모리 포인터, 쓰레기 수집이 가능하게 확장 URL
비디오 프로그래밍 언어 설계 - 레코드, 포인터, 쓰레기수집 - 2 언어에 메모리 접근이 가능하게 확장 URL
11. 비디오 타입시스템의 동기 타입시스템의 필요성 URL
비디오 타입시스템의 설계 타입시스템의 설계 URL
12. 비디오 타입시스템 - 수동 타입 병기 수동 타입 병기 기반 타입시스템 설계 및 구현 URL
13. 비디오 타입시스템 - 자동 타입 추론 - 1 자동 타입 추론 알고리즘 URL
비디오 타입시스템 - 자동 타입 추론 - 2 자동 타입 추론 알고리즘 URL
비디오 타입시스템 - 자동 타입 추론 - 3 자동 타입 추론 알고리즘 URL
14. 비디오 Let 다형 타입 시스템 Let 다형 타입 추론 알고리즘 URL
15. 비디오 람다 계산법 - 1 프로그래밍언어들의 이론적 모델인 람다 계산법 소개 URL
비디오 람다 계산법 - 2 프로그래밍언어들의 이론적 모델인 람다 계산법 소개 URL

연관 자료

loading..

사용자 의견

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

이용방법

  • 동영상 유형 강의 이용시 필요한 프로그램 [바로가기]


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

이용조건