대학원 교과목 개요 1 페이지 > 서울대학교 수리과학부

학점 구분 : 주당    교과목 번호 :3341.601    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

대수적 관점에서 다양체를 공부하기 위하여, 환이나 가군의 차원, 심도와 이에 관련된 정리를 배운고, 이를 바탕으로 Cohen-Macaulay 환, Gorenstein 환, 완전교차환, 정규환 등에 대한 성질을 배운다.

This course covers how to study varieties from an algebraic perspective, dimensions and depths (of rings and modules) and related theorems. The course continues with a discussion of Cohen-Macaulay rings, Gorenstein rings, complete intersection rings and regular rings.
학점 구분 : 주당    교과목 번호 :3341.752    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

계산 정수론은 정수의 성질과 그에 대한 계산 기법을 연구하는 수학의 한 분야이다. 이 과목에서는 다양한 계산 알고리즘을 통해 여러가지 정수론의 문제를 해결하는 방법을 배우고 이의 계산 복잡도를 이해하게 된다. 구체적으로는 컴퓨터의 빠른 연산에 활용되는 고속푸리에변환 (FFT) 계열의 알고리즘, 암호의 고속구현과 안전성 증명을 위해 활용되는 유클리드 호제법/소수판정/소인수분해 등의 알고리즘과 더불어 최근 떠오르고 있는 양자컴퓨터에 안전한 암호기술을 만들기 위한 격자 이론과 격자 알고리즘을 배운다. 이 과목을 통해 학생들은 정수론의 깊이 있는 이해와 더불어, 실제 IT와 AI시대에 필요한 계산 기법을 습득할 수 있다.

Computational Number Theory is a branch of mathematics that studies the properties of integers and computational techniques to solve integer-related problems. In this course, students will learn how to solve various number theory problems using a variety of computational algorithms and understand their computational complexity. Specifically, students will study FFT-based algorithms for fast computation, cryptographic algorithms such as the Euclidean algorithm, primality testing, and factorization as well as lattice theory and lattice algorithms, which are emerging for creating cryptographic techniques secure against quantum computers. Through this course, students will gain a deep understanding of number theory and acquire computational techniques essential for the IT and AI era.
학점 구분 : 주당    교과목 번호 :M1407.002700    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

이 과목은 기계 학습 알고리즘의 수학적 이론을 이해하고 이를 통해 더 나은 기계 학습 방법을 설계하는 데 초점을 맞춘다. PAC 학습, VC 차원, Rademacher 복잡도, 커널 방법과 RKHS, 경사 하강법, 뉴턴 방법, 확률적 경사 하강법, 경사 하강의 연속 시간 모델 등을 다룬다.

This course focuses on understanding the mathematical theory behind machine learning algorithms and aims to use mathematical reasoning to design better machine learning methods. The topics include reproducing kernel Hilbert spaces and kernel methods, gradient descent, Rademacher complexity, Newton's method, stochastic gradient descent, and continuous-time models of gradient descent.
학점 구분 : 주당    교과목 번호 :3341.642    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

3 차원 다양체론, minimal surface를 이용한 3 차원 다양체론, Alexander 불변량, 정칙공간의 정칙성 등을 배운다.

This course covers 3 dimensional topology, application of minimal surface theory to 3 manifold topology, Alexander invariant and rigidity of symmetric spaces.
학점 구분 : 주당    교과목 번호 :M1407.001700    학점 : 3    이론 : 0    실습 : 6    학년 : 0    성적부여방법 : S/U

기하학 & 위상수학의 최신 연구 경향 및 연구 흐름을 강의 및 토론을 통해 체계적으로 파악하여 연구 활동에 효율적이고 실질적인 필요한 자산을 체득하도록 한다.

This course is designed to lecture advanced techniques and themes in the field of Geometry & Topology. It is expected that students learn efficient planning and performance in their research topics through practice sessions.
학점 구분 : 주당    교과목 번호 :3341.731A    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

이 교과목은 기하학을 전공으로 하는 학생들을 대상으로 기하학 분야의 최신 연구주제를 소 개한다. 학기마다 다른 주제를 다룰 수 있으니 강의계획서 확인을 요한다.

This course is designed for students majoring in geometry and introduces them to recent developments in the field of geometry. Different topics may be covered each semester, so please refer to the course syllabus for details.
학점 구분 : 주당    교과목 번호 :3341.622    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

Hartog 현상, 정칙대역 및 Levi 문제, 폴리-디스크 상의 적분 공식, Bochner-Martinelli 적분, Bergman 핵함수, 다중준조화함수, 의사볼록 영역, 미분형식에 관한 Cauchy-Riemann 방정식의 Hoermander의 해 등을 배운다.

This course covers Hartog's phenomenon, domain of holomorphy and the Levi problem, integral formula for polydisks, Bochner-Martinelli integral, Bergman kernel, plurisubharmonic functions, pseudo-convexity, and Hoermander's solution of the d-bar problem.
학점 구분 : 주당    교과목 번호 :3341.613    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

