,
학생면담시간: 추후 공지(대면 강의 시작 이후)
집합과 수리논리 (교과목번호 881.313) 강의계획 (2020 년 1 학기)
담당교수: 계승혁, 연구실: 27-208, 전화: 880-6535, 전자우편:
,
학생면담시간: 추후 공지(대면 강의 시작 이후)
담당조교: (학생면담은 대면강의 시작 이후에 실시함)
김세훈, 연구실: 27-439, 전자우편: sehun1024@학교메일, 학생면담시간: 목금 12:00 - 13:00
이헌, 연구실: 27-430, 전자우편: heoney93@학교메일, 학생면담시간: 화수 12:00 - 13:00 (4월 25일 이후)
전한울, 연구실: 27-430, 전자우편: hanuljeon95@학교메일, 학생면담시간: 화목 15:00 - 16:00
조우혁, 연구실: 27-332, 전자우편: koko1681@학교메일, 학생면담시간: 월수 14:00 - 15:00
시간: 월수 13:00 ~ 13:50 장소: 56-106
1차 시험: 4/20(월) 12:30 ~ 13:50, 장소: 추후공지
강의내용:
이 과목의 목적은 집합 및 함수의 기본 개념과 함께, "같다", "크다", 작다" 등
수학을 공부하는 데에 꼭 필요한 기본적인 언어를 공부하는 것이다.
이와 더불어, 자연수에서 시작하여 실수에 이르는 수의 체계, 그리고 무한집합의 기본적인 성질을 공부한다.
이 과목은 공부하기 위하여 미리 알고 있어야 할 내용은 없다.
교재:계승혁,
집합과 수의 체계, 대한수리논리학회 수리논리 연구 시리즈 3, 경문사, 2015
평가: 시험 70%, 숙제 및 기타 30%
강의일정 날짜 강의 내용 비고 3/2(월), 3/4(수) 집합 ... 3/9(월), 3/11(수) 함수 ... 3/16(월), 3/18(수) 동치관계 ... 3/23(월), 3/25(수) 순서 ... 3/30(월), 4/1(수) 자연수 3/30 숙제#1 (전한울 조교) 4/6(월), 4/8(수) 정수와 유리수 ... 4/13(월) 데데킨트절단과 실수 ... 4/20(월), 4/22(수) 코시수열과 실수 4/20 1차시험 (전한울, 김세훈 조교), 숙제 #2 (조우혁 조교) 4/27(월), 4/29(수) 완비순서체 ... 5/4(수), 5/6(수) 선택공리와 응용 ... 5/11(월), 5/13(수) 정렬집합과 서수 ... 5/18(월), 5/20(수) 무한집합과 선택공리 5/18 숙제 #3 (이헌 조교) 5/25(월), 5/27(수) 기수의 연산과 순서 ... 6/1(월), 6/3(수) 서수와 기수의 정의 ... 6/8(월), 6/10(수) 6/8 2차 시험 (이헌, 조우혁 조교), 숙제 #4 (김세훈 조교)
2차 시험: 6/8(월) 12:30 ~ 13:50, 장소: 추후공지