Mathematics for Computer Science

이 과정은 보안 컴퓨터 시스템의 설계 및 구현에 중점을 두며, 다양한 위협 모델과 보안 기술을 탐구합니다. 학습자는 최근 연구 논문의 통찰력을 바탕으로 운영 체제 보안, 네트워크 프로토콜, 하드웨어 보안과 같은 주제를 다루게 됩니다.

이 과정은 중요한 상황에서 말하기 능력을 향상시키기 위한 몇 가지 규칙을 배우는 데 초점을 맞추고 있습니다. 학습자는 면접, 논문 방어, 구술 시험 등 다양한 상황에서의 효과적인 발표 방법을 익힐 수 있습니다.

이 과정은 과학 및 공학을 위한 기초 이산수학을 다루며, 컴퓨터 과학에 유용한 수학적 도구와 증명 기법에 초점을 맞춥니다. 학습자는 논리 기호, 집합, 관계, 그래프 이론, 상태 머신 및 알고리즘과 같은 주제를 탐구하게 됩니다.

이 과정은 학습자들이 실시간 전략 게임인 배틀코드(Battlecode)에서 경쟁할 가상 로봇을 팀별로 제작하는 인공지능 프로그래밍 경연에 몰입하도록 합니다. 참가자들은 실습 경험과 관련 주제에 대한 선택적 강의를 통해 프로그래밍 기술을 향상시킬 수 있습니다.

이 과정은 시스템 엔지니어링, 성능 분석, 수명 주기 관리와 같은 핵심 측면을 강조하며 통합 시스템으로서의 항공기에 대한 포괄적인 개요를 제공합니다. 학습자들은 Space Shuttle's의 설계 및 운영에 대한 상세한 조사를 포함하여 실무적인 사례 연구에 참여하게 됩니다.

이 과정은 컴파일러 설계와 최적화 기법에 초점을 맞추어 고급 프로그래밍 언어 구현의 복잡한 세부 사항을 깊이 있게 다룹니다. 학습자들은 Java®를 사용하여 MIPS 실행 머신 코드를 생성하는 컴파일러를 직접 구축하는 실습 프로젝트에 참여하게 됩니다.

이 과정은 다양한 항공 및 우주선 시스템에 적용되는 피드백 제어 시스템 설계를 소개합니다. 학습자들은 효과적인 제어 시스템 구현에 필수적인 안정성, 성능 측정, 설계 방법과 같은 핵심 개념을 학습하게 됩니다.

이 과정은 영화의 형식적 구조를 통해 의미가 어떻게 생성되는지에 초점을 맞춘 영화 예술의 철학적 분석에 관한 세미나입니다. 학습자들은 외양과 실재를 둘러싼 미학적 쟁점뿐만 아니라, 영화 기술이 소통과 소외에 미치는 영향에 대해 탐구하게 됩니다.

이 과정은 시장 기회를 식별하고 정량화한 후, 기술 기반의 새로운 기업을 구상, 계획 및 창업하는 과정을 다룹니다. 학생들은 스타트업을 위한 상세한 사업 계획서를 작성합니다.

이 과정은 기호 기반의 음악 이론과 음악학에 대한 주요 접근 방식을 소개합니다. 학습자는 음악 이론 알고리즘, 음악 생성, 기계 학습 등 다양한 주제를 탐구하게 됩니다.

이 과정은 듣기, 말하기, 읽기, 쓰기 능력을 동시에 개발하는 데 중점을 둔 몰입형 일본어 학습 경험을 제공합니다. 학습자는 실제 일본 미디어 콘텐츠를 활용하여 언어와 문화에 대한 이해를 심화하게 됩니다.

이 과정은 확장 가능하고 고성능인 소프트웨어 시스템 구축에 대한 실습 중심의 프로젝트 기반 입문을 제공합니다. 학습자는 현대적인 컴퓨팅 플랫폼을 효과적으로 활용하기 위한 성능 분석, 알고리즘 기법 및 최적화를 탐구하게 됩니다.

이 과정은 재료 과학 및 공학의 다양한 주제를 시각화하여 탐구하는 튜토리얼 비디오 모음입니다. 학습자는 Wolfram Mathematica 프로그래밍 시스템을 활용하여 복잡한 개념을 쉽게 이해할 수 있는 방법을 배웁니다.

이 강좌는 '토비라(Tobira)' 6~10과에 나오는 한자를 다루는 매력적인 비디오 강의를 통해 한자 학습 효과를 높여줍니다. 학생들은 한자를 쓰는 법뿐만 아니라 각 글자에 담긴 흥미로운 이야기도 함께 배우게 됩니다.

이 과정은 학부생들이 MATLAB®에 특히 중점을 두어 프로그래밍의 기초를 배우는 것을 돕습니다. 학생들은 기본적인 프로그래밍 개념을 탐구하고 이를 수학적 문제에 적용하여 계산 능력을 향상시킬 것입니다.

이 과정은 기계 시스템의 집중 매개변수 모델에 대한 동역학 및 진동을 소개하며, 운동학, 힘-운동량 공식화, 그리고 라그랑주 방정식에 중점을 둡니다. 학습자들은 또한 동역학 및 진동 문제를 해결하기 위한 수치 해석 방법과 MATLAB® 응용 분야를 탐구하게 됩니다.

이 과정은 대화형 증명(interactive proofs), 다중 증명자 대화형 증명(multi-prover interactive proofs), 그리고 확률적으로 검사 가능한 증명(probabilistically checkable proofs)에 초점을 맞추어 컴퓨터 과학에서 증명의 진화를 탐구합니다. 학습자들은 암호학을 활용하여 이러한 고급 증명 시스템을 계산적으로 건전한 비대화형 인수(SNARGs)로 변환하는 방법을 배우게 됩니다.

이 과정은 전자 및 전기 기계 시스템에서 피드백 제어의 원리를 탐구하며, 성능과 신뢰성을 향상시키는 데 있어 피드백의 역할을 강조합니다. 학습자들은 실험과 시연을 통해 분석적 개념과 실질적인 응용을 접하게 됩니다.

이 과정에서는 신호와 시스템 분석의 기초를 다루며, 이산 시간 및 연속 시간 신호의 표현 방법과 선형 시간 불변 시스템의 표현 방법을 학습합니다. 학생들은 피드백, 제어, 통신 및 신호 처리와 같은 다양한 응용 분야에서 이론을 적용할 수 있습니다.

이 과정은 복잡한 정적 및 동적 문제를 해결하기 위한 유한 요소 해석의 기본 원리를 다룹니다. 학습자는 선형 및 비선형 분석을 위한 유한 요소 절차의 구현 방법을 배우게 됩니다.