대수기하학은 유한 개 다항식의 공통 해집합을 공간으로 생각하여 그 공간의 기하학을 공부하는 학문이다. 미분기하학에서 metric을 이용하여 미분방정식을 고려하여 불변량을 얻어내고 공간을 공부하듯이 대수기하학은 대수학과 선형방정식을 이용하여 이를 공부하며, 따라서 미분기하학적 대상을 쉽게 이해하고자 하는 철학을 바탕으로 하고 있다. 
대수기하학의 가장 기본이 되는 도구는 공간 위에서 정의된 다항 함수들이 만드는 환 구조와 그 환의 모듈들이다. 이 모듈은 대수다양체 위에서 (모듈의) 쉬프라고 불린다. 대수기하학의 중요한 불변량들은 이러한 쉬프 코호몰로지와 그 차원들로 얻어진다. 따라서 대수기하의 핵심적인 부분은 이 것들의 효율적인 계산인데, 이 내용은 호몰로지 대수의 언어로 잘 발달되어 있다. 쉬프들의 범주를 고려하면, 이 범주들 사이의 함자들은 완전성을 보존하도록 설계되어 계산을 용이하게 한다. 이 것은 다양체 위에서 유도 범주, 유도 함자의 언어로 구체화 되어, 이 과정들을 배운다. 이것을 추상적인 삼각화범주의 언어로 배운다.

Algebraic geometry studies a space defined as common solution of finitely many polynomials. While invariants describing spaces are obtained by considering metrics and differential equations in differential geometry, algebra and linear equations are used in algebraic geometry. This philosophy reflects an easier understanding of the subjects in differential geometry.
The basic ingredients of algebraic geometry are a ring of functions and its modules. The modules are called sheaves (of modules) on varieties. These produce important invariants, sheaf cohomologies and their ranks. So their computations are important in algebraic geometry. Homological algebra helps us to compute these. Functors between categories of sheaves are exact in derived world so that we can use them for computations. We study all these with the language of triangulated category in an abstract way. 
학점 구분 : 주당    교과목 번호 :3341.714    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

미리 정해진 부제와 관련된 내용을 학습한다.

This course introduces relevant topics which vary each semester.
학점 구분 : 주당    교과목 번호 :3341.607    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

기본군과 피복공간, 호모토피 이론, 호몰로지 이론 등 대수적 위상수학의 기초적인 내용을 다룬다.

This course covers basic topics from algebraic topology including the theory of fundamental group, covering space, and homotopy theories.
학점 구분 : 주당    교과목 번호 :3341.608    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

"대수적위상수학 1"의 연속강의로서 호몰로지, CW-컴플렉스, 코호몰로지, 향, Poincare 대칭성, 코호몰로지 곱 등을 다룬다.

As a sequel to "Algebraic Topology1", this course covers such topics as CW-complex, cohomology, orientation, Poincare duality, and cup product.
학점 구분 : 주당    교과목 번호 :3341.611    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

대수적수 이론의 기초를 대학원생을 대상으로 소개한다. 배경이 되는 환론의 기초 개념인 discrete valuation ring과 Dedekind domain을 학습한다. 대수적수 및 관련 아이디얼의 소인수분해에 대해 학습한다. 이차체의 예시를 학습한다. Class group의 유한성 및 Dirichlet unit theorem을 배운다. 원분체의 기본적 성질을 배운다. 시간이 남으면 이차형식, 타원곡선, 국소체 등을 소개한다. 본 과목을 성공적으로 이수하여 유체론, 보형형식, 타원곡선의 산술 등에 보다 쉽게 접근할 수 있다.

This is an introduction to the theory of algebraic numbers aimed at graduate students. Backgrounds on commutative algebra, such as discrete valuation rings and Dedekind domains are provided. Factorization of algebraic numbers and related ideals are introduced. Quadratic fields are treated as examples. Finiteness of the class number and the Dirichlet unit theorem are covered. Basic properties of cyclotomic fields are introduced. If time permits, we cover quadratic forms, elliptic curves, and local fields. Successful students will be better prepared to access topics such as class field theory, modular forms, and arithmetic of elliptic curves.
학점 구분 : 주당    교과목 번호 :3341.501    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

석박사과정 일반 대수학 지식을 전달을 목적으로 하는 대수학1-3 중 첫 번째 과목이다.
수학 전분야에서 자연스럽게 등장하는 군, 환, 체의 대수적 개념을 심화하여 학습하고, 이를 일변수다항방정식의 풀이와 근의 구조의 이해에 적용한다. 군론에서는 사물의 대칭과 변환을 기술해주는 군의 기본적 성질, 건설, 및 분류를 다루며, 구체적으로는 동형정리, 가해군 등의 일반군론, 실로우부분군, 대칭군 등 유한군론과, 자유가환군과 가환군의 구조정리 등 가환군론을 다룬다. 또한 기초 범주론, 쌍대군, 역극한, 함자, 자유군 등을 다룬다. 환론에서는 정수, 함수, 다항식 등 여러 범주에서 정의되는 사칙연산의 기본적인 성질들을 일반화 하고, 하위 주제로 환, 가군, 아이디얼, 중국인의 나머지 정리, 대수, 다항식환 등을 다룬다. 가환환 관련 주아이이얼역, 유일분해, 가우스 보조정리, 기약 판별법, 국소화, 뇌터환, 힐베르트 기저 정리를 다룬다. 체론에서는 확장체의 성질과 단위거듭제곱근, 노름과 자취, 순환 확장체, 가해 확장체 등을 다루고, 궁극적으로 일변수다항방정식의 근의 군론적 구조를 수 체계의 확장과 연결시켜주는 갈루아 이론을 다룬다.

