브라우저보다 빠른!
27 처지: 람다 대수, 데이나 스콧, 도널드 커누스, 라디카 나그팔, 리스프, 고틀로프 프레게, 과학자, 계산 복잡도 이론, 자료 구조, 클로드 섀넌, 인간-컴퓨터 상호작용, 정보 이론, 존 매카시, 존 배커스, 존 폰 노이만, 찰스 배비지, 컴퓨터 과학, 컴퓨터 공학, 컴퓨터 그래픽스, 컴퓨터 비전, 수치해석학, 에츠허르 데이크스트라, 소프트웨어 공학, 앨런 튜링, 해스켈 커리, 알론조 처치, 알고리즘.
람다 대수
수(λ-calculus, lambda-calculus)는 이론 컴퓨터과학 및 수리논리학에서 변수의 네임 바인딩과 대입의 방법을 이용하여 함수 정의, 함수 적용, 귀납적 함수 추상화를 수행하고 수학 연산을 표현하는 형식 체계이.
새로운!!: 컴퓨터 과학자와 람다 대수 · 더보기 »
데이나 스콧
이나 스튜어트 스콧(1932~)은 미국의 컴퓨터 과학자·수리논리학자이.
새로운!!: 컴퓨터 과학자와 데이나 스콧 · 더보기 »
도널드 커누스
어빈 커누스(Donald Ervin Knuth,, 1938년 1월 10일 위스콘신 주 밀워키 출생)는 미국의 저명한 컴퓨터 과학자이며, 현재 스탠퍼드 대학교의 명예교수이.
새로운!!: 컴퓨터 과학자와 도널드 커누스 · 더보기 »
라디카 나그팔
()는 미국의 컴퓨터 과학자이.
새로운!!: 컴퓨터 과학자와 라디카 나그팔 · 더보기 »
리스프
리스프(Lisp, LISP) 혹은 리습은 프로그래밍 언어의 계열로서, 오랜 역사와 독특하게 괄호를 사용하는 문법으로 유명.
새로운!!: 컴퓨터 과학자와 리스프 · 더보기 »
고틀로프 프레게
리드리히 루트비히 고틀로프 프레게(1848년 11월 8일 ~ 1925년 7월 26일)는 독일의 수리논리학자이자 철학자이.
새로운!!: 컴퓨터 과학자와 고틀로프 프레게 · 더보기 »
과학자
학자(科學者, scientist)는 이론적 또는 물리적 실험을 하여 과학을 탐구하는 사람을 말. 과학 분야(물리, 화학, 지구과학, 생명과학)에서 일하는 사람을 모두 총칭할 수 있.
새로운!!: 컴퓨터 과학자와 과학자 · 더보기 »
계산 복잡도 이론
산 복잡도 이론(Computational complexity theory)은 컴퓨터 과학에서 계산 이론의 분야로, 계산 문제를 푸는 알고리즘을 복잡도에 따라 분류하여 문제의 모임을 구성하는 방법을 연. 이 때 알고리듬의 수행은 실제 컴퓨터가 할 수 있지만, 평가하는 데에는 튜링 기계와 관련이 있는 정량화된 방법을 사용.
새로운!!: 컴퓨터 과학자와 계산 복잡도 이론 · 더보기 »
자료 구조
이진 트리의 예 자료구조(資料構造)는 전산학에서 자료를 효율적으로 이용할 수 있도록 컴퓨터에 저장하는 방법이.
새로운!!: 컴퓨터 과학자와 자료 구조 · 더보기 »
클로드 섀넌
엘우드 섀넌(1916년 4월 30일 ~ 2001년 2월 24일)은 미국의 수학자이자 전기공학자이.
새로운!!: 컴퓨터 과학자와 클로드 섀넌 · 더보기 »
인간-컴퓨터 상호작용
인간-컴퓨터 상호작용(Human-computer interaction, HCI, CHI)은 인간과 컴퓨터 간의 상호작용에 대해 연구하는 학문 분야.
새로운!!: 컴퓨터 과학자와 인간-컴퓨터 상호작용 · 더보기 »
정보 이론
정보 이론(情報理論)은 최대한 많은 데이터를 매체에 저장하거나 채널을 통해 통신하기 위해 데이터를 정량화하는 응용 수학의 한 분야이.
새로운!!: 컴퓨터 과학자와 정보 이론 · 더보기 »
존 매카시
존 매카시(John McCarthy)는 다음 사람을 가리.
새로운!!: 컴퓨터 과학자와 존 매카시 · 더보기 »
존 배커스
존 워너 배커스(John Warner Backus, 1924년 12월 3일 ~ 2007년 3월 17일)는 미국의 컴퓨터 과학자이.
새로운!!: 컴퓨터 과학자와 존 배커스 · 더보기 »
존 폰 노이만
존 폰 노이만(1903년 12월 28일 - 1957년 2월 8일)은 헝가리 출신 미국인 수학자이.
새로운!!: 컴퓨터 과학자와 존 폰 노이만 · 더보기 »
찰스 배비지
스 배비지(FRS, 1791년 12월 26일~1871년 10월 18일)는 영국의 수학자이자 철학자, 발명가, 기계공학자로서 '프로그램이 가능한 컴퓨터' 개념의 시초자이.
새로운!!: 컴퓨터 과학자와 찰스 배비지 · 더보기 »
컴퓨터 과학
학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.
새로운!!: 컴퓨터 과학자와 컴퓨터 과학 · 더보기 »
컴퓨터 공학
공학()은 컴퓨터 하드웨어 및 소프트웨어를 개발하는 데 필요한 전기공학 및 컴퓨터 과학의 여러 가지 분야를 통합하는 학문 분과이.
새로운!!: 컴퓨터 과학자와 컴퓨터 공학 · 더보기 »
컴퓨터 그래픽스
유타 주전자의 현대적 렌더링. 컴퓨터 그래픽스(Computer Graphics, CG)은 컴퓨터를 이용해 실제 세계의 영상을 조작하거나 새로운 영상을 만들어내는 기술을 가리.
새로운!!: 컴퓨터 과학자와 컴퓨터 그래픽스 · 더보기 »
컴퓨터 비전
비전(Computer Vision)은 기계의 시각에 해당하는 부분을 연구하는 컴퓨터 과학의 최신 연구 분야 중 하나이.
새로운!!: 컴퓨터 과학자와 컴퓨터 비전 · 더보기 »
수치해석학
바빌로니아 점토판 YBC 7289(기원전 1800–1600경) http://www.math.ubc.ca/~cass/Euclid/ybc/ybc.html. (Image by Bill Casselman) 수치해석학(數値解析學, numerical analysis)은 해석학 문제에서 수치적인 근삿값을 구하는 알고리즘을 연구하는 학문이.
새로운!!: 컴퓨터 과학자와 수치해석학 · 더보기 »
에츠허르 데이크스트라
에츠허르 비버 데이크스트라(1930년 5월 11일 ~ 2002년 8월 6일)는 네덜란드의 컴퓨터 과학자이.
새로운!!: 컴퓨터 과학자와 에츠허르 데이크스트라 · 더보기 »
소프트웨어 공학
A-380 은 상당한 양의 소프트웨어를 사용하여 "종이 없는" 조종석을 창조하였다. 소프트웨어 공학으로 항공기 소프트웨어를 이루는 수백만행의 소스코드를 변환하고 계획하였다. 소프트웨어 공학(-工學)은 소프트웨어의 개발, 운용, 유지보수 등의 생명 주기 전반을 체계적이고 서술적이며 정량적으로 다루는 학문이다; 즉, 공학을 소프트웨어에 적용하는 것이.
새로운!!: 컴퓨터 과학자와 소프트웨어 공학 · 더보기 »
앨런 튜링
앨런 매티슨 튜링(OBE, FRS, 1912년 6월 23일 ~ 1954년 6월 7일)은 영국의 수학자, 암호학자, 논리학자이자 컴퓨터 과학의 선구적 인물이.
새로운!!: 컴퓨터 과학자와 앨런 튜링 · 더보기 »
해스켈 커리
스켈 브룩스 커리(1900년 9월 12일 - 1982년 9월 1일)는 미국의 수학자, 논리학자였.
새로운!!: 컴퓨터 과학자와 해스켈 커리 · 더보기 »
알론조 처치
알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.
새로운!!: 컴퓨터 과학자와 알론조 처치 · 더보기 »
알고리즘
알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.
새로운!!: 컴퓨터 과학자와 알고리즘 · 더보기 »
여기로 리디렉션합니다
전산학자.
