Lec 1 | MIT 6.042J 컴퓨터 과학을 위한 수학, 2010년 가을학기

이는 MIT OCW의 전통적인 과정인 '컴퓨터 과학 수학'의 기초 강의로, 유명한 교수인 Tom Leighton이 2010년 가을 학기의 첫 번째 강의를 주최했습니다. 내용 배경에서는 컴퓨터 과학 전공을 위해 설계된 과정으로, 수학 기초와离散 수학 핵심을 보완하는 데 목적이 있습니다. 이 강의는 "소개와 증명"에 집중하여, 이후 알고리즘 분석, 그래프 이론, 확률론 등의 내용에 대한 논리적 출발점을 마련합니다. 최고의 관점은 Leighton 교수가 컴퓨터 과학에서 수학의 중요한 역할을 생동감 있게 설명하며, 증명의 기본 방법을 체계적으로 강의하는 데 있습니다. 직접 증명, 반대 증명, 유도법 등을 포함하며, "정확한 추리"가 프로그래밍과 시스템 설계의 기본 능력임을 강조합니다. 2010년의 기록물이지만, 수학과 논리 내용은 시간이 지나도 변하지 않으며, 교수의 명확한 보드 작업과 구술 강의로 인해 더욱 고전적인 풍미를 더합니다. 적합한 인원은 컴퓨터 과학 학부생, 알고리즘 면접을 준비하는 개발자,离散 수학 기초를 강화하고자 하는 독학자들입니다. 시청 권장 사항은 모든 증명의 세부 사항을 한 번에 이해하려고 하지 않고, "왜 수학을 배워야 하는지"와 "증명의 사고 과정은 어떻게 생겨나는지"를 이해하고, OCW 강의 페이지의 교재와 과제를 통해 연습하는 것이 더 나은 결과를 가져옵니다.