This is the first in a series of three courses in Algebra, aimed at delivering general knowledge in algebra for graduate students.
 The first course is an in-depth study of the algebraic concepts of groups, rings, and fields, which naturally arise across various mathematical disciplines. These concepts are then applied to the solution of univariate polynomial equations and understanding the structure of their roots.
In group theory, fundamental properties, constructions, and classifications of groups describing symmetry and transformations are covered. Topics include general group theory (isomorphism theorems, solvable groups, etc.), finite group theory (Sylow subgroups, symmetric groups, etc.), and abelian groups (free abelian groups, structure of finitely generated abelian groups, etc.). Additionally, basic category theory, dual groups, inverse limits, and free groups are addressed. In ring theory, basic properties of arithmetic operations defined in various settings such as integers, functions, and polynomials are generalized. Subtopics include rings, modules, ideals, the Chinese Remainder Theorem, algebras, and polynomial rings. Relevant topics in commutative algebra such as principal ideal domains, unique factorization, Gauss's Lemma, irreducibility criteria, localization, Noetherian rings, and Hilbert's Basis Theorem are also covered. Field theory encompasses properties of extension fields, roots of unity, norms and traces, cyclic extensions, and radical extensions. Galois theory is introduced to connect the group-theoretic structure of roots of univariate polynomials with field extensions in a systematic way.
학점 구분 : 주당    교과목 번호 :3341.502    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

석박사과정 일반 대수학 지식을 전달을 목적으로 하는 대수학1-3 중 두 번째 과목이다.

선형대수학의 확장인 가군을 다루고, 대수방정식 이론의 기초를 소개한다. 전반부에서는 기초범주론, 가군이론, 텐서곱을 배운다. 기초범주론 내용으로 요네다 보조정리와 극한의 개념을 학습한다. 가군은 벡터공간의 연산 등 선형대수학의 기술을 보다 폭넓은 분야에서 적용할 수 있게 해주는 개념이며, 한편으로는 환의 작용을 통한 환론의 심화 연구에 필수적이다. 이 과목에서는 가군이론을 복습한 후 자유가군, 사영가군, 단사가군, 단사싸개 등의 개념을 학습한다. 주아이디얼역의 가군 및 구조정리에 대에 대해 학습한다. 텐서곱의 정의, 평가군, 대수의 텐서곱, 텐서대수, 대칭대수, 외대수 등을 학습한다. 두번째 대주제인 대수방정식 이론에서는, 다항방정식을 현대적으로 해석하여 유한생성 대수의 기본 산술이론을 다루고, 가환대수와 대수기하의 토대를 다진다. 구체적으로 정수확장, 초월기저, 영점정리, 소거, 결과식 등을 학습한다.

This is the second in a series of three courses in Algebra, aimed at delivering general knowledge in algebra for graduate students. The second course deals with the extension of linear algebra into the realm of modules, as well as the foundations of the general theory of algebraic equations.

 In the first main part, basic category theory, module theory, and tensor products are covered. Within category theory, students learn about the Yoneda Lemma and the concept of limits. Modules extend the techniques of linear algebra, such as operations on vector spaces, to a broader realm of applications. Moreover, they are essential for a deeper study in ring theory through the actions of rings. In this course, after reviewing module theory, concepts such as free modules, projective modules, injective modules, and injective envelopes are covered. Students learn about the structure theory of modules over principal ideal domains. Tensor products, flat modules, tensor products of algebras, tensor algebras, symmetric algebras, and exterior algebras are studied. The second main part of the course, algebraic equation theory, interprets polynomial equations in a modern context, covering the basic arithmetic theory of finitely generated algebras and laying the foundations for commutative algebra and algebraic geometry. Specifically, topics such as integral extensions, transcendence bases, the Hilbert Nullstellensatz, elimination theory, and resultants are covered.

학점 구분 : 주당    교과목 번호 :M1407.001600    학점 : 3    이론 : 0    실습 : 6    학년 : 0    성적부여방법 : S/U

대수학의 최신 연구 경향 및 연구 흐름을 강의 및 토론을 통해 체계적으로 파악하여 연구 활동에 효율적이고 실질적인 필요한 자산을 체득하도록 한다.

This course is designed to lecture advanced techniques and themes in the field of Algebra. It is expected that students learn efficient planning and performance in their research topics through practice sessions.
학점 구분 : 주당    교과목 번호 :M1407.003300    학점 : 3    이론 : 3    실습 : 0    학년 :     성적부여방법 : A~F

