|| '''{{{+1 [[이론 컴퓨터 과학|{{{#fff 이론 컴퓨터 과학}}}]]}}}[br]{{{#fff {{{#!wiki style="display: inline-block; font-family:Times New Roman, serif;font-style:italic" Theoretical Computer Science}}}}}}''' || ||<^|1> {{{#!wiki style="margin:0 -10px -5px;min-height:2em" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-6px -1px -11px" ||<-5> '''{{{#fff 이론}}}''' || || {{{#fff '''기본 대상'''}}} ||<-2>[[틀:수학기초론|수학기초론]]([[수리논리학]]([[논리 연산]]) · [[계산 가능성 이론]] · [[범주론]] · [[집합론]]) · [[이산수학]]([[그래프(이산수학)|그래프 이론]]) · [[수치해석|수치해석학]] · [[확률론]] 및 [[통계학]]] · [[선형대수학]] || ||<-5> '''{{{#fff 다루는 대상과 주요 토픽}}}''' || ||<|2> '''[[계산 가능성 이론|{{{#fff 계산 가능성 이론}}}]]''' ||<-2>[[재귀함수]] · [[튜링 기계]] · 람다 대수 · 처치-튜링 명제 · [[바쁜 비버]] || || '''[[오토마타 이론|{{{#fff 오토마타 이론}}}]]''' ||[[FSM#s-4]] · [[푸시다운 오토마타|푸시다운]] · [[튜링 머신]]([[폰노이만 구조]]) · [[정규 표현식]] · [[콘웨이의 생명 게임]] || || [[시간 복잡도|'''{{{#fff 계산 복잡도 이론}}}''']] ||<-2>[[점근 표기법]] · 튜링 기계^^^[[튜링 기계|고전]], [[멀티코어 프로세서|PRAM]], [[양자컴퓨터|양자]], [[P-NP 문제|비결정론적]]^^^ · [[알고리즘]] · [[자료구조]] · 알고리즘 패러다임([[그리디 알고리즘]], [[동적 계획법]]) || ||<|3> '''[[수학적 최적화|{{{#fff 수학적 최적화}}}]]''' || '''{{{#fff 조합 최적화}}}''' ||[[외판원 순회 문제]] · 담금질 기법 · [[유전 알고리즘]] · [[기계학습]] || || '''{{{#fff 볼록 최적화}}}''' ||내부점 방법 · [[경사하강법]] || || '''{{{#fff 선형계획법}}}''' ||심플렉스법 || || [[정보이론|'''{{{#fff 정보이론}}}''']] ||<-2>데이터 압축([[무손실 압축 포맷]] · [[손실 압축 포맷]]) · 채널 코딩(채널 용량) · 알고리즘 정보 이론(AIT) · [[양자정보과학]] || || '''{{{#fff 컴퓨팅 방법론}}}''' ||<-2>[[병렬 컴퓨팅]]([[병렬 아키텍처]] · [[암달의 법칙]] · 병렬 알고리즘) · 분산 컴퓨팅(분산 알고리즘 · [[클러스터 컴퓨터|클러스터 컴퓨팅]] · [[그리드 컴퓨팅]] · [[클라우드 컴퓨팅]]) · [[멀티코어 프로세서|멀티코어 컴퓨팅]] · 대칭형 다중 처리(SMP) || ||<|3> [[암호학|'''{{{#fff 암호학}}}''']] ||<-2>[[해시]]([[MD5]] · [[암호화폐]] · [[사전 공격]]([[레인보우 테이블]]) · [[SHA]]) · 양자 암호 || || '''[[대칭 열쇠 암호|{{{#fff 대칭키 암호화 방식}}}]]''' ||블록 암호 알고리즘([[AES]] · [[ARIA(알고리즘)|ARIA]] · [[LEA]] · [[카멜리아|Camellia]]) · 스트림 암호 알고리즘(RC4) || || '''[[공개키 암호화 방식|{{{#fff 공개키 암호화 방식}}}]]''' ||공개키 암호 알고리즘([[타원곡선#s-6.1|타원 곡선 암호]] · [[RSA 암호화|RSA]]) · 신원 기반 암호 알고리즘(SM9) || || [[프로그래밍 언어론|'''{{{#fff 프로그래밍 언어이론}}}''']] ||<-2>[[프로그래밍 언어]]([[함수형 언어]] · [[객체 지향 프로그래밍]]) · 메타 프로그래밍 · [[형식언어]] · [[유형 이론]] · 프로그래밍 언어 의미론 · [[컴파일러]] 이론 || ||<-3> '''{{{#fff 주요 알고리즘 및 자료구조}}}''' || || '''{{{#fff 기초}}}''' ||<-2>[[정렬 알고리즘]] · [[순서도]] · [[탐색 알고리즘]] || || '''[[추상적 자료형|{{{#fff 추상적 자료형}}}]] {{{#fff 및 구현}}}''' ||<-2>배열^^^[[벡터]]^^^ · 리스트^^^[[연결 리스트]]^^^ · 셋(set)^^^[[레드-블랙 트리]], B-트리^^^ · 우선순위 큐^^^[[힙 트리|힙]], 피보나치 힙^^^ || || '''{{{#fff 계산 수론 및 암호학}}}''' ||<-2>밀러-라빈 소수판별법 · Pollard-rho 알고리즘 · [[쇼어 알고리즘]] · LLL 알고리즘 || || '''{{{#fff 계산기하학}}}''' ||<-2>볼록 껍질 · 들로네 삼각분할 및 보로노이 도형^^^Fortune의 line-sweeping 알고리즘^^^ · 범위 탐색^^^vp-tree, R-tree^^^ · [[k-NN]] || || '''[[그래프(이산수학)|{{{#fff 그래프 이론}}}]]''' ||<-2>탐색^^^[[너비 우선 탐색|BFS]], [[깊이 우선 탐색|DFS]], [[다익스트라 알고리즘]], [[A* 알고리즘]]^^^ · 에드몬드-카프 · [[크루스칼 알고리즘]] · [[위상 정렬]] · [[네트워크 이론]] || ||<-5> '''{{{#fff 정리}}}''' || ||<-5> [[정지 문제]]^^[[대각선 논법]]^^ · [[암달의 법칙]] · [[P-NP 문제]]^^미해결^^ · [[콜라츠 추측]]^^미해결^^ || ||<-5> {{{-1 [[틀:이산수학]] · [[틀:수학기초론]] · [[틀:컴퓨터공학]]}}} ||}}}}}}}}} || [include(틀:문서 가져옴, title=틀:이산수학·수리논리학, version=190)] [[분류:이론전산학]][[분류:둘러보기 틀/과학]]