Skip to content
Programming Language course @ HNU CE undergrad
Jupyter Notebook Other
Branch: master
Clone or download

Latest commit

Fetching latest commit…
Cannot retrieve the latest commit at this time.

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
part1 hw4 ans Dec 11, 2019
part2 Update README.md Dec 4, 2019
pih2ed add textbook examples Sep 9, 2019
.gitignore Initial commit Jul 4, 2019
Dockerfile change comment Oct 21, 2019
README.md
nbviewer_badge.svg

README.md

Programming Languages course @ HNU CE undergrad

2019년 2학기 한남대학교 컴퓨터공학과 프로그래밍언어 과목 홈페이지입니다. Binder NBviewer

Weekly class schedule:
day time room#
Wed 13:00-14:50 90410
Thr 10:00-11:50 90327

교수 연락처 / 공용 메신저 / 학교 공식 LMS

Textbook

Software

part1

part1 에 해당하는 진도는 주피터에서 실행하는 IHaskell 환경을 기본으로 진행한다.

  • 설치하지 않고 IHaskell 환경을 무료 클라우드 환경에서 직접 실행 Binder
    • 좀 느리고 브라우저를 닫거나 인터넷이 끊기면 변경사항이 남아있지 않으므로 작업하던 걸 다운로드 해놓지 않으면 변경사항을 잃어버릴 수도 있으니 주의
  • Windows 10기준 최신 Insider Preview의 WSL2에서 Docker이미지를 설치해 자신의 컴퓨터에서 이용하는 방법 https://youtu.be/faV36bsOnJs
    • 윈도우즈 업데이트 설정이 좀 시간이 걸리지만 해놓으면 편하므로 노트북이나 개인 컴퓨터에서 Windows 10을 사용한다면 이렇게 설치 가능
  • Windows 8이하에서 가상머신 등을 이용하는 방법도 있기는 한데 ...
part2

Tau Prolog

SWI Prolog

Tentative Plan

part1. 인터프리터와 타입검사를 함수형 프로그래밍으로 익혀보자
  • 0904 (1hr) 과목소개
  • 0905 (2hr) 하스켈 프로그래밍 기초
  • 0911 (1hr) 하스켈 프로그래밍 (재귀함수, 고차함수)
  • 0912 (2hr) 추석연휴
  • 0918 (1hr) 덧셈식
  • 0919 (2hr) 변수와 조건문
  • 0925 (1hr) 람다계산법
  • 0926 (2hr) 람다계산법 인터프리터
  • 1002 (1hr) 람다계산법 + 덧셈식
  • 1003 (2hr) 개천절
  • 1009 (1hr) 한글날
  • 1010 (1hr) 단순타입 람다계산법
  • 1016 (1hr) 단순타입 람다계산법 타입검사
  • 1017 (2hr) 명제논리 항진명제 검사
  • 1023 (1hr) 총정리
  • 1024 (2hr) 중간고사
part2. 논리형 프로그래밍에 대해 알아보자
  • 1030 (1hr) 프롤로그 프로그래밍 기초
  • 1031 (2hr) 프롤로그 프로그래밍 (...)
  • 1106 (1hr) ...
  • 1107 (2hr) ...
  • 1113 (1hr) ...
  • 1114 (2hr) ...
  • 1120 (1hr) ...
  • 1121 (2hr) ...
  • 1127 (1hr) ...
  • 1128 (2hr) ...
  • 1204 (1hr) ...
  • 결손대체보강주간 (5hr)
  • 1118 (1hr)
  • 1120 (2hr)
You can’t perform that action at this time.