석박사과정 일반 대수학 지식을 전달을 목적으로 하는 대수학1-3 중 세 번째 과목이다. 특히, 이 교과목에서는 환과 가군을 심화하여 학습한다. 대주제로 준단순성, 유한군의 선형표현, 호몰로지대수를 다룬다. 준단순성 관련하여 밀도정리, 제이콥슨근, 균형가군, 모리타 정리 등을 배운다. 유한군의 표현이론은 역사적으로 유한군의 분류에 중요한 역할을 하였고, 현대 표현론의 기초를 이룬다. 또한 유한군대수는 준단순성 대수론의 중요한 예제이기도 하다. 유한군의 선형표현과 관련하여 군대수, 마스케 정리, 특성, 직교성, 전도표현, 매키 정리, 아틴 정리, 브라우어 정리를 학습한다. 한편, 일반적으로 준단순성이 성립하지 않는 환의 가군이론에는 호몰로지라는 개념이 필연적으로 발생하는데, 이 과목에서는 호몰로지대수 관련하여, 정열, 뱀 보조정리, 복함체, 아벨범주, 장정열, 복합체변형, 사상뿔, 델타-함자, 유도함자, 토션함자를 다룬다.


 This is the third in a series of three courses in Algebra, aimed at delivering general knowledge in algebra for graduate students.

The third course delves deeper into rings and modules. Major topics covered include semisimplicity, representation theory of finite groups, and homological algebra.

 Regarding semisimplicity, students learn about density theorems, Jacobson radicals, balanced modules, and Morita theory. The theory of linear representations of finite groups has historically played a crucial role in the classification of finite groups and forms the basis of modern representation theory. Additionally, group algebras of finite groups serve as important examples in the theory of semisimplicity. In the context of representations of finite groups, students study group algebras, Maschke's theorem, characters, orthogonality, induced representations, Mackey theory, Artin's theorem, and Brauer's theorem. In the theory of modules over general rings that are not semisimple, the concept of homology inevitably arises. In this course, topics in homological algebra such as resolutions, snake lemma, complexes, abelian categories, exact sequences, transformations of complexes, mapping cones, delta-functors, derived functors, and torsion functors are covered.

학점 구분 : 주당    교과목 번호 :3341.715    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

미리 정해진 부제와 관련된 내용을 학습한다.

This course introduces relevant topics which vary each semester.
학점 구분 : 주당    교과목 번호 :3341.803    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : S/U



학점 구분 : 주당    교과목 번호 :3341.631    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

해석다양체의 기초, 위상군의 기초적인 성질, Lie 군의 Lie 대수, 지수사상, Lie 군의 표준계, Lie 군의 부분군과 상군, 등질공간, 수반표현, covering군, PBW정리와 Campbell-Hausdorff 정리, 컴팩트 연결 Lie 군의 구조 등을 다룬다.

This course covers basic theory of Lie groups and other topics such as homogeneous space, covering groups, sub-Lie groups, Campbell-Hausdorff's theorem, the structure of compact Lie groups, and PBW theorem.
학점 구분 : 주당    교과목 번호 :3341.612    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

리대수는 리군이라는 기하학적 구조의 접평면으로 나타나는 대수적 구조이다. 리대수와 리군의 구조는 서로 밀접하게 연결되어 있어 한 쪽에 대한 정보는 다른 쪽에 대한 정보를 준다. 리대수는 또한 양자역학 및 입자물리에서 자연스럽게 등장하는 구조이다. 이 강좌는 주로 유한차원 복소 준단순 리대수 이론을 다룬다. 특히 리대수에 근체계를 대응시키고 이를 통해 단순 리대수의 분류를 얻는 과정을 살펴본다. 이후 기초적인 리대수의 표현론을 다룬다.

Lie algebra is an algebraic object that arises as the tangent space ofa Lie group, which is a geometric object. The structures of the twoobjects are closely related so that one can learn about one from theother. Lie algebra structures also appear naturally in quantummechanics and particle physics. The focus of this course is in thefinite dimensional complex semisimple Lie algebras. In particular, wewill learn how to associate root systems to Lie algebras and use it toreach a classification result for simple Lie algebras. Also, we will cover the representation theory of Lie algebras.
학점 구분 : 주당    교과목 번호 :3341.605    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

이 교과목의 일차적인 목표는 2차원 곡면에 대해 다루었던 미분기하학의 기본적인 개념을 고차원의 미분다양체로 확장하는 것이다. 미분다양체 위의 리만계량을 소개하고 이것에 대해 공변미분, 평행운송, 측지선, 곡률 등과 같은 개념을 학습한다. 더 나아가서 이러한 개념을 일반적인 다발로 확장하는 내용을 학습한다. 이와 같은 기본적인 내용을 습득한 뒤에는 다양한 방향으로의 심화된 이론을 다룬다.

The primary goal of this course is to extend the basic concepts of differential geometry, which were previously studied in the context of 2-dimensional surfaces, to higher-dimensional differꠓentiable manifolds. The course introduces the Riemannian metric on differentiable manifolds and covers concepts such as covariant derivative, parallel transport, geodesics, and curvaꠓture. The course also covers the extension of these concepts to general bundles. After learning these fundamental topics, the course delves into advanced theories in various directions.

