프로그래밍언어론

국민대학교
강승식

페이스북 트위터 카카오톡 네이버밴드 링크복사

주제분류

공학 >컴퓨터ㆍ통신 >컴퓨터공학
강의학기

2017년 1학기

조회수

17,762

강의계획서

프로그래밍 언어들의 유형 및 특성을 비교-분석하고, 언어의 syntax를 기술하는 방법, 구조체, 자료형 등의 프로그래밍 언어의 설계 및 문법기술 방법에 대해 학습한다. functional programming, logic programming, object-oriented programming의 특성을 비교-분석하고 응용분야에 따라 적합한 언어를 선택하는 능력과 새로운 컴퓨터 언어를 설계할 수 있는 능력을 갖게 하는 것을 목표로 한다. 새로운 언어의 특징을 습득하면서 Lisp과 Prolog를 포함하여 새로운 언어의 특징과 관련된 간단한 주제들에 대한 프로그래밍 연습을 하고 동일한 주제에 대해 언어에 따라 프로그래밍 방법이 어떻게 다른지 비교-분석을 한다.

차시별 강의

1.	프로그래밍 언어의 학습 이유	프로그래밍 언어의 학습 이유와 언어의 평가 기준
	프로그래밍 언어의 발전사	Fortran의 등장 배경 및 특징 Algol의 역사적 의미 Cobol Basic언어의 등장
2.	고급언어의 기능, 필요성, 특성	언어의 특성, 평가 기준, 언어의 구현, 통합 환경
	프로그래밍 언어의 랭킹	여러 가지 고급 언어 소개 및 그 랭킹, 사용 분야
3.	프로그래밍 언어의 발전 과정	프로그래밍 언어의 발전 과정: 1세대, 2세대, 3세대, 4세대, 5세대 언어
	새로운 언어 소개 -- Lua	Lua의 특징, 타입, 조건문, 반복문
4.	프로그래밍 언어의 Syntax 기술 방법	프로그래밍 언어의 Syntax 기술 방법으로 CFG, BNF, EBNF 등 설명
	Syntax와 Semantics, 속성문법 등	Syntax와 Semantics, 속성문법 등
5.	Lua 언어 프로그래밍 실습	Lua 언어 프로그래밍 실습, 루아의 기능, 타입, syntax
	새로운 언어 소개 -- Ruby	Ruby 언어 소개, 특징, 실습 방법
6.	새로운 언어 소개 -- Go	Go 언어의 필요성, 특성, C언어와 다른 점
	Ruby의 조건문, 반복문	if문, for문, case문, 컬렉션, iterator
7.	Go 언어 보충, lambda calculus 소개	Go 언어의 다양한 기능 소개 Lambda calculus 소개
	Lambda calculus와 Lisp 언어	Lambda calculus, 함수계산 모델, 함수형 프로그래밍
8.	Lisp: 함수형 프로그래밍(1)	Lisp, 함수형 프로그래밍
	함수형 프로그래밍, ML	함수형 프로그래밍, ML
9.	Lisp 프로그래밍 실습, SML	Lisp 프로그래밍 실습, SML
	명칭, 속성, scope, 바인딩	명칭, 속성, scope, 바인딩
10.	기본 데이터 타입	정수형, 실수형, 문자형, 스트링, 열거형, 불린 타입
	확장 데이터 타입	배열, 연관배열, 레코드, 튜플, 유니온 타입
11.	포인터 타입, 타입검사, 타입 변환 수식, 연산	포인터 타입, 타입검사 수식, 연산, 타입 변환
	조건문, 반복문	if문, switch문, for문, while문
12.	제어문 복습, subprogram 소개	부프로그램, 인자전달
	subprogram 구현	Activation record, recursion, runtime stack의 개념
13.	논리형 프로그래밍 언어: Prolog	Prolog 언어 소개 및 논리형 프로그래밍
	새로운 언어 소개: Scala	Scala 언어 소개 및 프로그래밍
14.	새로운 언어 소개: Swift	Swift 언어 소개 및 프로그래밍