최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
데이터가 존재하지 않습니다.
loading...
Combinatory analysis
Méthodes semi-classiques.
Applied nonlinear semigroups : an introduction
An introduction to the analytic theory of numbers
Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings
Elementary number theory
Modern physics for scientists and engineers
Lectures on linear partial differential equations
Semigroups of linear and nonlinear operations and applications : proceedings of the Curaçao conference, August 1992
Factorization of matrix and operator functions : the state space method
Fundamental solutions for differential operators and applications
A second course in stochastic processes
Numerical simulations of coupled problems in engineering
Arc routing : problems, methods, and applications
Schaum's outline of theory and problems of operations management
Bridging mathematics, statistics, engineering and technology : contributions from the Fall 2011 Seminar on Mathematical Sciences and Applications
Fair division : from cake-cutting to dispute resolution
Difference equations with applications to queues
한국학교수학회논문집
이대현수학교육
이진아, 이수진수학교육학연구
최윤형, 이진아, 이자미, 문혜선, 이수진Journal of Mathematical Behavior
Shin J.,Lee S.J.,Steffe L.P.수학교육철학연구
박정선, 신재홍Theory and Decision
Vetschera, R.; Kilgour, D.M.Journal of Mathematics Teacher Education
Aydeniz Temizer F.RAMANUJAN JOURNAL
Merca, Mircea; Katriel, Jacob학교수학
한정이, 이광호IEEE Transactions on Automatic Control
Kaushik H.D.,Samadi S.,Yousefian F.학교수학
최근배PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
Aziz, Haris; Chan, Hau; Li, BoCanadian Journal of Science, Mathematics and Technology Education
Lamanna, Luca; Gea, María Magdalena; Batanero, CarmenJournal of Mathematical Behavior
Liss D.Cybernetics and Systems Analysis
Kaliukh, I.; Trofymchuk, O.; Lebid, O.Optimization
Tang, Y.-C.; Liu, L.-W.Soft Computing
Marzi F.,Rossi F.,Smriglio S.Complex and Intelligent Systems
Liang P.,Fu Y.,Gao K.,Sun H.Operations Research
Hervé Moulin; Jay SethuramanInternational Journal of Parallel Programming
Martínez, Millán A.; Fraguela, Basilio B.; Cabaleiro, José C.전선 / 학사
Gauss 소거법, Cholesky 분해, Householder와 Gram-Schmidt 해법, 데이터 맞춤, 비선형 최소자승법, 심플렉스 해법, 행렬의 분할, Jacobi와 Seidel 반복법, 이완해법, 유한차분법, ADI 해법, 켤레 그래디언트 해법 등을 다룬다.전선 / 학사
분자의 운동, 반응 및 동적인 전기화학에 관한 제문제를 기초적인 이론으로부터 응용에 이르기까지 다방면에 걸쳐 연구한다. 여기에는 기본적인 기체운동론, 이온운반과 분자확산을 다루는 분자의 운동, 간단한 반응의 속도론과 더불어 광화학반응, 자체촉매반응, 진동반응, 연쇄반응 등이 관련되는 좀 더 복잡한 반응의 속도론, 고체 표면에서의 흡착, 촉매현상 및 과전위, 분극현상, 폴라로그래피, 전지, 부식 등을 취급하는 동적인 전기화학에 관련된 전반적인 내용이 포함된다.전선 / 학사
편미분방정식의 가장 기초적 이론들을 고전적 방정식들의 예를 들어 소개한다. 구체적으로 다룰 내용들은 일계준선형 편미분방정식이론, 국소해의 존재성과 유일성, Cauchy-Kovalevsky 정리, Laplace 방정식, 최대치원리, Harnack 부등식, Hilbert 공간의 방법론, 변분원리 등이다.전선 / 대학원
다양한 무인시스템의 경로 계획과 임무 판단에 관한 기법을 학습한다. 특히 시스템의 특성을 고려한 모션 계획, 모션에 대한 구속 조건, 충돌 회피 경로의 계산, 모델예측제어 등의 제어 기법과 학습 알고리듬의 모션 계획 문제에의 응용, 임무 수행을 위한 판단 기법, 그리고 이와 관련된 최적화 기법 및 다중개체시스템의 모션 계획 문제로의 확장 등에 대해 배운다. 수강생들은 다양한 모션 계획 알고리듬을 구현, 구동해봄으로써 실제 시스템에 적용할 수 있는 능력을 기르고, 관련 분야의 최신 논문을 통해 모션 계획 기법의 발전 동향을 살펴본다.전선 / 대학원
다양한 무인시스템의 경로 계획과 임무 판단에 관한 기법을 학습한다. 특히 시스템의 특성을 고려한 모션 계획, 모션에 대한 구속 조건, 충돌 회피 경로의 계산, 모델예측제어 등의 제어 기법과 학습 알고리듬의 모션 계획 문제에의 응용, 임무 수행을 위한 판단 기법, 그리고 이와 관련된 최적화 기법 및 다중개체시스템의 모션 계획 문제로의 확장 등에 대해 배운다. 수강생들은 다양한 모션 계획 알고리듬을 구현, 구동해봄으로써 실제 시스템에 적용할 수 있는 능력을 기르고, 관련 분야의 최신 논문을 통해 모션 계획 기법의 발전 동향을 살펴본다.전선 / 대학원
Shortest path, Network flow 등의 그래프 문제를 해결하는 최근에 개발된 알고리즘과 알고리즘 분야에서의 최근의 연구결과를 학습한다. 분산 시스템의 여러 모델들과 분산 시스템에서 발생하는 중요한 문제들을 해결하는 분산 알고리즘에 관하여 연구한다.전선 / 학사
Cauchy-Riemann 방정식, 해석함수, 조화함수, Taylor 급수, Moebius 변환, 선적분, Cauchy 적분공식, 최대 최소치정리, Laurent 급수, 유수정리를 활용한 실적분 계산, 등각사상, Poisson 적분공식, Dirichlet 경계치 문제, Riemann 제타함수 등을 다룬다.전선 / 대학원
본 과목에서는 효율적인 알고리즘 설계와 프로그래밍을 위한 고급 방법론과 이론을 깊이 있게 소개하고, 다양한 실습을 통하여 해당 이론들을 체득한다. 이 과정에서 공부하는 내용들은 Sorting, Searching 그리고 Graph Theory, NP―Complete 등이며, 알고리즘 설계 방법으로는 Divide―and―Conquer, Dynamic Programming, Greedy, Randomized 그리고 Approximate 알고리즘 등에 관하여 공부한다. 여러 가지 유용한 문제들에 대해 알고리즘을 설계하고 실제 프로그래밍을 통하여 구현해 봄으로서 강의시간에 소개된 이론을 실습하고 시스템 구현에 필요한 노하우를 습득한다.전선 / 대학원
본 과목에서는 타원형 편미분방정식의 수치해법, 포물형 편미분방정식의 semidiscrete method, fully discrete method, explicit method, implicit method, 쌍곡형 편미분방정식의 수치해법, Navier-Stokes문제의 수치해법, 탄성 방정식 및 Maxwell 방정식의 수치해법 등에 대하여 개괄적으로 배우도록 한다.전선 / 학사
편미분방정식이 실제 물리학이나 역학문제에 어떻게 응용되는지 공부하는데, 수리물리학에 나오는 고전장론, Dirac 방정식, Maxwell 방정식, 자기쌍대 게이지 장 방정식들과 솔리톤 해들, 텐서해석과 아인슈타인 장 방정식의 기초이론을 다룬다. 이와 아울러 수리유체역학의 Navier-Stokes 방정식과 Euler 방정식을 배운다.전선 / 대학원
확률과정 이론은 현대 확률론 분야의 핵심 이론이며 공학, 과학, 응용수학 등 다양한 분야에 활용되고 있다. 이 과목에서는 확률과정 연구의 수학적 기반을 배운다. Levy processes, subordinator, Feller process, martingale, Markov semigroup, Dirichlet problem, SDE, tightness, weak convergence 이론을 다룬다.전선 / 학사
시간에 따라 변하는 자연 현상이나 사회 현상은 흔히 미분방정식으로 표현된다. 따라서 이의 해법이나 성질을 아는 것은 자연과학이나 사회 현상을 이해하는데 필수적이다. 본 과목에서는 미분방정식의 기본적인 해법과 성질을 공부한다.전선 / 학사
상미분방정식의 기본적인 해법, 급수해법, Laplace 변환에 의한 해법, 해의 존재 정리 및 해의 유일성에 관한 정리 등을 배운다.전선 / 학사
문제를 해결하기 위해 알고리즘을 구성하고 이를 분석하는 방법에 대해 강의한다. 알고리즘의 효율성 분석 도구(점근적 복잡도, 점화식), 정렬 및 선택 알고리즘, 자료의 저장과 검색(검색 트리, 해시 테이블), 집합의 처리, 동적 프로그래밍, 그래프 알고리즘, 문자열 매칭, 계산의 한계(NP-completeness), 상태공간 트리의 탐색 등을 다룬다.전선 / 학사
여러 가지 문제를 컴퓨터로 해결하기 위한 다양한 방법론이라 할 수 있는 알고리즘을 본 과목에서는 소개한다. 특히 알고리즘 분석 기법을 통해 효율적인 알고리즘을 개발하고 이해할 능력을 키운다. 또한 컴퓨터가 풀 수 있는 쉬운 문제와 어려운 문제를 구별하기 위한 NP-complete 이론을 배우며 어려운 문제를 해결하기 위한 근사 알고리즘을 소개한다.전선 / 대학원
최근의 분리공정, 생물화학공정, 석유화학공정, 고분자 공정, 재료과학, 응용수학, 전자계산기를 이용한 공정설계 등 정규교과목에서 강의되지 않는 과제 중에서 선별하여 최근의 연구 동향과 그 내용을 광범위하게 소개한다.전선 / 대학원
최근의 분리공정, 생물화학공정, 석유화학공정, 고분자 공정, 재료과학, 응용수학, 전자계산기를 이용한 공정설계 등 정규교과목에서 강의되지 않는 과제 중에서 선별하여 최근의 연구 동향과 그 내용을 광범위하게 소개한다.전선 / 학사
확률 미분방정식과 그 응용에 대한 일반적 이론을 익히기 위한 과정으로 다음과 같은 주제를 공부한다. 이산시간 마팅게일, 연속시간 마팅게일, 이토 적분, 제곱가능 마팅게일, 국소 마팅게일, 세미 마팅게일, 이토 공식, 이토 표현 이론, 기르사노프 정리, 마코브 프로세스, 디퓨전 프로세스, 무한소 생성자, 확률 미분 방정식, strong and weak 해, 파인만-케츠 공식, strong 마코브 성질을 다룬다.전선 / 대학원
인구변화, 질병확산, 경제적인 변화 같은 많은 사회적 문제들은 시간이라는 하나의 독립변수에 따라 변화하는 상미분 방정식으로 귀결된다. 상미분 방정식은 소위 Dynamic Problem으로 많은 자연과학과 공학문제에서도 쓰여왔다. 본 과목에서는 상미분방정식의 수치해법으로 기본적인 One-step methods, Multistep methods, Predictor-corrector methods, Runge-Kutta methods 등을 다루며, Stiff Problem과 Two-point boundary value problem에 대한 수치해법을 배우도록 한다. 상미분방정식의 수치해법의 수렴성, 오차분석, 안정성 분석 등도 포함한다. 또 하나 중요한 접근방법은 최근 사회과학에서도 많이 쓰이는Agent-Based Modeling(ABM)이다. 최근 Python기반 MESA같은 패키지가 나왔는데 이러한 접근의 장단점과 한계등을 살펴봄을 통해서 사회문제의 다양한 접근들을 시도해본다.전선 / 대학원
이 강의에서는 주로 조건부 기대값의 정의 및 성질, 마팅게일(martingale)의 성질 및 극한이론, 부등식, 분해, optional sampling 정리, 마팅게일 중심극한 정리 등을 다루고, 아울러 균등적분가능성 및 infinite divisible 분포 문제를 다룬다.