학점 구분 : 주당    교과목 번호 :3341.606    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

"미분기하학 1"의 연속강의로서 곡률과 위상의 상호관계, 곡률비교정리, 부분다양체론, 일반상대성이론, 홀로노미 군론, 극소다양체, 상수평균곡률곡면, 조화사상, 등주부등식, Lagrange 기하학 등을 배운다.

As a sequel to "Differential Geometry 1", this course examines comparison theorems, submanifold theory, general relativity, holonomy groups, minimal submanifolds, constant mean curvature surfaces, harmonic maps, isoperimetric inequalities, Lagrangian geometry, and relationships between curvature and topology.
학점 구분 : 주당    교과목 번호 :3341.505    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

매끄러운 다양체(또는 미분가능다양체)는 현대적인 관점에서 기하학적 공간의 개념을 기술하는 기본적인 언어를 제공한다. 이 강의는 매끄러운 다양체 위에서 미적분학의 기본 언어를 배우는 것을 목표로 한다. 다양체 위의 매끄러운 사상, 매장된 부분다양체, 미분형식, 벡터다발, 일반화된 스토크스 정리 등에 대해 논의한다.

Differentiable manifolds provide a fundamental language for describing the concept of a space from a modern perspective. In this course, we will learn the basic language of differential and integral calculus on manifolds. We will discuss smooth maps of manifolds, embedded submanifolds, differential forms, vector bundles and the generalized Stokes’ theorem.
학점 구분 : 주당    교과목 번호 :3341.641    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

미분다양체의 정의, Sard 정리, 횡단성, Euler 표수, 다양체 상의 적분 및 미분 형식 등 기본적인 미분다양체론을 배운다.

This course covers definitions of differentiable manifolds, Sard's theorem, transversality, Euler numbers, integration on manifolds and differential forms on manifolds.
학점 구분 : 주당    교과목 번호 :3341.781    학점 : 1    이론 : 0    실습 : 2    학년 : 0    성적부여방법 : S/U

대학원에 입학하여 처음 미적분학 연습 조교를 담당하는 학생들이 연습 시간을 원활하게 운영할 수 있도록 교과내용과 강의 요령을 습득하게 한다.

This course offers training of? first year graduate teaching assistants for the undergraduate calculus courses to develop their teaching skills and to enhance their understanding of the course materials.?
학점 구분 : 주당    교과목 번호 :3341.633    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

이 강좌의 목표는 현대수학에서 중요한 역할을 하는 공간인 복소다양체의 기초를 소개하는 것이다. 이 강좌에서는 복소다양체의 기초적인 미분기하학적 및 대수기하학적 성질에 대해 배운다. 주요 주제로는 하지 이론을 통한 콤팩트 캘러 다양체의 위상수학적 성질, 정칙 벡터 다발의 미분기하학, 그리고 층 코호몰로지적 방법론의 개발 등이 있다. 또한 캘러 다양체를 사영 공간에 매장하는 고다이라 매장 정리와 그의 다양한 응용에 대해서도 논의한다.

The goal of this course is to introduce the basics of complex manifolds, which form a funꠓdamental class of spaces of modern interest. Students will learn about the differential and algebro-geometric properties of these manifolds. Key topics include the topological properꠓties of compact Kähler manifolds via Hodge theory, the differential geometry of holomorphic vector bundles, and the development of sheaf cohomological methods. We will also discuss the Kodaira embedding theorem, which concerns the embeddings of Kähler manifolds in projective space, and its various applications.
학점 구분 : 주당    교과목 번호 :M1407.000200    학점 : 1    이론 : 1    실습 : 0    학년 : 0    성적부여방법 : S/U

새로 입학하는 대학원 전기, 후기 신입생들의 경우 세부전공을 정하는데 정보부족으로 인해 적잖은 어려움을 겪고 있다. 본 강의는 해석학, 대수학, 기하학, 위상학, 응용수학 등 수학의 다양한 전공을 학생들이 이해할 수 있도록 설명하고 학생들이 세부전공, 나아가 지도교수를 선정하는데 기여할 것으로 기대된다. 수업은 15명의 각 교수가 수업주수 15주에 맞춰 수리과학전공을 설명하는 방식으로 진행된다.

Many new graduate students find difficulty selecting concentration. This lecture explains a variety of majors such as analysis, algebra, geometry, topology, applied mathematics, etc. in order that the students understand them. Furthermore, it is expected to contribute to choose an academic advisor as well as concentration. The class proceeds as every 15 professor accounts for the majors during 15 weeks.
학점 구분 : 주당    교과목 번호 :M1407.000300    학점 : 1    이론 : 1    실습 : 0    학년 : 0    성적부여방법 : S/U

새로 입학하는 대학원 전기, 후기 신입생들의 경우 세부전공을 정하는데 정보부족으로 인해 적잖은 어려움을 겪고 있다. 본 강의는 해석학, 대수학, 기하학, 위상학, 응용수학 등 수학의 다양한 전공을 학생들이 이해할 수 있도록 설명하고 학생들이 세부전공, 나아가 지도교수를 선정하는데 기여할 것으로 기대된다. 수업은 15명의 각 교수가 수업주수 15주에 맞춰 수리과학전공을 설명하는 방식으로 진행된다.

