,
학생면담시간: 월수 08:30 ~ 09:20, 11:00 ~ 11:50
집합과 수리논리 (교과목번호 881.313) 강의계획 (2018 년 1 학기)
담당교수: 계승혁, 연구실: 27-208, 전화: 880-6535, 전자우편:
,
학생면담시간: 월수 08:30 ~ 09:20, 11:00 ~ 11:50
담당조교:
조수빈, 연구실: 27-431, 전화: 880-6558, 전자우편: soobin15@학교메일, 학생면담시간: 금 13:00 - 15:00
심우주, 연구실: 27-324, 전화: 880-1491, 전자우편: dnwnzzang@학교메일, 학생면담시간: 목 09:00 - 11:00
황건호, 연구실: 27-425, 전화: 880-2667, 전자우편: hgh2134@학교메일, 학생면담시간: 화 10:00 - 12:00
시간: 월수 13:00 ~ 13:50 장소: 500-L306
1차 시험: 4/18(수) 12:30 ~ 13:50, 장소: 43-101
강의내용:
이 과목의 목적은 집합 및 함수의 기본 개념과 함께, "같다", "크다", 작다" 등
수학을 공부하는 데에 꼭 필요한 기본적인 언어를 공부하는 것이다.
이와 더불어, 자연수에서 시작하여 실수에 이르는 수의 체계, 그리고 무한집합의 기본적인 성질을 공부한다.
이 과목은 공부하기 위하여 미리 알고 있어야 할 내용은 없다.
교재:계승혁,
집합과 수의 체계, 대한수리논리학회 수리논리 연구 시리즈 3, 경문사, 2015
평가: 시험 70%, 숙제 및 기타 30%
강의일정 날짜 강의 내용 비고 3/5(월), 3/7(수) 집합 ... 3/12(월), 3/14(수) 함수 ... 3/19(월), 3/21(수) 동치관계 ... 3/26(월), 3/28(수) 순서 3/26: 수업일수 1/4선 4/2(월), 4/4(수) 자연수 4/9(월), 4/11(수) 정수와 유리수 ... 4/16(월), 4/18(수) 데데킨트절단과 실수 4/18 시험, 4/19 수업일수 12/선 4/23(화),4/25(목) 코시수열과 실수 ... 4/30(월), 5/2(수) 완비순서체 ... 5/9(수) 선택공리와 응용 ... 5/14(월), 5/16(수) 정렬집합과 서수 5/18: 수업일수 3/4선 5/21(월), 5/23(수) 무한집합과 선택공리 ... 5/28(월), 5/30(수) 기수의 연산과 순서 ... 6/4(월) 서수와 기수의 정의 ... 6/11(월) 6/11 시험
2차 시험: 6/11(월) 12:30 ~ 13:50, 장소: 43-101