제31기 국제정보올림피아드 여름학교 후기
2022년 7월 26일(화) ~ 8월 4일(목), 10일 동안 여름학교에 참가하였다. 아침 3시간(9:00 ~ 12:00)은 교수님들에게 교재와 함께 교육을 받고 1:00 ~ 5:30, 7:00 ~ 10:00에는 실습 사이트에서 문제를 푼다. 저녁식사를 하고 나면 7시부터 토론이 진행되는데, 각 문제를 푼 사람이 지원하거나 코치님이 지정해서 푸는 방법을 간략하게 알려준다. 1일차 - 이산수학 동치 법칙, 술어논리, 추론(명제의 증명) 증명기법(직접증명법, 대우증명법, 귀류법) 집합, 집합의 연산 함수 - 전사함수, 전단사함수 관계 - 집합에 대한 관계, 관계의 성질(반사적, 대칭적&반대칭적, 전이적), 동치관계 및 부분순서관계 음 첫 날부터 시원하게 실습을 말아먹었다. 내 위치를 정-확하게 알아버렸다....