Many new graduate students find difficulty selecting concentration. This lecture explains a variety of majors such as analysis, algebra, geometry, topology, applied mathematics, etc. in order that the students understand them. Furthermore, it is expected to contribute to choose an academic advisor as well as concentration. The class proceeds as every 15 professor accounts for the majors during 15 weeks.
학점 구분 : 주당    교과목 번호 :M1407.001300    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

확률과정 이론은 현대 확률론 분야의 핵심 이론이며 공학, 과학, 응용수학 등 다양한 분야에 활용되고 있다. 이 과목에서는 확률과정 연구의 수학적 기반을 배운다. Levy processes, subordinator, Feller process, martingale, Markov semigroup, Dirichlet problem, SDE, tightness, weak convergence 이론을 다룬다.

Stochastic processes have been at the center of the modern probability theory and have found broad applications in engineering, science, and applied mathematics. The course studies the mathematical foundations of stochastic processes. We will cover the basics of Levy processes, subordinator, Feller process, martingale, Markov semigroup, Dirichlet problem, SDE, tightness and weak convergence.
학점 구분 : 주당    교과목 번호 :3341.753    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

확률론에의 엄밀한 수학적 접근이 본 과목의 목표이며 시간이 허락한다면 응용 분야의 한 주제를 커버할 수도 있다. 교과내용은 아래의 토픽에서 선택적으로 구성하도록 한다: 확률론의 수학적 기초, 수렴정리, 마코프 과정론, 마팅게일 이론, 브라운 운동, 확률적분, 확률미분방정식, 각종 확률과정론, 확률적 해석학, 말리아벵 계산, 물리학, 생물학, 사회과학, 공학 등에의 응용

Rigorous mathematical treatment of probability theory is the main objective of this course. When time permits, a select topic from various areas of application may also be covered. The content of the course may be selected from the following topics: Measure theoretic foundation of probability theory, convergence theorems, Markov processes, Martingale theory, Brownian motion, stochastic integral, stochastic differential equations, various stochastic processes, stochastic analysis, Malliavin calculus, applications to physical sciences, biological sciences, social sciences and engineering
학점 구분 : 주당    교과목 번호 :3341.724    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

미리 정해진 부제와 관련된 내용을 학습한다.

Topics relevant to the subtitle fixed in advance are studied.
학점 구분 : 주당    교과목 번호 :3341.626    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

Sobolev 공간, 타원형편미분방정식론, Lax-Milgram 보조정리와 Cea 보조정리, Sobolev 공간의 다항식근사이론, 타원형 문제의 오차분석, 비순응유한요소, 혼합유한요소 등을 배운다.

Sobolev spaces, theory of elliptic partial differential equations, Lax-Mligram Lemma and Cea's lemma, polynomial approximation theory in Sobolev spaces, error estimates for elliptic problems, nonconforming finite element methods, and mixed finite elements are discussed in this course.
학점 구분 : 주당    교과목 번호 :M1407.000400    학점 : 3    이론 : 2    실습 : 2    학년 : 0    성적부여방법 : A~F

이 과목은 산업수학을 위한 기초과목으로서 현대 사회에서 중요하게 대두되는 수학적 알고리즘 및 그 구현에 필요한 지식을 배운다. 위상 수학적 데이터분석, 컴퓨터 대수 등 중요한 수학적 알고리즘과 관련된 수학 개념과 이러한 알고리즘을 정확하게 구현하는 방법에 초점을 맞춘다. 학생들은 연습시간을 통해 이러한 알고리즘의 실행방법을 배우게 된다.

This is a foundational course for industrial mathematics and the main goal of this course is to teach students how to develop and analyze mathematical algorithms and how to implement them in practice. The focus is on the mathematical algorithms such as topological data analysis and computer algebra. During the practice sessions students will learn how to implement these algorithms.
학점 구분 : 주당    교과목 번호 :M1407.000500    학점 : 3    이론 : 2    실습 : 2    학년 : 0    성적부여방법 : A~F

이 과목은 수학적 알고리즘 I의 연속 과목으로서, 고급 수학적 알고리즘을 개발하고 분석하며 실행하는 방법을 다룬다. 이 방법들은 암호, 컴퓨터 대수, 기계학습과 신호처리를 포함한다. 연습시간을 통해 이러한 알고리즘의 실행을 배우게 된다.

This is a followup course to Mathematical Algorithms I. The main goal of this course is to teach students how to develop, analyze and implement advanced mathematical algorithms and how to implement them in practice. The methods in this course include computer algebra, cryptography, machine learning and signal processing. During the practice sessions students will learn how to implement these algorithms.
학점 구분 : 주당    교과목 번호 :3341.741A    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

이 교과목은 위상수학을 전공으로 하는 학생들을 대상으로 위상수학 분야의 최신 연구주제를 소개한다. 학기마다 다른 주제를 다룰 수 있으니 강의계획서 확인을 요한다.

