강의노트를 PDF 파일로 제공하던 것을 구글 코랩으로 옮기고 있습니다. (2023년 4월부터)

mindconnect.ipynb

1. 집합론, 수학의 언어 (1절. 집합을 나타내는 법: 원소나열법과 조건제시법, 집합을 만드는 법, 집합의 같음과 다름) (2절. 집합의 연산과 그 기본성질: 연산, 기본적 정리와 연습문제) (3절. 함수: 관계와 함수, 단사/전사/전단사, 기수와 칸토르의 역설)
   • Set1a.mp4 (34min26sec, 61,594KB, 2018-06-12)
   • Set1b.mp4 (16min30sec, 30,947KB, 2018-06-12)
   • Set1c.mp4 (29min43sec, 55,756KB, 2018-06-12)
   • Set1d.mp4 (19min54sec, 39,837KB, 2018-06-13)
   • Set1e.mp4 (25min35sec, 52,082, 2018-06-13)
   • [part1_set.pdf], [part1_set_4in1.pdf] (2018-06-14)
2. 함수 (1절. 역함수: 항등함수/좌역함수/우역함수, 역함수) (2절. 함수의 상과 역상: 상, 역상) (3절. 문제 모음: Part 1, Part 2)
   • Set2a.mp4 (22min52sec, 39,096KB, 2018-06-12)
   • Set2b.mp4 (43min51sec, 76,276KB, 2018-06-12)
   • [part2_function.pdf], [part2_function_4in1.pdf] (2018-06-14)
3. 관계 (1절. 관계: 관계의 성질, 관계의 예, 관계의 연산), (2절. 분할과 동등관계: 분할, 동등관계, 합동관계), (3절. 순서관계: 반순서와 전순서, 최대원/극대원/최소원/극대원, 상계/최소상계/하계/최대하계)
   • 동영상은 준비중입니다.
   • [part3_relation.pdf], [part3_relation_4in1.pdf] (2018-09-01)
4. 몇 가지 토픽 (1절. 준동형사상과 몫구조: 순서집합의 동형사상, 순서의 일반화, 군(Groups)), (2절. 폐포연산: 정의와 예, 순서집합에서의 폐포연산, 관계의 폐포/언어의 폐포), (3절: 수학적 귀납법: 귀납적 구성, 귀납적 증명, 귀납적 수열)
   • 동영상은 준비중입니다.
   • [part4_topics.pdf], [part4_topic_4in1.pdf] (2018-09-01)
5. 기수와 서수 (준비중. 기수, 서수)
6. 증명을 쓰는 법 (준비중. 증명의 구조, 연습)