집합과 수리논리 (학부 2학년, 2014 년 1 학기)

담당교수: 계승혁, 연구실: 27-208, 전화: 880-6535, 전자우편:
면담시간: 월 수 13:30 - 15:00

초안지: 여기를 보시기 바랍니다.

담당조교:
이주아, 연구실: 27-434, 전화: 880-6266, 전자우편: jualee at 학교메일, 학생면담시간: 금 10:00-12:00
김명재, 연구실: 27-430, 전화: 880-1313, 전자우편: device89 at 학교메일, 학생면담시간: 화목 10:00-11:00
정근영, 연구실: 27-324, 전화: 880-1491, 전자우편: waffiic at 학교메일, 학생면담시간: 금 14:00-16:00

강의 시간: 월수, 11:00-12:15,

장소: 28-102

중간고사: 4월 28일(월) 11:00-12:15
기말고사: 6월 16일(월) 11:00-12:15

강의록: 수시로 보충하여 게시할 예정임
기본개념: 명제와 집합, 함수, 동치관계, 순서집합
수의 체계: 자연수, 정수와 유리수, 데데킨트절단과 실수, 코시수열과 실수, 완비순서체
무한집합: 선택공리, 선택공리의 응용, 정렬집합과 서수, 무한집합과 선택공리, 기수의 연산과 순서, 서수와 기수의 정의
공리계: 집합론의 공리, 무모순성과 독립성

숙제게시판

평가: 시험 70%, 숙제 및 기타 30%