This course is designed for students majoring in topology and introduces them to recent developments in the field of topology. Different topics may be covered each semester, so please refer to the course syllabus for details.
학점 구분 : 주당    교과목 번호 :3341.751    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

미리 정해진 부제와 관련된 내용을 학습한다.

Topics relevant to the subtitle fixed in advance are studied.
학점 구분 : 주당    교과목 번호 :3341.621    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

C*-대수의 표현이론, C*-대수와 von Neumann 대수의 기본 성질, von Neumann 대수의 분류, 군 C*-대수와 군 von Neumann 대수, 작용소대수의 K-이론과 분류 등을 배운다.

This course covers representation of C*-algebras, the basics of C*-algebras and von Neumann algebras, group C*-algebras and group von Neumann algebras, classification of von Neumann algebras, K-theory for operator algebras and classification of C*-algebras.
학점 구분 : 주당    교과목 번호 :3341.625    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

위상군의 기본성질, 국소콤팩트 군의 Haar 측도, 함수 및 측도의 콘볼류션, 양부호함수, 국소콤팩트 군의 유니터리 표현, 가환군의 Fourier 변환과 Pontryagin 쌍대정리, 콤팩트 군의 표현과 Peter-Weyl 정리, Tanaka-Krein 쌍대정리 등을 배운다.

Basic properties of topological groups, Haar measure on locally compact groupss, convolution for functions and measures, unitary representation of locally compact groups, Fourier transform and Pontyagin's duality theorems, representation of compact groups, Peter-Weyl's theorem, and Tanaka-Krein's duality theorem are discussed in the class.
학점 구분 : 주당    교과목 번호 :3341.635    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

Fourier 급수와 Fourier 적분의 고전이론을 공부한다. 또한 이산 코사인 변환, 빠른 Fourier 변환, 웨이브렛과 멀티-레솔루션 해석, 웨이브렛 변환과 Fourier 변환, 신호 및 영상처리, 역문제의 응용 등을 배운다.

In this course students explore classical theories of the Fourier series and Fourier integrals. Additional topics include the discrete cosine transform, fast Fourier transform, wavelet and multiresolution analysis, wavelet transform and the Fourier transform, signal and the image process, and applications to inverse problems.
학점 구분 : 주당    교과목 번호 :M1407.002200    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

함수공간을 설명하는 대표적인 카테고리인 바나흐, 힐버트, 국소볼록위상벡터 공간과 이 공간에 작용하는 선형작용소의 기본적인 성질을 살펴본다. 세부적인 주제로 Hahn-Banach정리의 다양한 형태와 Krein-Milman정리를 다루고, 바나흐공간 분석을 위한 세 가지 대표적인 도구인 균등 유계 원리, 열린 사상 정리, 닫힌 그래프 정리를 소개한다. 또한, 바나흐, 힐버트 공간을 이해하는 추가적인 도구로 약위상, Banach-Alaoglu 정리를 살펴본다. 선형작용소의 체계적인 이해를 위해 바나흐 공간에 작용하는 컴팩트작용소와 힐버트 공간에 작용하는 자기수반유계작용소의 스펙트럼 정리를 배운다.

This course covers basic properties of Banach, Hilbert, locally convex topological vector spaces (representative categories for function spaces) and the linear operators acting on them. Specifically, various forms of Hahn-Banach theorem and Krein-Milman’s theorem will be covered, and the three fundamental tools for normed spaces, namely the uniform boundedness principle, the open mapping theorem and the closed graph theorem will be introduced. We will also cover weak-topologies and Banach-Alaoglu theorem as additional tools for Banach and Hilbert spaces. For systematic study of linear operators we will learn spectral theorems for compact operators acting on Banach spaces and self-adjoint bounded linear operators acting on Hilbert spaces.
학점 구분 : 주당    교과목 번호 :M1407.001500    학점 : 3    이론 : 0    실습 : 6    학년 : 0    성적부여방법 : S/U

해석학의 최신 연구 경향 및 연구 흐름을 강의 및 토론을 통해 체계적으로 파악하여 연구 활동에 효율적이고 실질적인 필요한 자산을 체득하도록 한다.

This course is designed to lecture advanced techniques and themes in the field of Analysis. It is expected that students learn efficient planning and performance in their research topics through practice sessions.
학점 구분 : 주당    교과목 번호 :M1407.002000    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

Euclid 공간의 측도론과 Lebesgue 적분, 곱측도와 Fubini 정리, Fourier 변환, 복소측도와 Radon-Nykodim 정리 및 Lebesgue 분해, 위상공간의 축도와 Riesz 표현정리 등을 공부한다.

This course discusses such topics as Lebesgue measure and integration of Euclidean space, product measure and the Fubini theorem, complex measure and the Radon-Nykodim theorem, Lebesgue decomposition, measure of topological spaces and the Riesz representation theorem.
학점 구분 : 주당    교과목 번호 :M1407.002100    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

