컴퓨터과학

최근 편집일시 :

파일:다른 뜻 아이콘.svg
은(는) 여기로 연결됩니다.
이 학문을 가르치는 학과에 대한 내용은 컴퓨터공학과 문서
컴퓨터공학과번 문단을
컴퓨터공학과# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
참고하십시오.






1. 개요[편집]


컴퓨터과학(영어: computer science, 컴퓨터 사이언스) 또는 전산학은 알고리즘, 계산 기계 그리고 계산 및 정보 자체에 대한 학문이다.

컴퓨터과학은 수학과 가장 밀접한 관계를 가지고 있다. 자연 현상을 다루는 다른 물상과학 분야와는 달리[1], 컴퓨터과학은 아예 수학에 기초를 둔 과학의 한 분야이다. 컴퓨터과학의 기초에 큰 영향을 미친 수학이 조지 불의 불 대수이다. 불 대수는 이진법을 기반으로 한 대수학으로, 그 외에 체론과 환론 또한 중요한 영향을 미쳤다. 초기의 컴퓨터과학은 쿠르트 괴델앨런 튜링 등의 수학자들이 큰 영향을 끼쳤고, 수리논리학, 범주론, 도메인 이론, 대수학과 같은 수학 분야들은 컴퓨터과학과 함께 발전하고 있다.

외국에서는 컴퓨터공학컴퓨터과학 분야 중에서 하드웨어를 다루는 세부 영역의 명칭으로 사용하는데 한국에서는 컴퓨터과학과 같은 뜻으로 자리 잡았다. 참고로 다른 한자문화권 국가에서는 '컴퓨터과학'을 '정보학/정보과학'으로 번역한다. 유럽에서는 정보학(Informatics)이라는 용어도 자주 쓰인다.

2. 컴퓨터공학[편집]


[ 펼치기 · 접기 ]
기반 학문
수학 (해석학 · 이산수학 · 수리논리학 · 선형대수학 · 미적분학 · 미분방정식 · 대수학 (환론 · 범주론) · 정수론) · 이론 컴퓨터 과학 · 암호학 · 전자공학 · 언어학 (형태론 · 통사론 · 의미론 · 화용론 · 음운론) · 인지과학
SoC · CPU · GPU(그래픽 카드 · GPGPU) · ROM · RAM · SSD · HDD · 참조: 틀:컴퓨터 부품
기술
기계어 · 어셈블리어 · C(C++ · C\#) · Java · Python · BIOS · 절차적 프로그래밍 · 객체 지향 프로그래밍(디자인 패턴) · 해킹 · ROT13 · OTP · IoT · 와이파이 · GPS · 임베디드 · 인공신경망 · OpenGL · EXIF · 마이크로아키텍처 · ACPI · UEFI · NERF · gRPC · 리버스 엔지니어링 · HCI · UI · UX · 대역폭 · DBMS · NoSQL · 해시(SHA · 브루트 포스 · 레인보우 테이블 · salt · 암호화폐) · RSA 암호화
연구및 기타 문서
논리 회로(보수기 · 가산기 · 논리 연산 · 불 대수 · 플립플롭) · 정보이론 · 임베디드 시스템 · 디자인 패턴 · 데이터베이스 · 프로그래밍 언어{컴파일러(어셈블러 · JIT) · 인터프리터 · 유형 이론} · 메타데이터 · 기계학습 · 빅데이터 · 폰노이만 구조 · 양자컴퓨터 · 행위자 모델 · 인코딩(유니코드 · MBCS) · 네트워크 · 컴퓨터 보안 · OCR · 슈퍼컴퓨터 · 튜링 머신 · FPGA · 딥러닝 · 컴퓨터 구조론 · 컴퓨터 비전 · 컴퓨터 그래픽스 · 인공지능 · 시간 복잡도(최적화) · 소프트웨어 개발 방법론 · 정보처리이론 · 재귀 이론 · 자연 언어 처리(기계 번역 · 음성인식)
}}}




3. 이론 컴퓨터 과학[편집]


'''이론 컴퓨터 과학
{{{#fff

Theoretical Computer Science
'''

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






4. 튜링상[편집]



파일:acm-turing-award.png


[ 펼치기 · 접기 ]
1966년
1967년
1968년
1969년
앨런 펄리스
모리스 윌크스
리처드 해밍
마빈 민스키
1970년
1971년
1972년
1973년
제임스 H. 윌킨슨
존 매카시
에츠허르 데이크스트라
찰스 바크만
1974년
1975년
1976년
도널드 커누스
앨런 뉴웰
허버트 사이먼
미하엘 라빈
1976년
1977년
1978년
1979년
데이나 스콧
존 배커스
로버트 플로이드
케네스 아이버슨
1980년
1981년
1982년
1983년
토니 호어
에드거 F. 커드
스티븐 쿡
켄 톰프슨
1983년
1984년
1985년
1986년
데니스 리치
니클라우스 비르트
리처드 카프
존 홉크로프트
1986년
1987년
1988년
1989년
로버트 타잔
존 코크
이반 서덜랜드
윌리엄 카한
1990년
1991년
1992년
1993년
페르난도 J. 코바토
로빈 밀너
버틀러 램슨
유리스 하르트마니스
1993년
1994년
1995년
리처드 스턴스
에드워드 파이겐바움
라즈 래디
매뉴얼 블럼
1996년
1997년
1998년
1999년
아미르 프누엘리
더글러스 엥겔바트
짐 그레이
프레드 브룩스
2000년
2001년
2002년
앤드루 야오
올렌-요한 달
크리스텐 니가드
로널드 라이베스트
2002년
2003년
2004년
아디 샤미르
레오나르드 아델만
앨런 케이
빈트 서프
2004년
2005년
2006년
2007년
로버트 칸
페테르 나우르
프란시스 E. 앨런
에드먼드 M. 클라크
2007년
2008년
2009년
E. 앨런 에머슨
조세프 시파키스
바바라 리스코프
찰스 P. 태커
2010년
2011년
2012년
레슬리 밸리언트
유디 펄
샤피 골드바서
실비오 미칼리
2013년
2014년
2015년
레슬리 램포트
마이클 스톤브레이커
휫필드 디피
마틴 헬만
2016년
2017년
2018년
팀 버너스리
존 헤네시
데이비드 패터슨
제프리 힌튼
2018년
2019년
요슈아 벤지오
얀 르쿤
에드윈 캐트멀
팻 한라한
2020년
2021년
2022년
앨프리드 에이호
제프리 울먼
잭 동가라
로버트 메칼프






5. 정보대학[편집]


컴퓨터과학 및 정보계열 전공을 모아 정보대학으로 독립하는 경우가 있다.
파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-12-20 11:56:42에 나무위키 컴퓨터과학 문서에서 가져왔습니다.

[1] 물리학조차 수학을 물리현상을 정량화하기 위해 사용할 뿐 사실 수학과 물리는 관계가 없다. 따라서 물리현상을 수식으로 유도했다고 하더라도 반드시 실험을 통해 보여야 물리적으로 받아들여진다.