본 수업의 내용은 크게 두 부분으로 이루어져 있으며, 첫 부분에서는 해석학 1의 개념 복습과 함께, weak convergence, distribution theory와 같이, 해석학 전 분야에서 광범위하게 사용되는 함수해석학의 기초를 집중적으로 학습한다. 두 번째 부분에서는 Cauchy 정리, Taylor 및 Laurent 급수, Schwarz 보조정리를 포함하는 복소해석학의 기본 이론을 학습하고, open mapping theorem, conformal mapping, Riemann mapping theorem, Harmonic functions and rational function approximation과 같은 복소해석학의 핵심 정리들을 학습한다. 실, 복소 해석학의 핵심적인 개념들이 등장하게 된 역사적 배경과, 여러 해석학 분야에의 주요한 응용, 그리고 이러한 개념들의 유기적인 관계를 학습하여 깊은 이 ㅠ한 이해와 다양한 응용 가능성에 대한 안내를 통하여 함수해석학, 조화해석학, 편미분방정식, 확률과정, 복소함수론과 같은 해석학 분야 세부전공은 물론 미분기하학, 위상수학 등의 분야를 본격적으로 공부하기 위한 맥락과 바탕 지식을 마련해줄 것이다.

In the first half, reviews graduate Analysis 1 and then proceed to the study of central concepts in analysis including weak convergence and distribution theory. The next half gives a review of basic theories of complex analysis including Cauchy-integral formula, convergence of power series, Taylor and Laurent series, residue theorem and its applications, and Schwarz lemma, and then proceed to topics in complex analysis including open mapping theorem, conformal mapping, Riemann mapping theorem, Harmonic functions and rational function approximation.
In this course, a set of review notes will be provided and four homework assignments will be given to students. During the lectures, emphasis will be given to historical contexts in which each central topic in analysis was developed and its key applications. Furthermore, relations between various concepts will be discussed in detail, which would not only motivate students to study further but also facilitates deep understanding of those. The material of this course will prepare students to study various topics in analysis including, but not limited to, functional analysis, harmonic analysis, partial differential equations, stochastic process, complex function theory. It will be also serve as a helpful basis for certain topics in topology, geometry, and analysis.
학점 구분 : 주당    교과목 번호 :3341.721A    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

극한과 미적분학에 대한 발견과 엄밀한 연구(Real and Complex Analysis)에서 출발한 해석학은 함수들이 이루는 공간에 대한 연구(Functional Analysis), 함수에 작용하는 미분 연산자 같은 작용소와 그 공간에 대한 이론 (Operator theory), 푸리에 해석과 조화함수에 대한 연구(Harmonic Analysis), 이를 응용한 상미분 또는 편미분 방정식 이론(Ordinary or Partial Differential Equations)등이 있다. 본 특강을 통하여 현 수학 분야에서 활발히 연구되고 있는 여러 해석학 분야에 대한 주제를 정하여 기초 지식과 최근 연구 동향을 학습하려 한다. 그 구체적 내용들은 학기 전에 공고된다. 본 강의의 수강을 위하여 해석학에 대한 기초 지식을 요한다.

Analysis began with the invention of calculus and its rigorous study (Real and Complex Analysis) and has been developed to the following areas: the study on the space of functions(Functional Analysis), operators between spaces(Operator theory), Fourier series and harmonic functions (Harmonic Analysis), and its application to ordinary and partial differential equations. The topics include basic materials and recent development in Analysis and its related areas. Each topic will be posted prior to the class. This class requires basic knowledge of Mathematical Analysis.
학점 구분 : 주당    교과목 번호 :M1407.002400    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

이 교과목은 현대 계산수학 이론을 중점적으로 다루며 확률론적, 비확률론적 계산 방법을 학습함을 목표로 한다. Fundamental Arithmetics, Euclidean Algorithm, Modular Algorithms, Fast Multiplication, Topological Data Analysis, Principles of Monte Carlo, Markov Chain Monte Carlo, Variance Reduction Techniques, Importance Sampling 등의 주제를 다룬다.

This course focuses on understanding the modern computational mathematics theory and covers stochastic and non-stochastic numerical methods. The topics include Fundamental Arithmetics, Euclidean Algorithm, Modular Algorithms, Fast Multiplication, Topological Data Analysis, Principles of Monte Carlo, Markov Chain Monte Carlo, Variance Reduction Techniques and Importance Sampling.
학점 구분 : 주당    교과목 번호 :3341.651    학점 : 3    이론 : 3    실습 : 0    학년 : 0    성적부여방법 : A~F

먼저 호몰로지 대수학의 기본이 되는 카테고리 이론의 언어를 배우고, 확장 펑터와 토션 펑터 그리고 스펙트럴 수열 등을 소개한다. 이어서 군-코호몰로지, Lie대수-코호몰로지, 쉬프-코호몰로지 등을 다룬다. 또한 다양한 수학 분야에의 응용을 알아보고, 디라이브드 카테고리 등 최근의 이론들을 소개한다.

The course begins by introducing the language of category theory and homological algebra such as extension functors, torsion functors, and spectral sequences. It continues with a discussion of group cohomology, Lie algebra cohomology, and/or sheaf cohomology. It also gives some applications in various fields of mathematics and introduces recent topics such as derived categories.