심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

컴퓨터 과학

색인 컴퓨터 과학

학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.

389 처지: A* 알고리즘, ACM 멀티미디어, ArXiv, AspectC++, B 트리, B+ 트리, BSD, CFG, Computers and Intractability: A Guide to the Theory of NP-Completeness, Considered harmful, CS, EmuLab, 런타임, 럿거스 대학교, 랜덤 접근 기계, 랜들 먼로, 랜디 포시, 람다 대수, 래리 페이지, 래디아 펄먼, 래스터 그래픽스, 래스터화, 데니스 리치, 데이비드 골드버그, 데이나 스콧, 데이크스트라 알고리즘, 데이터 사이언스, 데이터베이스 스키마, 데이터베이스 소비, 도널드 커누스, 독자-저자 문제, 독학학위제, 라디카 나그팔, 라이프 게임, 라즈베리 파이, 락 (컴퓨터 과학), 레슬리 램포트, 레오니드 레빈, 로바스 라슬로, 로베르트 러브, 로버트 플로이드, 로트피 자데, 로컬 버스, 로열 메달, 리누스 토르발스, 리눅스 커널, 리드 헤이스팅스, 리스트 (컴퓨팅), 리처드 해밍, 리카이푸, ..., 링커 (컴퓨팅), 말레이시아 고등교육 자격시험, 매크로 (컴퓨터 과학), 매사추세츠 대학교 애머스트, 마빈 민스키, 마운트, 마이크로커널, 마이크로소프트 리서치, 마이크로소프트 아카데믹 프로그램, 마샬링 (컴퓨터 과학), 멱등법칙, 메모리 누수, 메모리 주소, 모듈, 모듈성 (프로그래밍), 모니터 (동기화), 목적 파일, 명령형 프로그래밍, 명세 언어, 무작위 행보, 미하엘 라빈, 민 리, 감성 컴퓨팅, 객체 (컴퓨터 과학), 객체 기반, 배열, 개미 군체, 개체, 반복 로그, 반영 (컴퓨터 과학), 값 (컴퓨터 과학), 바닥 함수와 천장 함수, 밀레니엄 문제, 벡터 그래픽스, 벨라루스 국립 정보, 무선전자 종합대학, 경로, 경쟁 상태, 게임 엔진, 게임학, 범주 (수학), 버틀러 램슨, 고차 함수, 보고정렬, 보호 링, 과학사, 병렬 통신, 병행성, 계량화학, 별표, 계산 가능성 이론, 계산 가능한 수, 계산 복잡도 이론, 계산 이론, 계산과학, 계산기 엡실론, 계산기하학, 괄호, 관계대수, 불리언 자료형, 분할 문제, 부분 순서 집합, 부분론, 부울 도메인, 부트스트랩 (컴파일러), 부작용 (컴퓨터 과학), 부호 (수학), 기본값, 기호 실행, 기아 상태, 브라이언 커니핸, 브루스 슈나이어, 블라디미르 레벤시테인, 블록 부호, 빌 조이, 빈트 서프, 비결정론적 튜링 기계, 비정상 값, 비정형 데이터, 비율 단조 스케줄링, 대한민국 공군사관학교, 교착 상태, 구문 분석, 구문 오류, 구스타프슨의 법칙, 낱말 분석, 나무 (동음이의), 듀이 십진분류법, 디스패치 테이블, 디자인 패턴, 네트워크 과학, 단백질 접힘, 단계적 공개, 니클라우스 비르트, Futex, Garbage in, garbage out, IBM 하이파 연구소, INT, Introduction to Algorithms, 스키마, 스티븐 쿡, 스티븐 툴민, 스와스모어 칼리지, 운용 과학, 운영 체제, 트랩 (컴퓨팅), 트랜스클루전, 트랜스휴머니즘, 트리 순회, 튜링상, 튜플, 요네다 노부오, 요세푸스 문제, 자료 구조, 자료형, 자료형 체계, 자가 균형 이진 탐색 트리, 자유 변수와 종속 변수, 잠자는 이발사 문제, 재귀 약자, 재귀함수, 페이지 테이블, 페타, 페테르 나우르, 입력, , 크러스컬 알고리즘, 크리스 라트너, 크리스토스 파파디미트리우, 클라우드 컴퓨팅, 포인터 분석, 이반 서덜랜드, 이진 골레 부호, 이진 트리, 이진 접두어, 이진 탐색 트리, 이언 머독, 이산수학, 이항관계, 이식 (컴퓨팅), 이와타 사토루, 인간 기반 연산, 인공 장기, 인공 의식, 인지과학, 인지언어학, 인지심리학, 인터랙션 디자인, 일라이자 효과, 읽기, 의미역 결정, 의존 문법, 의사코드, 제도 (논리학), 제라드 솔튼, 제임스 고슬링, 제임스 H. 윌킨슨, 제타, 제프리 힌턴, 접미사 배열, 전기 전자 기술자 협회, 전길남, 전처리기, 전역 변수, 전산언어학, 정렬 알고리즘, 정보 이론, 정보 처리, 정보과학, 정상 순서 (동음이의), 정형 기법, 조건문, 조건제시법, 조지 댄치그, 조지아 공과대학교, 조합론, 조합론적 게임 이론, 조합최적화, 조한혜정, 존 배커스, 존 폰 노이만, 존 조지 케메니, 존 워녹, 종 (형 이론), 직렬 통신, 직렬화, 질의 확장, 집합 (추상 자료형), 집합 덮개 문제, 진화, 진화 연산, 진화이론의 사회적 영향, 지적 설계, Ω, 찰스 배비지, 찰스 바크만, 찰스 앤터니 리처드 호어, 추상 구문 트리, 추상 자료형, 추상화 (컴퓨터 과학), 카 포스카리 베네치아 대학교, 카네기 멜런 대학교, 캐시, 캘리포니아 대학교 로스앤젤레스의 동문 목록, 캘리포니아 대학교 샌타바버라, 커누스-모리스-프랫 알고리즘, 커널 (컴퓨팅), 컴파일러 구성, 컴퓨팅, 컴퓨팅 문서 색인, 컴퓨팅 사고, 컴퓨팅파워, 컴퓨터, 컴퓨터 보안, 컴퓨터 과학자, 컴퓨터 과학자 목록, 컴퓨터 과학의 미해결 문제 목록, 컴퓨터 공학, 켄 톰프슨, 케네스 아이버슨, 콜 스택, 콜게이트 대학교, 유리스 하르트마니스, 유디 펄, 유니버설 해싱, 유한 상태 기계, 윌리엄 뎀스키, 파스칼 (프로그래밍 언어), 파이프라인 (컴퓨팅), 팀 버너스리, 생물정보학, 생물학의 역사, 탄중푸라 대학교, 순람표, 순차 접근, 순서론, 수동 시스템, 수리과학, 수리논리학, 수학적 모델, 수학적 미, 수학사, Θ, 오류 검출 정정, 오디오 코딩 포맷, 오프셋 (컴퓨터 과학), 오토마타 이론, 옥텟, 온라인 알고리즘, 온톨로지, 호스트 대학교, 호출 규약, 현실-가상 연속체, 형식과학, 최적화 문제, 최선, 최악, 그리고 평균의 경우, 어간 추출, 언어학, 행위자 모델, 에드거 F. 커드, 에드윈 캐트멀, 에츠허르 데이크스트라, 역색인, 허먼 케인, 허버트 사이먼, 허용적 휴리스틱, 허프만 부호화, 엑사, 푸시다운 자동 기계, 표준 형식, 킬로, 사건, 사고 실험, 사용자 인터페이스, 사이버네틱스, 사전식 순서, 살만 칸 (교육인), 삼진 골레 부호, 피터 일라이어스, 프레더릭 브룩스, 프레다 미허일레스쿠, 프레임, 프로그래밍 도구, 프로세스 식별자, 선입 선출, 선형 부호, 턴스톨 부호화, 세라 로런스 칼리지, 세메레디 엔드레, 세션 (컴퓨터 과학), 서로소 집합 자료 구조, 서비스 과학, 손 마사요시, 소프트웨어, 소프트웨어 공학, 소프트웨어 트랜잭셔널 메모리, 통계학, 통신공학, 앤드루 타넨바움, 앤드루 야오, 앨런 뉴얼, 앨런 튜링, 앨런 펄리스, 앨런 케이, 함수 (동음이의), 앨프리드 에이호, 해밍 부호, 해시 트리, 알론조 처치, 알고리즘, 알고리즘 분석, 한국정보과학회, 핵중심구구조문법, 암호학, 필 캐츠, 아디 샤미르, 아네르스 하일스베르, 아니타 보그, 아이노드, 학문 목록, 테라, 식사하는 철학자들 문제, 실행 시간, 시모어 페퍼트, 시스템 생물학, 시스템 시간, 웹 사이언스, , 후입 선출, 황정목, K-d 트리, Lex, NOP, O (동음이의), P-NP 문제, P진수, QNX, SFS, 2의 거듭제곱, 2차원 컴퓨터 그래픽스. 색인을 확장하십시오 (339 더) »

A* 알고리즘

전산학 분야에 있어서, A* 알고리즘(에이 스타 알고리듬)은 주어진 출발 꼭짓점에서부터 목표 꼭짓점까지 가는 최단 경로를 찾아내는(다시 말해 주어진 목표 꼭짓점까지 가는 최단 경로임을 판단할 수 있는 테스트를 통과하는) 그래프/트리 탐색 알고리즘 중 하나이.

새로운!!: 컴퓨터 과학와 A* 알고리즘 · 더보기 »

ACM 멀티미디어

ACM 멀티미디어(줄여서 ACM-MM)은 계산기 학회(Association of Computing Machinery, ACM)의 연례 콘퍼런스 중하나이.

새로운!!: 컴퓨터 과학와 ACM 멀티미디어 · 더보기 »

ArXiv

arXiv(아카이브)는 수학, 물리학, 천문학, 전산 과학, 계량 생물학, 통계학 분야의 출판 전(preprint) 논문을 수집하는 웹사이트이.

새로운!!: 컴퓨터 과학와 ArXiv · 더보기 »

AspectC++

AspectC++는 C와 C++ 언어의 관점 지향 확장이.

새로운!!: 컴퓨터 과학와 AspectC++ · 더보기 »

B 트리

1998 Order 5. 전산학에서 B-트리(B-tree)는 데이터베이스와 파일 시스템에서 널리 사용되는 트리 자료구조의 일종으로, 이진 트리를 확장해 하나의 노드가 가질 수 있는 자식 노드의 최대 숫자가 2보다 큰 트리 구조이.

새로운!!: 컴퓨터 과학와 B 트리 · 더보기 »

B+ 트리

순한 B+ 트리의 예 컴퓨터 과학에서 B+ 트리(Quaternary Tree라고도 알려져 있음)는 키에 의해서 각각 식별되는 레코드의 효율적인 삽입, 검색과 삭제를 통해 정렬된 데이터를 표현하기 위한 트리자료구조의 일종이.

새로운!!: 컴퓨터 과학와 B+ 트리 · 더보기 »

BSD

BSD의 족보. BSD(Berkeley Software Distribution)는 1977년부터 1995년까지 미국 캘리포니아 대학교 버클리(University of California, Berkeley)의 CSRG(Computer Systems Research Group)에서 개발한 유닉스 운영 체제이.

새로운!!: 컴퓨터 과학와 BSD · 더보기 »

CFG

CFG의 다른 뜻은 다음과 같.

새로운!!: 컴퓨터 과학와 CFG · 더보기 »

Computers and Intractability: A Guide to the Theory of NP-Completeness

《Computers and Intractability: A Guide to the Theory of NP-Completeness》는 NP-완전 문제를 처음 다룬 전산학의 고전이.

새로운!!: 컴퓨터 과학와 Computers and Intractability: A Guide to the Theory of NP-Completeness · 더보기 »

Considered harmful

의 해로움(... considered harmful)은 컴퓨터 과학이나 비슷한 분야에서 혹독한 비평을 할 때 제목으로 사용되는 유명한 문구이.

새로운!!: 컴퓨터 과학와 Considered harmful · 더보기 »

CS

CS, Cs, cs는 다음 뜻을 가지고 있.

새로운!!: 컴퓨터 과학와 CS · 더보기 »

EmuLab

EmuLab은 연구를 위한 네트워크 시스템을 개발, 디버그, 검증하기 위한 테스트베드이.

새로운!!: 컴퓨터 과학와 EmuLab · 더보기 »

런타임

임()은 컴퓨터 과학에서 컴퓨터 프로그램이 실행되고 있는 동안의 동작을 말. "런타임"이라는 용어는 컴퓨터 언어 안에 쓰인 프로그램을 관리하기 위해 특정한 컴파일러나 가상 머신이 사용하는 기본 코드의 라이브러리나 프로그램을 가리키는 런타임 라이브러리라고도 일컫.

새로운!!: 컴퓨터 과학와 런타임 · 더보기 »

럿거스 대학교

럿거스 대학교(Rutgers University)는 미국 뉴저지 주에 위치 해 있으며, 뉴저지 주에서는 그 규모면에서 가장 큰 고등 교육기관이.

새로운!!: 컴퓨터 과학와 럿거스 대학교 · 더보기 »

랜덤 접근 기계

접근 머신(Random-access machine, RAM)은 컴퓨터 과학에서 레지터스 머신 중 일반적인 등급 내에 속하는 추상적인 기계이.

새로운!!: 컴퓨터 과학와 랜덤 접근 기계 · 더보기 »

랜들 먼로

릭 먼로(Randall Patrick Munroe, 1984년 10월 17일 ~) 는 미국인 작가이자 NASA 로봇공학자, 웹코믹 xkcd의 작가이.

새로운!!: 컴퓨터 과학와 랜들 먼로 · 더보기 »

랜디 포시

시 랜돌프 프레더릭 "랜디" 포시(1960년 10월 23일 ~ 2008년 7월 25일)는 미국의 컴퓨터과학(Computer Science) 교수이며, 인간과 컴퓨터 상호 작용 연구자이.

새로운!!: 컴퓨터 과학와 랜디 포시 · 더보기 »

람다 대수

수(λ-calculus, lambda-calculus)는 이론 컴퓨터과학 및 수리논리학에서 변수의 네임 바인딩과 대입의 방법을 이용하여 함수 정의, 함수 적용, 귀납적 함수 추상화를 수행하고 수학 연산을 표현하는 형식 체계이.

새로운!!: 컴퓨터 과학와 람다 대수 · 더보기 »

래리 페이지

리 페이지(Lawrence E. Page;Larry Page, 1973년 3월 26일 ~)는 미국의 비즈니스 거물이자 세르게이 브린과 함께 구글의 공동 창업자인 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 래리 페이지 · 더보기 »

래디아 펄먼

아 조이 펄먼(Radia Joy Perlman, 1951년 1월 1일 -)은 소프트웨어 디자이너 겸 네트워크 공학자이.

새로운!!: 컴퓨터 과학와 래디아 펄먼 · 더보기 »

래스터 그래픽스

RGB 비트맵 그림의 맨 위 왼쪽 모퉁이에 웃는 얼굴이 있다고 치자. 확대를 하면 커다란 웃는 얼굴은 오른쪽과 같이 보이게 된다. 각 사각형은 화소를 나타낸다. 더 확대하면 각 화소는 더 커 보이게 되며 빨강, 초록, 파랑색의 값을 추가함으로써 색을 이루고 있음을 알 수 있다. 컴퓨터 과학에서 래스터 그래픽스(Raster graphics) 이미지, 곧 비트맵은 일반적으로 직사각형 격자의 화소, 색의 점을 모니터, 종이 등의 매체에 표시하는 자료 구조이.

새로운!!: 컴퓨터 과학와 래스터 그래픽스 · 더보기 »

래스터화

스터화()는 컴퓨터 과학에서 백터 그래픽 이미지를 비디오 디스플레이나 프린터 등의 래스터 디바이스에 출력하기 위해 래스터 이미지로 변환하는 것을 의미.

새로운!!: 컴퓨터 과학와 래스터화 · 더보기 »

데니스 리치

스 매캘리스테어 리치(1941년 9월 9일 ~ 2011년 10월 12일)는 미국의 저명한 전산학자이자 현대 컴퓨터의 선구자이.

새로운!!: 컴퓨터 과학와 데니스 리치 · 더보기 »

데이비드 골드버그

이비드 E. 골드버그(David E. Goldberg, 1953년 ~)는 유전 알고리즘 분야의 권위자이며 일리노이 대학교 어바나-샴페인의 공대 교수로 재직중이.

새로운!!: 컴퓨터 과학와 데이비드 골드버그 · 더보기 »

데이나 스콧

이나 스튜어트 스콧(1932~)은 미국의 컴퓨터 과학자·수리논리학자이.

새로운!!: 컴퓨터 과학와 데이나 스콧 · 더보기 »

데이크스트라 알고리즘

학에서, 데이크스트라 알고리즘(.

새로운!!: 컴퓨터 과학와 데이크스트라 알고리즘 · 더보기 »

데이터 사이언스

이터 과학(data science)이란, 데이터와 관련된 연구를 하는 학문이.

새로운!!: 컴퓨터 과학와 데이터 사이언스 · 더보기 »

데이터베이스 스키마

미디어위키의 데이터베이스 스키마 개요 컴퓨터 과학에서 데이터베이스 스키마(database schema)는 데이터베이스에서 자료의 구조, 자료의 표현 방법, 자료 간의 관계를 형식 언어로 정의한 구조이.

새로운!!: 컴퓨터 과학와 데이터베이스 스키마 · 더보기 »

데이터베이스 소비

이터베이스 소비(データベース消費)는 일본의 평론가 아즈마 히로키가 제기한 개념으로, 이야기 그 자체가 아니라 그 구성 요소가 소비의 대상이 되는 콘텐츠의 수용 방법이.

새로운!!: 컴퓨터 과학와 데이터베이스 소비 · 더보기 »

도널드 커누스

어빈 커누스(Donald Ervin Knuth,, 1938년 1월 10일 위스콘신 주 밀워키 출생)는 미국의 저명한 컴퓨터 과학자이며, 현재 스탠퍼드 대학교의 명예교수이.

새로운!!: 컴퓨터 과학와 도널드 커누스 · 더보기 »

독자-저자 문제

전산학에서 독자-저자 문제(readers-writers problem)란 여러 명의 독자와 저자들이 하나의 저장 공간(버퍼)을 공유하며 이를 접근할 때 발생하는 문제이.

새로운!!: 컴퓨터 과학와 독자-저자 문제 · 더보기 »

독학학위제

독학학위제는 독학자에게 학사 학위 취득의 기회를 부여하기 위해 국가가 시험에 합격한 사람에게 학사 학위를 수여하는 제도이.

새로운!!: 컴퓨터 과학와 독학학위제 · 더보기 »

라디카 나그팔

()는 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 라디카 나그팔 · 더보기 »

라이프 게임

‘글라이더’ 패턴의 진행. 라이프 게임(Game of Life) 또는 생명 게임은 영국의 수학자 존 호턴 콘웨이가 고안해낸 세포 자동자의 일종으로, 가장 널리 알려진 세포 자동자 가운데 하나이.

새로운!!: 컴퓨터 과학와 라이프 게임 · 더보기 »

라즈베리 파이

베리 파이()는 영국 잉글랜드의 라즈베리 파이 재단이 학교와 개발도상국에서 기초 컴퓨터 과학의 교육을 증진시키기 위해 개발한 신용카드 크기의 싱글 보드 컴퓨터이.

새로운!!: 컴퓨터 과학와 라즈베리 파이 · 더보기 »

락 (컴퓨터 과학)

학에서 락(lock) 또는 뮤텍스(mutex, 상호 배제에서)는 여러 스레드를 실행하는 환경에서 자원에 대한 접근에 제한을 강제하기 위한 동기화 매커니즘이.

새로운!!: 컴퓨터 과학와 락 (컴퓨터 과학) · 더보기 »

레슬리 램포트

슬리 램포트 (1941년 2월 7일 뉴욕 시 출생)는 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 레슬리 램포트 · 더보기 »

레오니드 레빈

오니드 레빈 레오니드 아나톨리에비치 레빈(1948년 11월 2일 ~)은 소비에트 연방 드네프로페트로프스크(현 우크라이나의 드니프로페트로우스크)에서 출생한 전산학자, 수학자이.

새로운!!: 컴퓨터 과학와 레오니드 레빈 · 더보기 »

로바스 라슬로

바스 라슬로(1948년 3월 9일 ~)는 헝가리 태생의 수학자.

새로운!!: 컴퓨터 과학와 로바스 라슬로 · 더보기 »

로베르트 러브

베르트 M. 러브(Robert M. Love, 1981년~)는 미국의 작가, 구글 기술자, 및 오픈 소스 소프트웨어 개발자이.

새로운!!: 컴퓨터 과학와 로베르트 러브 · 더보기 »

로버트 플로이드

버트 플로이드 (Robert W Floyd, 1936년 6월 8일 – 2001년 9월 25일)는 1978년에 튜링상을 수상한 저명한 전산학자이.

새로운!!: 컴퓨터 과학와 로버트 플로이드 · 더보기 »

로트피 자데

애스커 자데(Lotfi Asker Zadeh, 1921년 2월 4일 ~ 2017년 9월 6일)는 수학자이자 전산학자로 캘리포니아 대학교 버클리의 전산학 교수였.

새로운!!: 컴퓨터 과학와 로트피 자데 · 더보기 »

로컬 버스

학에서 로컬 버스(local bus)는 CPU를 하나 이상의 확장 버스 슬롯에 직접, 또는 거의 직접 연결하는 컴퓨터 버스이.

새로운!!: 컴퓨터 과학와 로컬 버스 · 더보기 »

로열 메달

열 메달(Royal Medal)은 왕립학회가 매년 영국 연방에서 "자연에 대한 지식의 발전에 가장 중요한 공헌을 한" 두 사람과 "응용 과학 분야에서 뛰어난 공헌을 한" 한 사람에게 주는 상으로, 금도금된 은메달이 수여.

새로운!!: 컴퓨터 과학와 로열 메달 · 더보기 »

리누스 토르발스

리누스 베네딕트 토르발스(1969년 12월 28일 ~)는 핀란드 헬싱키에서 태어난 스웨덴계 핀란드인으로서 소프트웨어 개발자이자 리눅스 커널과 깃을 최초로 개발한 사람으로 잘 알려져 있. 후에 그는 리눅스 커널 개발 최고 설계자가 되었고, 현재 프로젝트 코디네이터로 활동하고 있. 그는 커널의 플랫폼 독립적인 부분과 인텔 IA-32 아키텍처로 구체화되는 핵심 커널의 컴포넌트들을 관리.

새로운!!: 컴퓨터 과학와 리누스 토르발스 · 더보기 »

리눅스 커널

리눅스 커널(Linux kernel)은 오픈 소스 모놀리딕 유닉스 계열 컴퓨터 운영 체제 커널이.

새로운!!: 컴퓨터 과학와 리눅스 커널 · 더보기 »

리드 헤이스팅스

리드 헤이스팅스(Wilmot Reed Hastings, Jr., 1960년 10월 8일 ~)은 미국의 기업인이.

새로운!!: 컴퓨터 과학와 리드 헤이스팅스 · 더보기 »

리스트 (컴퓨팅)

세 개의 정수를 저장하고 있는 단순 연결 리스트 리스트(list)는 컴퓨터 과학에서 같은 값이 한 번 이상 존재할 수 있는 일련의 값이 모여있는 추상적 자료형이.

새로운!!: 컴퓨터 과학와 리스트 (컴퓨팅) · 더보기 »

리처드 해밍

리처드 웨슬리 해밍(1915년 2월 11일 ~ 1998년 1월 7일)은 미국의 수학자이.

새로운!!: 컴퓨터 과학와 리처드 해밍 · 더보기 »

리카이푸

리카이푸 리카이푸(Kai-Fu Lee, 1961년 12월 3일 ~)는 중화민국 출신의 기업인이자 전산학자이.

새로운!!: 컴퓨터 과학와 리카이푸 · 더보기 »

링커 (컴퓨팅)

링크 과정을 간단히 나타낸 그림. 목적 파일과 정적 라이브러리가 새로운 라이브러리나 실행 파일로 병합되고 있다. 링커(linker) 또는 링크 에디터(link editor)는 컴퓨터 과학에서 컴파일러가 만들어낸 하나 이상의 목적 파일을 가져와 이를 단일 실행 프로그램으로 병합하는 프로그램이.

새로운!!: 컴퓨터 과학와 링커 (컴퓨팅) · 더보기 »

말레이시아 고등교육 자격시험

말레이시아 고등교육 자격시험()(이하 STPM)은 말레이시아에서 대학에 입학하고자 하는 학생들을 대상으로 실시하는 시험이.

새로운!!: 컴퓨터 과학와 말레이시아 고등교육 자격시험 · 더보기 »

매크로 (컴퓨터 과학)

jEdit의 매크로 편집기. 매크로(macro)는 컴퓨터 과학 분야에서 정해진 순서에 따라 어떻게 특정한 입력 시퀀스 (문자열을 가리키기도 함)가 출력 시퀀스 (이 또한 문자열을 가리키기도 함)로 매핑되어야 하는지를 정의하는 규칙이나 패턴을 말. 하나의 매크로를 특정한 출력 시퀀스로 바로 만들어내는 매핑 과정은 "매크로 확장"이라고 알려져 있. 매크로는 프로그래머가 하나의 프로그램 문에 사용 가능한 일련의 컴퓨팅 명령을 만들기 위해 사용하며 프로그래밍 작업을 덜 따분하게 만들어주고 오류가 덜 발생하게 만들어준.

새로운!!: 컴퓨터 과학와 매크로 (컴퓨터 과학) · 더보기 »

매사추세츠 대학교 애머스트

매사추세츠 대학교 애머스트 캠퍼스(University of Massachusetts Amherst)는 매사추세츠 주의 애머스트 대학가에 위치한 주립 대학으로 매사추세츠 대학교의 5개의 캠퍼스(보스턴, 로우웰, 다트머스, 의과대학)중 중심이 되는 메인 캠퍼스이.

새로운!!: 컴퓨터 과학와 매사추세츠 대학교 애머스트 · 더보기 »

마빈 민스키

마빈 리 민스키(Marvin Lee Minsky, 1927년 8월 9일 ~ 2016년 1월 24일)는 인공지능(AI) 분야를 개척한 미국인 과학자이.

새로운!!: 컴퓨터 과학와 마빈 민스키 · 더보기 »

마운트

마운트(mount)는 컴퓨터 과학에서 저장 장치에 접근할 수 있는 경로를 디렉터리 구조에 편입시키는 작업을 말. 좁은 의미로는 유닉스 계열의 운영 체제에서의 mount 명령어 또는 그 명령어를 사용하는 것을 말. mount 명령어를 사용하면 저장 장치의 접근 경로를 원하는 위치에 생성할 수 있. 마운트를 이용하면 분산 파일 시스템으로 확장하기가 용이.

새로운!!: 컴퓨터 과학와 마운트 · 더보기 »

마이크로커널

모놀리딕과 마이크로커널 기반 운영 체제의 구조. 마이크로커널(microkernel)은 컴퓨터 과학에서 운영 체제에 추가되어야 하는 메커니즘을 제공하는 커널이.

새로운!!: 컴퓨터 과학와 마이크로커널 · 더보기 »

마이크로소프트 리서치

마이크로소프트 리서치(Microsoft Research, MSR)는 마이크로소프트사가 전산학에 대한 여러 주제와 문제를 연구하기 위해 1991년에 설립한 부서이.

새로운!!: 컴퓨터 과학와 마이크로소프트 리서치 · 더보기 »

마이크로소프트 아카데믹 프로그램

마이크로소프트 아카데믹 프로그램(Microsoft Academic Program)은 한국마이크로소프트에서 학생들의 학술활동을 지원해 주는 프로그램이.

새로운!!: 컴퓨터 과학와 마이크로소프트 아카데믹 프로그램 · 더보기 »

마샬링 (컴퓨터 과학)

학에서 마샬링(marshalling, l을 하나만 사용하여 marshaling이라고도 표기)이란 한 객체의 메모리에서의 표현방식을 저장 또는 전송에 적합한 다른 데이터 형식으로 변환하는 과정이.

새로운!!: 컴퓨터 과학와 마샬링 (컴퓨터 과학) · 더보기 »

멱등법칙

멱등법칙(冪等法則) 또는 멱등성(冪等性)은 수학이나 전산학에서 연산의 한 성질을 나타내는 것으로, 연산을 여러 번 적용하더라도 결과가 달라지지 않는 성질을 의미.

새로운!!: 컴퓨터 과학와 멱등법칙 · 더보기 »

메모리 누수

학에서 메모리 누수(memory leak) 현상은 컴퓨터 프로그램이 필요하지 않은 메모리를 계속 점유하고 있는 현상이.

새로운!!: 컴퓨터 과학와 메모리 누수 · 더보기 »

메모리 주소

학에서 메모리 주소는 메모리 위치에 대한 식별자로, 컴퓨터 프로그램이나 하드웨어 장치가 데이터를 저장하고 나중에 이를 가져오는 장소이.

새로운!!: 컴퓨터 과학와 메모리 주소 · 더보기 »

모듈

모듈(module) 또는 모듈성 또는 모듈러는 다음과 같은 의미로 쓰인.

새로운!!: 컴퓨터 과학와 모듈 · 더보기 »

모듈성 (프로그래밍)

모듈성은 컴퓨터 과학에서 응용되는 개념으로서, 특히 프로그래밍뿐만 아니라 인지과학에서 정신의 구조를 조사하는 데에도 사용.

새로운!!: 컴퓨터 과학와 모듈성 (프로그래밍) · 더보기 »

모니터 (동기화)

전산학에서 모니터(monitor)는 프로세스 또는 스레드를 동기화하는 방법 중 하나로서, 그 방법으로 활용하기 위해 구현된 기능 또는 모듈을 뜻. 주로 고급 언어에서 이 기능을 지원하며, 한번에 하나의 프로세스만 모니터에서 활동하도록 보장해준.

새로운!!: 컴퓨터 과학와 모니터 (동기화) · 더보기 »

목적 파일

학에서 목적 코드 또는 목적 파일은 컴파일러나 어셈블러가 소스 코드 파일을 컴파일 또는 어셈블해서 생성하는 파일이.

새로운!!: 컴퓨터 과학와 목적 파일 · 더보기 »

명령형 프로그래밍

학에서 명령형 프로그래밍(Imperative programming)은 선언형 프로그래밍과 반대되는 개념으로, 프로그래밍의 상태와 상태를 변경시키는 구문의 관점에서 연산을 설명하는 프로그래밍 패러다임의 일종이.

새로운!!: 컴퓨터 과학와 명령형 프로그래밍 · 더보기 »

명세 언어

명세 언어(Specification language), 명세 기술 언어는 전산학에 쓰이는 형식 언어이.

새로운!!: 컴퓨터 과학와 명세 언어 · 더보기 »

무작위 행보

무작위 행보(無作爲行步) 또는 취보(醉步, drunkard walking)는 수학, 컴퓨터 과학, 물리학 분야에서 임의 방향으로 향하는 연속적인 걸음을 나타내는 수학적 개념이.

새로운!!: 컴퓨터 과학와 무작위 행보 · 더보기 »

미하엘 라빈

미하엘 오제르 라빈(1931년 9월 1일 ~)은 이스라엘의 저명한 전산학자이.

새로운!!: 컴퓨터 과학와 미하엘 라빈 · 더보기 »

민 리

민 리(1977년 6월 27일 ~)는 베트남계 캐나다인 게임 개발자로, 1999년 제스 클리프와 함께 《하프라이프》의 유명 모드인 《카운터스트라이크》를 제작.

새로운!!: 컴퓨터 과학와 민 리 · 더보기 »

감성 컴퓨팅

성 컴퓨팅(Affective computing)은 인간의 감성을 인지, 해석, 처리할 수 있는 시스템과 장치를 설계하는 것과 관련된 인공지능을 연구하고 개발하는 분야이며, 컴퓨터 과학, 심리학, 인지과학 분야에 걸쳐 있. 이 분야의 기원은 1995년 로사린드 피카드의 논문에서 기원하는 컴퓨터 과학의 최신 분야인 감성에 대한 철학적인 고찰에까지 거슬러 올. 이 연구의 동기는 감정 이입을 모방하는 능력이며, 이 기계는 인간의 감성 상태를 해석하고 행동을 조절하여 이러한 감성들에 대해 적절한 대응을 해야.

새로운!!: 컴퓨터 과학와 감성 컴퓨팅 · 더보기 »

객체 (컴퓨터 과학)

학에서 객체 또는 오브젝트(object)는 저장공간에서 할당되어 값을 가지거나 식별자에 의해 참조되는 공간을 의미하며, 변수, 자료 구조, 함수 또는 메소드가 될 수 있. 프로그래밍 언어는 변수를 이용해 객체에 접근하므로 객체와 변수라는 용어는 종종 함께 사용.

새로운!!: 컴퓨터 과학와 객체 (컴퓨터 과학) · 더보기 »

객체 기반

전산학에서 객체기반이라는 말은 두 가지 뜻으로 쓰인.

새로운!!: 컴퓨터 과학와 객체 기반 · 더보기 »

배열

학에서 배열(配列·排列)은 번호(인덱스)와 번호에 대응하는 데이터들로 이루어진 자료 구조를.

새로운!!: 컴퓨터 과학와 배열 · 더보기 »

개미 군체

미굴의 석고 주조물 뉴사우스웨일스 옥슬리와일드리버스 국립공원의 개미언덕과 개미길 마하라슈트라 푸네) 개미 군체는 개미가 그들의 생애주기를 조직하는 기본 단위.

새로운!!: 컴퓨터 과학와 개미 군체 · 더보기 »

개체

* 생물학에서 개체는 하나의 생명체이.

새로운!!: 컴퓨터 과학와 개체 · 더보기 »

반복 로그

학에서, n의 반복 로그()는 n (보통 "로그-스타"(log star)이라고 읽는다)로 쓰며, 로그 함수를 반복적으로 적용시켜서 결과 값이 1보다 같거나 작아질 때 까지 걸리는 횟수이.

새로운!!: 컴퓨터 과학와 반복 로그 · 더보기 »

반영 (컴퓨터 과학)

학에서, 반영(Reflection)은 컴퓨터 프로그램에서 런타임 시점에 사용되는 자신의 구조와 행위를 관리(type introspection)하고 수정할 수 있는 프로세스를 의미.

새로운!!: 컴퓨터 과학와 반영 (컴퓨터 과학) · 더보기 »

값 (컴퓨터 과학)

학에서, 값은 더 이상 평가될 수 없는 하나의 식이.

새로운!!: 컴퓨터 과학와 값 (컴퓨터 과학) · 더보기 »

바닥 함수와 천장 함수

수학과 컴퓨터 과학에서, 바닥 함수()는 각 실수 이하의 최대 정수를 구하는 함수이.

새로운!!: 컴퓨터 과학와 바닥 함수와 천장 함수 · 더보기 »

밀레니엄 문제

밀레니엄 문제()는 2000년 5월 24일에 클레이 수학연구소(CMI)가 정한, 21세기 사회에 가장 크게 공헌할 수 있지만 아직까지 풀리지 않은 미해결 문제 7가지를 말. "오랫동안 풀리지 않은 중요한 기본 문제"로 여겨지고 있. CMI는 각 문제를 처음으로 해결하는 사람에게는 100만 달러씩을 수여한다고 하였.

새로운!!: 컴퓨터 과학와 밀레니엄 문제 · 더보기 »

벡터 그래픽스

벡터 그래픽스와 래스터 그래픽스의 결과를 비교한 예이다. 오른쪽 위의 그림은 벡터 그림을 7배 확대한 것을 나타낸 것이다. 오른쪽 아래의 그림은 비트맵 그림으로 같은 크기로 확대한 것을 나타낸 것이다. 래스터 그림은 픽셀을 기반으로 하기 때문에 명확성을 잃는 반면, 벡터 기반의 그림은 크기를 바꾸어도 이러한 손실이 일어나지 않는다. 벡터 그래픽스(Vector graphics)는 컴퓨터 과학에서 그림을 보여줄 때 수학 방정식을 기반으로 하는 점, 직선, 곡선, 다각형과 같은 물체를 사용하는 것을 말. 객체 지향 그래픽스().

새로운!!: 컴퓨터 과학와 벡터 그래픽스 · 더보기 »

벨라루스 국립 정보, 무선전자 종합대학

벨라루스 국립 정보, 무선전자 종합대학(벨라루스어: Беларускі дзяржаўны ўніверсітэт інфарматыкі і радыёэлектронікі; 러시아어: Белорусский государственный университет информатики и радиоэлектроники)은 벨라루스 공화국의 정보기술, 무선공학, 전자공학 및 원격통신 분야에서 주도적인 고등교육기관으로서 유럽과 독립국가연합 국가들을 비롯한 전 세계에 널리 알려져 있. 오늘날 이 곳은 전산학, 정보공학의 프로그램 지원, 자동화 시스템 프로그램 지원, 인공지능, 자동조종, 무선전자공학체계, 미소전자공학, 원격조종, 무선 및 컴퓨터장치와 전자기구, 의료전자기구 및 안전기술수단의 설계, 도량형학, 표준화, 그리고 경제학 분야 등 30개의 전공부문의 기술자들을 양성하고 있. 10개의 학부와 35개의 강좌에서 주간, 야간, 통신 및 원격교육체계에 총 15,000명 이상의 학생들(350명의 외국인 포함)이 배우고 있. 2001년에는 준연구원이 개설되었으며 현재 27개의 전공부문, 박사원에서는 8개의 전공부문에서 전문가 양성을 하고 있. 이 대학에 입학하려면 벨라루스어 혹은 러시아어, 물리학, 수학, 외국어(시장경제, 경제학, 생산조직분야에만 한함) 과목들에 대한 중앙시험을 쳐야.

새로운!!: 컴퓨터 과학와 벨라루스 국립 정보, 무선전자 종합대학 · 더보기 »

경로

경로(經路) 또는 패스(path)는 파일이나 디렉터리의 일반적인 형태로서 파일 시스템에서 고유한 위치를 지정.

새로운!!: 컴퓨터 과학와 경로 · 더보기 »

경쟁 상태

공학 분야에서 경쟁 상태(race condition)란 둘 이상의 입력 또는 조작의 타이밍이나 순서 등이 결과값에 영향을 줄 수 있는 상태를 말. 입력 변화의 타이밍이나 순서가 예상과 다르게 작동하면 정상적인 결과가 나오지 않게 될 위험이 있는데 이를 경쟁 위험이.

새로운!!: 컴퓨터 과학와 경쟁 상태 · 더보기 »

게임 엔진

임 엔진()은 비디오 게임 같은 실시간 그래픽 표시 기능을 갖춘 상호 작용 응용 프로그램을 구현하는 핵심 소프트웨어 구성 요소를 말. 컴퓨터 게임 개발에 바탕이 되는 기술을 제공하여 개발 과정을 단축시켜 줄 뿐 아니라, 게임을 다양한 플랫폼에서 실행할 수 있게 해주.

새로운!!: 컴퓨터 과학와 게임 엔진 · 더보기 »

게임학

임학(Game studies)은 사회 과학이나 인문학적인 관점에서 비디오 게임을 분석하는 젊은 학문 분야이.

새로운!!: 컴퓨터 과학와 게임학 · 더보기 »

범주 (수학)

범주론에서, 범주(範疇)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이.

새로운!!: 컴퓨터 과학와 범주 (수학) · 더보기 »

버틀러 램슨

버틀러 W. 램슨(Butler W. Lampson, 1943년 12월 23일~)은 저명한 컴퓨터 과학자.

새로운!!: 컴퓨터 과학와 버틀러 램슨 · 더보기 »

고차 함수

수(高次函數, higher-order function)는 수학과 컴퓨터 과학에서 적어도 다음 중 하나를 수행하는 함수이.

새로운!!: 컴퓨터 과학와 고차 함수 · 더보기 »

보고정렬

학에서, 보고정렬(bogosort, 또한 stupid sort 또는 slowsort..)은 정렬 알고리즘 중 하나로 비효율적인 것에 속. 보고 정렬의 이름은 단어 "bogus"에서 유. 보고정렬은 정렬하는데 유용하게 사용되지는 않지만, 실제로 사용되는 알고리즘과 비교를 통한 교육에서 사용될 수 있. 또한 논리형 프로그래밍의 예시로서 사용.

새로운!!: 컴퓨터 과학와 보고정렬 · 더보기 »

보호 링

보호 모드에서 이용할 수 있는 x86의 권한 링. 컴퓨터 과학에서 계층 보호 도메인(hierarchical protection domains), 즉 보호 링(protection rings)은 결함 (결함 내성) 및 악성 행동 (컴퓨터 보안)으로부터 데이터와 기능을 보호하는 매커니즘이.

새로운!!: 컴퓨터 과학와 보호 링 · 더보기 »

과학사

학사(History of science)는 자연세계에서 인류의 역사적 발전을 연구하는 학문이.

새로운!!: 컴퓨터 과학와 과학사 · 더보기 »

병렬 통신

병렬 통신과 직렬 통신. 전기 통신과 전산학 분야에서 병렬 통신은 여러 개의 병렬 채널 위로 동시에 여러 개의 데이터 신호를 보내는 방식이.

새로운!!: 컴퓨터 과학와 병렬 통신 · 더보기 »

병행성

식사하는 철학자들 문제는 병행성과 공유 자원을 동반하는 고전적인 문제이다. 병행성(concurrency)은 컴퓨터 과학에서 여러 계산을 동시에 수행하는 시스템의 특성으로, 잠재적으로는 서로 상호 작용이 가능.

새로운!!: 컴퓨터 과학와 병행성 · 더보기 »

계량화학

량화학(計量化學, Chemometrics)은 데이터 구동 수단을 통해 화학계로부터 정보를 추출해내는 학문이.

새로운!!: 컴퓨터 과학와 계량화학 · 더보기 »

별표

별표(*)는 타이포그래피 기호나 그림 문자이.

새로운!!: 컴퓨터 과학와 별표 · 더보기 »

계산 가능성 이론

산 가능성 이론(計算可能性理論) 또는 재귀 이론(再歸理論)은 수학기초론의 중요한 분야이자 컴퓨터 과학에서는 계산 이론의 한 갈래이.

새로운!!: 컴퓨터 과학와 계산 가능성 이론 · 더보기 »

계산 가능한 수

산 가능한 수(computable number) 또는 재귀적 수(recursive number), 계산 가능한 실수는 수학, 특히 전산학과 수리논리학에서, 유한한 수의 알고리즘을 통해 임의의 유한한 정확도로 구할 수 있는 수를 말. μ-재귀함수, 튜링 기계, λ-칼큘러스 등을 통해 다른 동등한 정의를 내릴 수도 있. 계산 가능한 수들로 닫힌 실수체를 만들 수 있고, 수학적인 용도로 실수체를 거의 어느 정도 대체할 수 있. 분류:수.

새로운!!: 컴퓨터 과학와 계산 가능한 수 · 더보기 »

계산 복잡도 이론

산 복잡도 이론(Computational complexity theory)은 컴퓨터 과학에서 계산 이론의 분야로, 계산 문제를 푸는 알고리즘을 복잡도에 따라 분류하여 문제의 모임을 구성하는 방법을 연. 이 때 알고리듬의 수행은 실제 컴퓨터가 할 수 있지만, 평가하는 데에는 튜링 기계와 관련이 있는 정량화된 방법을 사용.

새로운!!: 컴퓨터 과학와 계산 복잡도 이론 · 더보기 »

계산 이론

산 이론(計算理論, Theory of computation)은 컴퓨터 과학의 한 갈래로, 어떤 문제를 컴퓨터로 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를.

새로운!!: 컴퓨터 과학와 계산 이론 · 더보기 »

계산과학

산과학(computational science, scientific computing)은 과학이나 공학 문제를 수치적 방법과 컴퓨터 계산을 이용하여 푸는 분야이.

새로운!!: 컴퓨터 과학와 계산과학 · 더보기 »

계산기 엡실론

산기 엡실론(Machine epsilon)은 부동소수점 연산에서 반올림을 함으로써 발생하는 오차의 상한이.

새로운!!: 컴퓨터 과학와 계산기 엡실론 · 더보기 »

계산기하학

산기하학(計算幾何學)은 기하학에 관한 알고리즘을 다루는 컴퓨터 과학의 한 분야이.

새로운!!: 컴퓨터 과학와 계산기하학 · 더보기 »

괄호

위에서부터 대괄호, 중괄호, 소괄호, 꺾쇠 괄호, 부등호로 이어진다. 괄호(括弧), 묶음표(--標), 브래킷(bracket)은 숫자, 문자나 문장, 수식의 앞뒤를 막아서 다른 문자열과 구별하는 문장 부호의 하나이자 기호를 말. 컴퓨터 과학 분야에서 이 용어는 가끔은 직사각형이나 사각형 형태로 적용.

새로운!!: 컴퓨터 과학와 괄호 · 더보기 »

관계대수

수(relational algebra,關係代數)는 컴퓨터 과학의 관계형 데이터베이스의 관계 모델에서, 집합론과 1차 논리에 기반하여 관계(표)로 표현된 데이터를 취급하는 대수적인 연산 체계이.

새로운!!: 컴퓨터 과학와 관계대수 · 더보기 »

불리언 자료형

학에서 불리언(boolean) 자료형은 논리 자료형이라고도 하며, 참과 거짓을 나타내는 데 쓰인.

새로운!!: 컴퓨터 과학와 불리언 자료형 · 더보기 »

분할 문제

분할 문제(partition problem)는 전산학에서 다루는 NP-완전 문제이.

새로운!!: 컴퓨터 과학와 분할 문제 · 더보기 »

부분 순서 집합

''y'', ''z'') 순서가 정해지지 않은 것이다. 순서론에서, 부분 순서(部分順序) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이.

새로운!!: 컴퓨터 과학와 부분 순서 집합 · 더보기 »

부분론

수리논리학에서 부분론(mereology)은 부분과 전체의 관계를 다루는 공리적 1차 이론들을 통틀어 가리키는 말이.

새로운!!: 컴퓨터 과학와 부분론 · 더보기 »

부울 도메인

수학 및 추상 대수학 에서 부울 도메인(Boolean domain,부울 영역) 은 거짓 및 참을 포함하는 해석이 포함 된 정확히 두 개의 요소로 구성된 집합이.

새로운!!: 컴퓨터 과학와 부울 도메인 · 더보기 »

부트스트랩 (컴파일러)

부트스트래핑(bootstrapping)은 컴퓨터 과학에서 컴파일러 (또는 어셈블러)를 컴파일 하고자하는 프로그래밍 언어로 작성하는 과정이.

새로운!!: 컴퓨터 과학와 부트스트랩 (컴파일러) · 더보기 »

부작용 (컴퓨터 과학)

학에서 함수가 결과값 이외에 다른 상태를 변경시킬 때 부작용이 있다고 말. 예를 들어, 함수가 전역변수나 정적변수를 수정하거나, 인자로 넘어온 것들 중 하나를 변경하거나 화면이나 파일에 데이터를 쓰거나, 다른 부작용이 있는 함수에서 데이터를 읽어오는 경우가 있. 부작용은 프로그램의 동작을 이해하기 어렵.

새로운!!: 컴퓨터 과학와 부작용 (컴퓨터 과학) · 더보기 »

부호 (수학)

부호를 표시할 때에는 보통 더하기표와 빼기표를 사용한다. 부호(符號)는 양(陽)(+) 또는 음(陰)(-)의 성질을 가지는 수학의 개념이자 이를 나타내는 수학 기호이.

새로운!!: 컴퓨터 과학와 부호 (수학) · 더보기 »

기본값

학에서 기본값(디폴트)이란, 응용 소프트웨어나 컴퓨터 프로그램, 또는 장치에서 사용자의 개입없이 자동으로 할당되는 설정 또는 값을 일컫.

새로운!!: 컴퓨터 과학와 기본값 · 더보기 »

기호 실행

호 실행은 컴퓨터 과학 및 컴퓨터 공학 분야에서 사용하는 용어로써, 컴퓨터 프로그램의 입력값에 대한 실행 경로를 분석하기 위한 기법이.

새로운!!: 컴퓨터 과학와 기호 실행 · 더보기 »

기아 상태

아 상태(스타베이션)는 컴퓨터 과학 용어의 하나로, 프로세스가 끊임없이 필요한 컴퓨터 자원을 가져오지 못하는 상황으로, 이러한 자원 없이는 처리를 끝낼 수 없는 병행 컴퓨팅에서 마주치는 문제이.

새로운!!: 컴퓨터 과학와 기아 상태 · 더보기 »

브라이언 커니핸

브라이언 윌슨 커니핸 (1942년 1월 1일 ~) 은 벨 연구소에서 일하면서 선구적인 스크립트 언어인 AWK와 AMPL의 디자인에 기여한 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 브라이언 커니핸 · 더보기 »

브루스 슈나이어

브루스 슈나이어(Bruce Schneier,, 1963년 1월 15일~)는 미국의 암호학자, 컴퓨터 보안 전문가, 저자이.

새로운!!: 컴퓨터 과학와 브루스 슈나이어 · 더보기 »

블라디미르 레벤시테인

블라디미르 이오시포비치 레벤시테인(1935년 ~)은 정보 이론과 오류 정정 부호를 연구하는 러시아의 과학자이.

새로운!!: 컴퓨터 과학와 블라디미르 레벤시테인 · 더보기 »

블록 부호

수학과 컴퓨터 과학에서, 블록 부호(block符號)는 데이터를 중복해서 “블록”으로 부호화하되, 각 비트 또는 블록의 성분이 전송 과정에서 노이즈를 겪어 바뀌는 것을 일부 경우 교정할 수 있게 하는 부호화 체계이.

새로운!!: 컴퓨터 과학와 블록 부호 · 더보기 »

빌 조이

윌리엄 넬슨 조이(William Nelson Joy, 1954년 11월 8일~)는 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 빌 조이 · 더보기 »

빈트 서프

2007년, 벵갈루루에서 연설하는 빈트 서프 빈트 그레이 서프(Vinton Gray Cerf, 1943년 6월 23일~)는 인터넷과 TCP/IP 프로토콜의 탄생에 기여한 공로로 '인터넷의 아버지' 중 한 사람으로 꼽히는 미국의 전산학자이.

새로운!!: 컴퓨터 과학와 빈트 서프 · 더보기 »

비결정론적 튜링 기계

비결정론적 튜링 기계(nondeterministic Turing machine, NTM)는 튜링 기계에서 특정 상태에서 움직일 수 있는 상태의 개수가 하나로 정해져 있지 않은 경우를 말. 이것은 비결정론적 유한 오토마타와 유사한 개념이.

새로운!!: 컴퓨터 과학와 비결정론적 튜링 기계 · 더보기 »

비정상 값

학에서, 비정상 값(denormal numbers, denormalized numbers, 또는 subnormal numbers라고 부름)은 부동 소수점 연산에서 0 주위의 언더플로 차이를 채워준.

새로운!!: 컴퓨터 과학와 비정상 값 · 더보기 »

비정형 데이터

비정형 데이터(unstructured data, 비정형 정보), 비구조화 데이터, 비구조적 데이터는 미리 정의된 데이터 모델이 없거나 미리 정의된 방식으로 정리되지 않은 정보를 말. 비정형 정보는 일반적으로 텍스트 중심으로 되어 있으나 날짜, 숫자, 사실과 같은 데이터도 포함할 수 있. 이로써 변칙과 모호함이 발생하므로 데이터베이스의 칸 형식의 폼에 저장되거나 문서에 주석화된(의미적으로 태그된) 데이터에 비해 전통적인 프로그램을 사용하여 이해하는 것을 불가능하게 만. 1998년, 메릴린치는 잠재적으로 이용 가능한 모든 비즈니스 정보 중 약 80~90% 정도가 비정형 형식에서 기원한 것으로 보는 경험 법칙을 언급하였.

새로운!!: 컴퓨터 과학와 비정형 데이터 · 더보기 »

비율 단조 스케줄링

전산학에서 비율 단조 스케줄링(rate-monotonic scheduling, 줄여서 RMS)은 1973년 리우(Liu)와 래일랜드(Layland)가 제안한 실시간 시스템을 위한 스케줄링 정책이.

새로운!!: 컴퓨터 과학와 비율 단조 스케줄링 · 더보기 »

대한민국 공군사관학교

공군사관학교(空軍士官學校, Korea Air Force Academy)는 대한민국 공군의 장교를 배출하기 위해 설립된 사관학교이.

새로운!!: 컴퓨터 과학와 대한민국 공군사관학교 · 더보기 »

교착 상태

착 상태(膠着狀態)란 두 개 이상의 작업이 서로 상대방의 작업이 끝나기 만을 기다리고 있기 때문에 결과적으로 아무것도 완료되지 못하는 상태를 가리.

새로운!!: 컴퓨터 과학와 교착 상태 · 더보기 »

구문 분석

언어학에서 구문 분석(構文分析)은 문장을 그것을 이루고 있는 구성 성분으로 분해하고 그들 사이의 위계 관계를 분석하여 문장의 구조를 결정하는 것을 말. 컴퓨터 과학에서 파싱((syntactic) parsing)은 일련의 문자열을 의미있는 토큰(token)으로 분해하고 이들로 이루어진 파스 트리(parse tree)를 만드는 과정을 말.

새로운!!: 컴퓨터 과학와 구문 분석 · 더보기 »

구문 오류

산기에서의 구문 오류. 컴퓨터 과학 분야에서 구문 오류(構文誤謬) 또는 신택스 에러(syntax error)는 특정한 프로그래밍 언어에서 쓰이도록 고안된 일련의 문자열이나 문자 블록의 구문 속의 오류를 가리.

새로운!!: 컴퓨터 과학와 구문 오류 · 더보기 »

구스타프슨의 법칙

스타프슨의 법칙 구스타프슨의 법칙(Gustafson's Law)은 컴퓨터 과학에서 대용량 데이터 처리는 효과적으로 병렬화할 수 있다는 법칙이.

새로운!!: 컴퓨터 과학와 구스타프슨의 법칙 · 더보기 »

낱말 분석

낱말 분석(Lexical analysis)은 컴퓨터 과학에서 프로그래밍 언어를 처리하는 처리하는 최초의 단계이.

새로운!!: 컴퓨터 과학와 낱말 분석 · 더보기 »

나무 (동음이의)

무(南無, 鑼舞, Namu)는 다음과 같은 뜻을.

새로운!!: 컴퓨터 과학와 나무 (동음이의) · 더보기 »

듀이 십진분류법

이십진분류법(Dewey Decimal Classification, DDC)은 1876년에 멜빌 듀이가 고안한 도서 분류 체계이.

새로운!!: 컴퓨터 과학와 듀이 십진분류법 · 더보기 »

디스패치 테이블

학에서 디스패치 테이블 (Dispatch table)은 메서드들을 가리키는 포인터들이나 메소드들의 테이블이. 이런 테이블을 사용하는 것은 객체 지향 프로그래밍에서 늦은 바인딩을 구현하는 기본적인 기술이.

새로운!!: 컴퓨터 과학와 디스패치 테이블 · 더보기 »

디자인 패턴

자인 패턴(Design pattern)은 건축학 및 컴퓨터 과학에서 사용되는 용어로, 설계 문제에 대한 해답을 문서화하기위해 고안된 형식 방법이.

새로운!!: 컴퓨터 과학와 디자인 패턴 · 더보기 »

네트워크 과학

워크 과학(- 科學)은 네트워크는 점(vertex, node)과 연결선(edge, link)들로 이루어진 집합을 의미.

새로운!!: 컴퓨터 과학와 네트워크 과학 · 더보기 »

단백질 접힘

접히기 전후의 단백질. 단백질 접힘(Protein folding)은 선형의 아미노산 복합체인 단백질이 개개의 단백질에 고유한 접힌 구조(folded structure or native structure)를 만드는 과정을 말.

새로운!!: 컴퓨터 과학와 단백질 접힘 · 더보기 »

단계적 공개

적 공개(Progressive Disclosure)는 단계적으로 정보를 공개하여 알리는 것을 말. 심리학, 인지심리학, 인간공학, 정보공학 등의 분야에서는 특히 초기 단계에서 전부를 보여주는 방법(Full Disclosure) 대신 단계적으로 받아들일 수 있을만큼 적절하게 나누어 필요하거나 요청을 받은 정보들만 보이도록 하여 복잡한 정보를 효율적으로 다루는 전략적인 방법을 말. 그 단계는 추상적인 단계에서 구체적 단계로 필요에 따라 공.

새로운!!: 컴퓨터 과학와 단계적 공개 · 더보기 »

니클라우스 비르트

우스 에밀 비르트(1934년 2월 15일~)는 파스칼을 포함해 다양한 프로그래밍 언어를 설계했으며 소프트웨어 공학의 고전적 주제들을 선도해온 스위스의 컴퓨터 과학자이다. 1984년 그는 일련의 혁신적인 컴퓨터 언어들을 개발한 공로로 튜링상을 받았다.

새로운!!: 컴퓨터 과학와 니클라우스 비르트 · 더보기 »

Futex

학에서 futex(fast userspace mutex, 빠른 사용자 공간 상호 배제, 퓨텍스)는 개발자가 기본적인 잠금을 구현하기 위해 사용되거나 세마포어, POSIX 뮤텍스, 조건 변수와 같은 상위 계층의 잠금 추상화를 위한 빌딩 블록으로서 쓰일 수 있는 리눅스 커널에서 제공하는 시스템 호출이.

새로운!!: 컴퓨터 과학와 Futex · 더보기 »

Garbage in, garbage out

Garbage in, garbage out(GIGO)는 "쓰레기가 들어가면 쓰레기가 나온다"는 뜻으로 컴퓨터 과학이나 정보통신기술 분야에서 컴퓨터가 논리 프로세스에 의해 운영되기 때문에 결함이 있는, 심지어는 터무니없는 입력 데이터(쓰레기가 들어감)라도 의심을 품지 않고 처리하며, 생각하지도 않던 터무니없는 출력(쓰레기가 나옴)을 만들어낸다는 사실을 가리.

새로운!!: 컴퓨터 과학와 Garbage in, garbage out · 더보기 »

IBM 하이파 연구소

IBM 하이파 랩 IBM 하이파 연구소(The IBM Haifa Labs) 이스라엘 하이파에 소재한 IBM의 연구소이.

새로운!!: 컴퓨터 과학와 IBM 하이파 연구소 · 더보기 »

INT

INT는 다음을 가리키는 말이다.

새로운!!: 컴퓨터 과학와 INT · 더보기 »

Introduction to Algorithms

《Introduction to Algorithms》는 알고리즘 입문서이.

새로운!!: 컴퓨터 과학와 Introduction to Algorithms · 더보기 »

스키마

스키마(schema)는 계획이나 도식(圖式)을 가리키는 영어 낱말로, 다음을 가리.

새로운!!: 컴퓨터 과학와 스키마 · 더보기 »

스티븐 쿡

스티븐 아서 쿡(Stephen Arthur Cook, 1939년 12월 14일~)은 미국의 전산학자이다. 1971년 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 논문 〈The Complexity of Theorem Proving Procedures〉에서 NP-완전의 개념을 확립한 것으로 유명하다. 이 논문에 들어있는 쿡의 정리는 충족 가능성 문제가 NP-완전임을 증명하는 것이다. 이 논문에서 P와 NP가 같은지를 질문했는데 이를 P-NP 문제라고 부르며, 컴퓨터 과학의 가장 중요한 문제로 밀레니엄 문제 중 하나이기도 하다.

새로운!!: 컴퓨터 과학와 스티븐 쿡 · 더보기 »

스티븐 툴민

스티븐 에델스턴 툴민(Stephen Edelston Toulmin, 1922년 3월 25일 – 2009년 12월 4일)은 영국의 철학자이자 작가, 교육자였.

새로운!!: 컴퓨터 과학와 스티븐 툴민 · 더보기 »

스와스모어 칼리지

스와스모어 칼리지()는 미국 펜실베이니아 주 필라델피아에서 남서쪽으로 20분 정도 떨어진 스와스모어에 있는 칼리지이.

새로운!!: 컴퓨터 과학와 스와스모어 칼리지 · 더보기 »

운용 과학

운용 과학(運用科學, Operations research)은 수학적, 통계적 모형 등을 활용하여 효율적인 의사결정을 돕는 기법이.

새로운!!: 컴퓨터 과학와 운용 과학 · 더보기 »

운영 체제

운영 체제(運營 體制) 또는 오퍼레이팅 시스템(OS)은 시스템 하드웨어를 관리할 뿐 아니라 응용 소프트웨어를 실행하기 위하여 하드웨어 추상화 플랫폼과 공통 시스템 서비스를 제공하는 시스템 소프트웨어이.

새로운!!: 컴퓨터 과학와 운영 체제 · 더보기 »

트랩 (컴퓨팅)

학에서 트랩(Trap)은 어떤 프로세스가 특정 시스템 기능을 사용하려고 할 때 그 기능을 운영체제에게 요청하는 방법을 말.

새로운!!: 컴퓨터 과학와 트랩 (컴퓨팅) · 더보기 »

트랜스클루전

B의 내용을 A로 가져와 보여 주는 과정이 설명된 개념도 트랜스클루전(Transclusion)은 컴퓨터 과학에서 어느 문서의 일부를 다른 문서에 인용으로서 포함시키는 것이.

새로운!!: 컴퓨터 과학와 트랜스클루전 · 더보기 »

트랜스휴머니즘

스휴머니즘 h+ 심볼 트랜스휴머니즘()은 과학과 기술을 이용해 사람의 정신적, 육체적 성질과 능력을 개선하려는 지적, 문화적 운동이.

새로운!!: 컴퓨터 과학와 트랜스휴머니즘 · 더보기 »

트리 순회

전산학에서 트리 순회(Tree traversal)는 트리 구조에서 각각의 노드를 정확히 한 번만, 체계적인 방법으로 방문하는 과정을 말. 이는 노드를 방문하는 순서에 따라 분. 여기서 설명하는 알고리즘은 이진 트리에 대해서 작성되었지만, 다른 모든 트리에서도 일반화될 수 있.

새로운!!: 컴퓨터 과학와 트리 순회 · 더보기 »

튜링상

링 상(튜링 어워드)은 ACM에서 컴퓨터 과학 분야에 업적을 남긴 사람에게 매년 시상하는 상이.

새로운!!: 컴퓨터 과학와 튜링상 · 더보기 »

튜플

(tuple)은 유한 개의 사물의 순서있는 열거이.

새로운!!: 컴퓨터 과학와 튜플 · 더보기 »

요네다 노부오

요네다 노부오(1930년 3월 28일 ~ 1996년 4월 22일)는 일본의 수학자이.

새로운!!: 컴퓨터 과학와 요네다 노부오 · 더보기 »

요세푸스 문제

전산학이나 수학에서 요세푸스 문제(Josephus problem) 혹은 요세푸스 순열(Josephus permutation)은 다음과 같이 정의.

새로운!!: 컴퓨터 과학와 요세푸스 문제 · 더보기 »

자료 구조

이진 트리의 예 자료구조(資料構造)는 전산학에서 자료를 효율적으로 이용할 수 있도록 컴퓨터에 저장하는 방법이.

새로운!!: 컴퓨터 과학와 자료 구조 · 더보기 »

자료형

자료형(資料形) 또는 데이터 타입()은 컴퓨터 과학과 프로그래밍 언어에서 실수치, 정수, 불린 자료형 따위의 여러 종류의 데이터를 식별하는 분류로서, 더 나아가 해당 자료형에 대한 가능한 값, 해당 자료형에서 수행을 마칠 수 있는 명령들, 데이터의 의미, 해당 자료형의 값을 저장하는 방식을 결정.

새로운!!: 컴퓨터 과학와 자료형 · 더보기 »

자료형 체계

학에서, 자료형 체계(type system)는 값, 표현식, 함수, 모듈 등을 분류하는 규칙의 집합이.

새로운!!: 컴퓨터 과학와 자료형 체계 · 더보기 »

자가 균형 이진 탐색 트리

형이 맞지 않는(unbalanced) 트리의 예; 루트에서 특정 노드로 갈 때, 평균 3.27회의 노드 접근이 필요하다. 같은 트리를 높이 균형을 맞춘 후의 상태; 평균 이동 비용이 3.00 노드 접근(node access)로 감소되었다. 컴퓨터 과학에서, 자가 균형 (높이 균형) 이진 탐색 트리는 삽입과 삭제가 일어나는 경우에 자동으로 그 높이(루트에서부터 내려갈 수 있는 최대 레벨)를 작게 유지하는 노드 기반 이진 탐색 트리이.

새로운!!: 컴퓨터 과학와 자가 균형 이진 탐색 트리 · 더보기 »

자유 변수와 종속 변수

리학과 컴퓨터 과학에서, 자유 변수(自由變數)는 수식 속의 변수 가운데 상숫값으로 치환할 수 있는 것이.

새로운!!: 컴퓨터 과학와 자유 변수와 종속 변수 · 더보기 »

잠자는 이발사 문제

학에서 잠자는 이발사 문제 (sleeping barber problem) 는 운영체제의 프로세스 간 통신과 그들의 동기화 문제를 다루는 고전적인 문제이.

새로운!!: 컴퓨터 과학와 잠자는 이발사 문제 · 더보기 »

재귀 약자

재귀 약자(再歸略字, recursive acronym)는 원래 문장 안에 약자가 그대로 들어 있도록 이름을 지은 것이.

새로운!!: 컴퓨터 과학와 재귀 약자 · 더보기 »

재귀함수

화면 녹화 프로그램에서의 재귀. 화면 속에 작은 화면이 무한히 들어간다. 재귀(再歸, Recursion)는 수학이나 컴퓨터 과학 등에서 자신을 정의할 때 자기 자신을 재참조하는 방법을 뜻. 주로 이 방법은 함수에 적용한 재귀 함수(Recursion Function)의 형태로 많이 사용.

새로운!!: 컴퓨터 과학와 재귀함수 · 더보기 »

페이지 테이블

학에서 페이지 테이블(page table)은 페이징 기법에서 사용되는 자료구조로서, 프로세스의 페이지 정보를 저장하고 있는 테이블이.

새로운!!: 컴퓨터 과학와 페이지 테이블 · 더보기 »

페타

(Peta, 기호: P)는 1015(천조)를 나타내는 SI 접두어이.

새로운!!: 컴퓨터 과학와 페타 · 더보기 »

페테르 나우르

르 나우르(Peter Naur, 1928년 10월 25일 ~ 2016년 1월 3일)는 덴마크 출신으로 전산학의 선구자 중 한 명이.

새로운!!: 컴퓨터 과학와 페테르 나우르 · 더보기 »

입력

입력(入力)은 어떤 장치에 신호 등의 정보를 제공하는 것이.

새로운!!: 컴퓨터 과학와 입력 · 더보기 »

에는 이러한 의미가 있.

새로운!!: 컴퓨터 과학와 큐 · 더보기 »

크러스컬 알고리즘

학에서, 크러스컬 알고리즘()은 최소 비용 생성나무를 찾는 알고리즘이.

새로운!!: 컴퓨터 과학와 크러스컬 알고리즘 · 더보기 »

크리스 라트너

리스 래트너(Chris Lattner, 1978년~)는 미국의 소프트웨어 개발자로 LLVM을 만들어낸 인물로 가장 잘 알려져 있.  Clang 컴파일러와 및 프로그래밍 언어 Swift를 만들었. 2016년 현재 애플의 개발자 도구부서의 디렉터로 있으며 Xcode, Instruments, 그리고 컴파일러가 팀이 그의 밑에 있.

새로운!!: 컴퓨터 과학와 크리스 라트너 · 더보기 »

크리스토스 파파디미트리우

리스토스 파파디미트리우 크리스토스 파파디미트리우 (Χρίστος Χαρίλαος Παπαδημητρίου, Christos Harilaos Papadimitriou, 1949년 8월 16일~) 는 UC 버클리의 전산학 교수이.

새로운!!: 컴퓨터 과학와 크리스토스 파파디미트리우 · 더보기 »

클라우드 컴퓨팅

우드 컴퓨팅(cloud computing)은 인터넷 기반 컴퓨팅의 일종으로 정보를 자신의 컴퓨터가 아닌 인터넷에 연결된 다른 컴퓨터로 처리하는 기술을 의미.

새로운!!: 컴퓨터 과학와 클라우드 컴퓨팅 · 더보기 »

포인터 분석

학에서 포인터 분석(pointer analysis, points-to analysis)은 어떤 포인터 혹은 힙 참조가 어느 변수 또는 저장 장소를 가리키는지 분석하는 정적 프로그램 분석 방법이.

새로운!!: 컴퓨터 과학와 포인터 분석 · 더보기 »

이반 서덜랜드

이반 에드워드 서덜랜드(Ivan Edward Sutherland, 1938년 5월 16일 ~, 네브래스카 주 헤이스팅스 출생)는 미국의 컴퓨터 과학자이자 인터넷과 컴퓨터 그래픽의 선구자이.

새로운!!: 컴퓨터 과학와 이반 서덜랜드 · 더보기 »

이진 골레 부호

학에서, 이진 골레 부호(二進Golay符號)는 마티외 군을 자기 동형군으로 갖는 이진 선형 부호이.

새로운!!: 컴퓨터 과학와 이진 골레 부호 · 더보기 »

이진 트리

9이고, 높이가 3인 이진 트리 컴퓨터 과학에서, 이진 트리(二進-)는 각각의 노드가 최대 두 개의 자식 노드를 가지는 트리 자료 구조로, 자식 노드를 각각 왼쪽 자식 노드와 오른쪽 자식.

새로운!!: 컴퓨터 과학와 이진 트리 · 더보기 »

이진 접두어

학에서 정보의 크기를 나타내기 위해, 여러 이진 접두어를 사용.

새로운!!: 컴퓨터 과학와 이진 접두어 · 더보기 »

이진 탐색 트리

학에서 이진 탐색 트리(BST: binary search tree)는 다음과 같은 속성이 있는 이진 트리 자료 구조이.

새로운!!: 컴퓨터 과학와 이진 탐색 트리 · 더보기 »

이언 머독

이언 머독(Ian Murdock, 1973년 4월 28일 ~ 2015년 12월 28일)은 리눅스 배포판인 데비안 프로젝트와 프로지니 리눅스 의 창시자로 알려진 미국의 프로그래머이.

새로운!!: 컴퓨터 과학와 이언 머독 · 더보기 »

이산수학

이산수학(Discrete mathematics, 離散數學)은 이산적인 수학 구조에 대해 연구하는 학문으로, 연속되지 않는 공간을.

새로운!!: 컴퓨터 과학와 이산수학 · 더보기 »

이항관계

수학에서, 이항관계(二項關係)는 순서쌍들로 이루어지는 집합이.

새로운!!: 컴퓨터 과학와 이항관계 · 더보기 »

이식 (컴퓨팅)

이식(移植) 또는 포팅(porting)은 컴퓨터 과학에서 실행 가능한 프로그램이 원래 설계된 바와 다른 컴퓨팅 환경(이를테면 CPU, 운영 체제, 서드 파티 라이브러리 등)에서 동작할 수 있도록 하는 과정을 가리.

새로운!!: 컴퓨터 과학와 이식 (컴퓨팅) · 더보기 »

이와타 사토루

이와타 사토루(1959년 12월 6일 ~ 2015년 7월 11일, 일본 홋카이도 삿포로 시) 닌텐도의 네 번째 CEO였으며, 2002년에 물러날 때까지 오랫동안 회사를 경영해 왔던 야마우치 히로시의 뒤를 이었던 인물이였.

새로운!!: 컴퓨터 과학와 이와타 사토루 · 더보기 »

인간 기반 연산

학 분야에 있어서, 인간 기반 연산(휴먼 베이스트 컴퓨테이션)이란, 연산(computation) 단계의 일부분을 사람에게 아웃소싱하여 기능을 수행하게 하면서 연산을 해나가는 기법을 말. (Kosorukoff, 2001) 인간과 컴퓨터 사이의 능력 차이를 잘 활용하는 접근법이자, 또한 인간-컴퓨터 상호작용을 달성하기 위해 만들어진 컴퓨터 에이전트와 인간 간의 비용 차이를 잘 활용하는 접근법이.

새로운!!: 컴퓨터 과학와 인간 기반 연산 · 더보기 »

인공 장기

인공 장기(人工臟器, artificial organs) 또는 인공 기관은 인간의 신체 장기를 대용하기 위하여 인간 이외의 동물의 장기를 이용하거나 또는 생체 공학 기술을 토대로 하여 만들어 내는 인위적, 기계적 장치나 장기를 말. 필터나 화학 처리 장치와 같이 고정 전원 공급 장치 또는 다른 자원에 얽매인 것은 인공 장기로 정의되지 않. (정기적인 배터리 충전, 화학 물질의 보충, 필터를 청소하거나 교체하는 것들은 인공 장기라고 불리는 장치에서 제외된다.) 따라서 신장 투석 기계와 같은 신장의 기능을 완벽히 대체하는 성공적이고 매우 중요한 생명 유지 장치는 인공 장기가 아. 아직까지 완전한 의미의 효율적이고 독립적인 인공 신장은 개발되지 않았.

새로운!!: 컴퓨터 과학와 인공 장기 · 더보기 »

인공 의식

인공의식(人工意識, Artificial Consciousness, AC)은 인공지능과 지능형 로봇에 관련된 연구 영역이며, 기술로 만들어진 인공물에 의식을 갖게 하는 것을 목적으.

새로운!!: 컴퓨터 과학와 인공 의식 · 더보기 »

인지과학

인지과학(認知科學)은 인간의 마음과 동물 및 인공적 지적 시스템(artificial intelligent systems)에서 정보처리가 어떻게 일어나는가를 연구하는 학문이라고 할 수 있. 다르게 표현한다면 인지과학은 인간의 마음 (뇌의 작동 및 몸의 움직임의 제어 포함)의 과정 및 내용과, 동물 및 인공적 지적 시스템에서의 지능(Intelligence)의 정보적 표상(표현)과 그 작동 과정을 연구하는 종합적, 다학문적 과학이.

새로운!!: 컴퓨터 과학와 인지과학 · 더보기 »

인지언어학

인지언어학()은 인간 마음의 본질, 더 나아가 인간의 본질을 규명하기 위한 학제적 연구의 일환으로서 ‘언어, 몸과 마음, 문화’의 상관성을 밝히려는 언어 이론이.

새로운!!: 컴퓨터 과학와 인지언어학 · 더보기 »

인지심리학

인지심리학(認知心理學, cognitive psychology)은 정보처리 관점에서의 인지활동을 연구하는 학문이.

새로운!!: 컴퓨터 과학와 인지심리학 · 더보기 »

인터랙션 디자인

인터랙션 디자인(interaction design, IxD)은 인간이 제품이나 서비스를 사용하면서 상호간 작용하는 것을 용이하게 하는 디자인분야이.

새로운!!: 컴퓨터 과학와 인터랙션 디자인 · 더보기 »

일라이자 효과

일라이자 효과(ELIZA effect)는 컴퓨터 과학에서 무의식적으로 컴퓨터의 행위가 인간의 행위와 마찬가지라고 추측하는 경향이.

새로운!!: 컴퓨터 과학와 일라이자 효과 · 더보기 »

읽기

읽기는 인쇄된 문자나 글로 쓴 것으로부터 뜻을 얻어내는 인지 과정이.

새로운!!: 컴퓨터 과학와 읽기 · 더보기 »

의미역 결정

의미역 결정()이란 문장 성분의 의미역을 결정하는 것을 말. 문장의 각 성분이 다른 구조로 배열된다 하더라도 같은 의미역을 가질 수 있고, 혹은 같은 구조로 배열된 구문이 다른 의미역을 지닐 수 있다는 데서 착안.

새로운!!: 컴퓨터 과학와 의미역 결정 · 더보기 »

의존 문법

의존 문법은 뤼시앵 테니에르에 의해 발전된 통사 이론의 하나이.

새로운!!: 컴퓨터 과학와 의존 문법 · 더보기 »

의사코드

의사코드(슈도코드, pseudocode)는 프로그램을 작성할 때 각 모듈이 작동하는 논리를 표현하기 위한 언어이.

새로운!!: 컴퓨터 과학와 의사코드 · 더보기 »

제도 (논리학)

수리논리학과 컴퓨터 과학에서, 제도(制度)는 문법과 모형 이론이 부여된 논리 체계의 추상화이.

새로운!!: 컴퓨터 과학와 제도 (논리학) · 더보기 »

제라드 솔튼

제라드 솔튼(Gerard Salton, 1927년 3월 8일~1995년 8월 28일)은 코넬 대학교의 컴퓨터 과학과 교수였.

새로운!!: 컴퓨터 과학와 제라드 솔튼 · 더보기 »

제임스 고슬링

제임스 아서 고슬링(James Arthur Gosling, 1955년 5월 19일 ~)은 캐나다의 소프트웨어 개발자이.

새로운!!: 컴퓨터 과학와 제임스 고슬링 · 더보기 »

제임스 H. 윌킨슨

제임스 하디 윌킨슨(James Hardy Wilkinson) FRS (1919년 9월 27일 ~ 1986년 10월 5일)은 특히 물리학과 공학에 유용한 응용수학과 컴퓨터 과학의 경계에 위치한 수치 해석 분야에서 저명한 인물이.

새로운!!: 컴퓨터 과학와 제임스 H. 윌킨슨 · 더보기 »

제타

제타(Zetta, 기호: Z)는 1021(십해)을 나타내는 SI 접두어이.

새로운!!: 컴퓨터 과학와 제타 · 더보기 »

제프리 힌턴

제프리 에버레스트 힌튼(Geoffrey Everest Hinton, 1947년 12월 6일 ~)은 인공지능(AI) 분야를 개척한 영국 출신의 인지심리학자이자 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 제프리 힌턴 · 더보기 »

접미사 배열

접미사 배열이란 전산학에서 어떤 문자열의 접미사를 사전식 순서대로 나열한 배열을 말. 문자열 검색이나 전문 검사 등에 쓰인.

새로운!!: 컴퓨터 과학와 접미사 배열 · 더보기 »

전기 전자 기술자 협회

전기 전자 기술자 협회(Institute of Electrical and Electronics Engineers, IEEE)는 전기전자공학 전문가들의 국제조직이.

새로운!!: 컴퓨터 과학와 전기 전자 기술자 협회 · 더보기 »

전길남

전길남(全吉男, Kilnam Chon, 1943년 1월 3일~)은 대한민국의 컴퓨터과학자이.

새로운!!: 컴퓨터 과학와 전길남 · 더보기 »

전처리기

학에서 전처리기(前處理器) 또는 프리컴파일러)는 입력 데이터를 처리하여 다른 프로그램에 대한 입력으로서 사용되는 출력물을 만들어내는 프로그램이다. 여기서 출력물이란 전처리된 형태의 입력 데이터를 말하며 컴파일러와 같은 차후 프로그램들에 쓰인다. 처리할 양과 종류는 전처리기의 본성에 따라 다르며 어떠한 전처리기들은 상대적으로 단순한 문자 치환 및 매크로 확장만 할 수 있는 반면 다른 전처리기들은 성숙한 프로그래밍 언어의 기능을 하기도 한다.

새로운!!: 컴퓨터 과학와 전처리기 · 더보기 »

전역 변수

전역 변수는 어떤 변수 영역 내에서도 접근할 수 있는 변수를 의미하는 전산학 용어이.

새로운!!: 컴퓨터 과학와 전역 변수 · 더보기 »

전산언어학

전산언어학(電算言語學)은 전산학과 언어학에 밀접한 관련이 있는 학제간 학문으로 전산적인 관점에서 자연언어의 통계적인 모형과 논리적인 모형을 다루는 분야를 말. 이때 모형은 언어학의 특정 하위 분야에 제한되지 않. 전산언어학자들은 초기에는 대부분 전산학자들로 컴퓨터를 이용한 자연언어처리를 전공하던 학자들이었.

새로운!!: 컴퓨터 과학와 전산언어학 · 더보기 »

정렬 알고리즘

전산학과 수학에서 정렬 알고리즘이란 원소들을 번호순이나 사전 순서와 같이 일정한 순서대로 열거하는 알고리즘이.

새로운!!: 컴퓨터 과학와 정렬 알고리즘 · 더보기 »

정보 이론

정보 이론(情報理論)은 최대한 많은 데이터를 매체에 저장하거나 채널을 통해 통신하기 위해 데이터를 정량화하는 응용 수학의 한 분야이.

새로운!!: 컴퓨터 과학와 정보 이론 · 더보기 »

정보 처리

정보 처리(情報處理, Information processing)는 기존의 정보를 가공하는 것으로, 보다 높은 부가 가치 정보를 새로 만들어 내는 것이.

새로운!!: 컴퓨터 과학와 정보 처리 · 더보기 »

정보과학

정보과학(情報科學, information science 또는 information studies)은 주로 정보의 분석, 수집, 분류, 이용, 저장, 검색, 배포에 관련된 다양한 문제를 다루는 학제간 연구이.

새로운!!: 컴퓨터 과학와 정보과학 · 더보기 »

정상 순서 (동음이의)

정상 순서(Normal order)는 다음을 가리.

새로운!!: 컴퓨터 과학와 정상 순서 (동음이의) · 더보기 »

정형 기법

Z 언어를 이용한 형식 명세서의 예 컴퓨터 과학, 특히 소프트웨어 공학에서 정형 기법(형식 수법)은 소프트웨어와 하드웨어 시스템의 명세, 개발, 형식 검증을 위한 특정한 종류의 수학적 기반 기술이.

새로운!!: 컴퓨터 과학와 정형 기법 · 더보기 »

조건문

If 플로 다이어그램. If-then-else 플로차트. 컴퓨터 과학에서 조건문(條件文)이란 프로그래머가 명시한 불린 자료형 조건이 참인지 거짓인지에 따라 달라지는 계산이나 상황을 수행하는 프로그래밍 언어의 특징이.

새로운!!: 컴퓨터 과학와 조건문 · 더보기 »

조건제시법

조건제시법(條件提示法, set-builder notation)은 집합론과 그것을 적용시킨 수학, 논리학, 전산학에서 어떤 집합을 그 집합의 원소들이 만족하는 성질(조건)을 서술(제시)함으로써 나타내는 표기법이.

새로운!!: 컴퓨터 과학와 조건제시법 · 더보기 »

조지 댄치그

조지 버나드 댄치그(1914년 11월 8일 ~ 2005년 5월 13일)는 미국의 수학자로, 선형 계획법의 정립에 큰 기여를 하여, 흔히 "선형 계획법의 아버지"로 부른.

새로운!!: 컴퓨터 과학와 조지 댄치그 · 더보기 »

조지아 공과대학교

조지아 공과대학교(조지아텍, 또는 Georgia Tech)은 미국의 조지아 주 애틀랜타 시에 위치해 있는 공립 공과대학이.

새로운!!: 컴퓨터 과학와 조지아 공과대학교 · 더보기 »

조합론

조합론(組合論) 또는 조합수학(組合數學)은 유한하거나 가산적인 구조들에 대하여, 어떤 주어진 성질을 만족시키는 것들의 가짓수나 어떤 주어진 성질을 극대화하는 것을 연구하는 수학 분야이.

새로운!!: 컴퓨터 과학와 조합론 · 더보기 »

조합론적 게임 이론

조합론적 게임 이론()은 참여자가 모든 정보를 알고 순서에 따라 자기 수를 두어가는 게임으로 체스, 바둑, 장기와 같은 게임에 대해 연구하는 학문으로 응용 수학과 이론 컴퓨터 과학에 속. 예를 들어 우연에 의존거나 상대방의 패를 볼 수 없는 카드게임은 조합론적 게임 이론에 포함되지 않. 조합론적 게임 이론에는 참여자가 한명뿐이거나 생명 게임과 같이 참여자가 없는 세포 자동자에 대해서.

새로운!!: 컴퓨터 과학와 조합론적 게임 이론 · 더보기 »

조합최적화

응용수학과 전산학에서 조합최적화는 최적화 문제의 일종으로서, 운용 과학, 알고리즘 이론, 계산 복잡도 이론과 관련되어 있고, 인공지능, 수학, 소프트웨어 공학과 영역이 겹. 조합최적화에서는 일반적으로 어렵다고 보는 문제를.

새로운!!: 컴퓨터 과학와 조합최적화 · 더보기 »

조한혜정

조한혜정(趙韓惠貞, 1948년 10월 25일 ~)은 대한민국의 교수이자 저술가, 사회 활동가이.

새로운!!: 컴퓨터 과학와 조한혜정 · 더보기 »

존 배커스

존 워너 배커스(John Warner Backus, 1924년 12월 3일 ~ 2007년 3월 17일)는 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 존 배커스 · 더보기 »

존 폰 노이만

존 폰 노이만(1903년 12월 28일 - 1957년 2월 8일)은 헝가리 출신 미국인 수학자이.

새로운!!: 컴퓨터 과학와 존 폰 노이만 · 더보기 »

존 조지 케메니

존 조지 케메니(John George Kemeny,, 1926년 5월 31일 - 1992년 12월 26일)는 미국의 수학자이자 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 존 조지 케메니 · 더보기 »

존 워녹

2008년의 존 E. 워녹 존 에드워드 워녹(John Edward Warnock, 1940년 10월 6일~)은 찰스 게스케와 더불어 그래픽 및 출판 소프트웨어 기업 어도비 시스템즈의 공동 설립자로 잘 알려진 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 존 워녹 · 더보기 »

종 (형 이론)

종(kind)는 수리논리학 및 컴퓨터 과학의 영역에서 형 이론(타입 이론)으로 구분되어 있. 종(kind)이란 타입 생성자같은 타입 혹은, 약간 더 일반적이지는 못하지만, 고계(고차)연산자와 같은 타입이.

새로운!!: 컴퓨터 과학와 종 (형 이론) · 더보기 »

직렬 통신

병렬 통신과 직렬 통신. 전기 통신과 컴퓨터 과학 분야에서 직렬 통신은 연속적으로 통신 채널이나 컴퓨터 버스를 거쳐 한 번에 하나의 비트 단위로 데이터를 전송하는 과정을 말. 이 용어는 여러 개의 병렬 채널을 갖춘 링크 위에서 동시에 여러 개의 비트를 보내는 병렬 통신과 대조.

새로운!!: 컴퓨터 과학와 직렬 통신 · 더보기 »

직렬화

직렬화(直列化) 또는 시리얼라이제이션(serialization)은 컴퓨터 과학의 데이터 스토리지 문맥에서 데이터 구조나 오브젝트 상태를 동일하거나 다른 컴퓨터 환경에 저장(이를테면 파일이나 메모리 버퍼에서, 또는 네트워크 연결 링크 간 전송)하고 나중에 재구성할 수 있는 포맷으로 변환하는 과정이.

새로운!!: 컴퓨터 과학와 직렬화 · 더보기 »

질의 확장

의 확장은 검색품질을 향상시키기 위해 입력된 질의를 변형시키는 정보검색 오퍼레이션을 말. 웹 검색엔진 관점에서 보면, 질의확장은 검색창에 사용자가 입력한 질의 등을 분석한 다음 더 많은 적합문서를 찾기 위해 질의단어를 추가하는 것을 의미.

새로운!!: 컴퓨터 과학와 질의 확장 · 더보기 »

집합 (추상 자료형)

학에서, 집합이란 특정한 값들을 저장하는 추상자료형이.

새로운!!: 컴퓨터 과학와 집합 (추상 자료형) · 더보기 »

집합 덮개 문제

집합 덮개 문제(set cover)는 전산학과 복잡도 이론에서 다루는 오랜 문제로, 어떠한 전체집합과 그 집합의 부분집합들이 주어졌을 때, 부분집합들 중에서 가능한 한 적은 집합을 골라서 그 집합들의 합집합이 원래 전체집합이 되도록, 즉 그 집합들이 원래 전제집합을 '덮도록' 집합을 선택하는 문제이.

새로운!!: 컴퓨터 과학와 집합 덮개 문제 · 더보기 »

진화

화(進化)는 생물 집단이 여러 세대를 거치면서 변화를 축적해 집단 전체의 특성을 변화시키고 나아가 새로운 종의 탄생을 야기하는 관찰된 자연 현상을 가리키는 생물학 용어이.

새로운!!: 컴퓨터 과학와 진화 · 더보기 »

진화 연산

화 연산(進化演算)은 자연의 진화에서 영감을 얻어 개발된 유전 알고리즘, 유전 프로그래밍, 진화 전략 같은 방법을 아우르는 방법론으로 전산학의 인공지능, 좀 더 세분화하면 계산 지능에 속하는 분야이고, 조합최적화 문제를 주. 이론 전산학의 한 분야로 보. 원래 진화 연산의 각 분야는 서로 교류가 없이 발전해 오다가 1990년대 들어 진화 연산 학술지 《Evolutionary Computation》(진화 연산을 뜻하는 영어)이 창간된 이후 점점 한 분야로 묶이게 되었.

새로운!!: 컴퓨터 과학와 진화 연산 · 더보기 »

진화이론의 사회적 영향

화 이론은 여러 분야에 매우 큰 사회적 영향을 주었.

새로운!!: 컴퓨터 과학와 진화이론의 사회적 영향 · 더보기 »

지적 설계

적 설계(知的設計)는 탐구 대상이 '의도적 존재'인지 '우연적 존재'인지를 규명하려는 의사과학 및 형이상학 탐구이.

새로운!!: 컴퓨터 과학와 지적 설계 · 더보기 »

Ω

Ω, ω()는 24번째 그리스 문자이.

새로운!!: 컴퓨터 과학와 Ω · 더보기 »

찰스 배비지

스 배비지(FRS, 1791년 12월 26일~1871년 10월 18일)는 영국의 수학자이자 철학자, 발명가, 기계공학자로서 '프로그램이 가능한 컴퓨터' 개념의 시초자이.

새로운!!: 컴퓨터 과학와 찰스 배비지 · 더보기 »

찰스 바크만

스 윌리엄 찰리 바크만(Charles William "Charlie" Bachman, 1924년 12월 11일 ~ 2017년 7월 13일)은 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 찰스 바크만 · 더보기 »

찰스 앤터니 리처드 호어

스 앤터니 리처드 호어 경, Kt (Sir Charles Antony Richard Hoare, 1934년 1월 11일 ~)은 영국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 찰스 앤터니 리처드 호어 · 더보기 »

추상 구문 트리

1.

새로운!!: 컴퓨터 과학와 추상 구문 트리 · 더보기 »

추상 자료형

상적 자료형(Abstract Data Type, 줄여서 ADT)은 컴퓨터 과학에서 자료들과 그 자료들에 대한 연산들을 명기한 것이.

새로운!!: 컴퓨터 과학와 추상 자료형 · 더보기 »

추상화 (컴퓨터 과학)

학에서 추상화(abstraction)는 복잡한 자료, 모듈, 시스템 등으로부터 핵심적인 개념 또는 기능을 간추려 내는 것을 말.

새로운!!: 컴퓨터 과학와 추상화 (컴퓨터 과학) · 더보기 »

카 포스카리 베네치아 대학교

Palazzo Giustinian 대강당 Aula Baratto 카포스카리 대로 성 욥 캠퍼스 성 세바스티아누스 캠퍼스 산타마리아 캠퍼스 연구소 카 포스카리 베네치아 대학교()는 이탈리아의 베네치아에 있는 이탈리아의 국립대학이.

새로운!!: 컴퓨터 과학와 카 포스카리 베네치아 대학교 · 더보기 »

카네기 멜런 대학교

멜런 대학교(Carnegie Mellon University, 줄여서 CMU)는 미국 펜실베이니아 주 피츠버그시에 있는 사립대학이.

새로운!!: 컴퓨터 과학와 카네기 멜런 대학교 · 더보기 »

캐시

동적 CPU 메모리 캐시 그림 캐시(cache)는 컴퓨터 과학에서 데이터나 값을 미리 복사해 놓는 임시 장소를 가리.

새로운!!: 컴퓨터 과학와 캐시 · 더보기 »

캘리포니아 대학교 로스앤젤레스의 동문 목록

아래는 캘리포니아 대학교 로스앤젤레스의 동문 목록이.

새로운!!: 컴퓨터 과학와 캘리포니아 대학교 로스앤젤레스의 동문 목록 · 더보기 »

캘리포니아 대학교 샌타바버라

리포니아 대학교 샌타바버라(University of California, Santa Barbara, 줄여서 UCSB)는 미국 캘리포니아 주 샌타바버라에 위치한 주립 대학이.

새로운!!: 컴퓨터 과학와 캘리포니아 대학교 샌타바버라 · 더보기 »

커누스-모리스-프랫 알고리즘

학에서, 커누스-모리스-프랫 알고리즘(Knuth–Morris–Pratt algorithm)은 문자열 중에 특정 패턴을 찾아내는 문자열 검색 알고리즘의 하나이.

새로운!!: 컴퓨터 과학와 커누스-모리스-프랫 알고리즘 · 더보기 »

커널 (컴퓨팅)

이 응용 소프트웨어를 컴퓨터 하드웨어에 연결하고 있다. 컴퓨터 과학에서 커널(kernel)은 컴퓨터의 운영 체제의 핵심이 되는 컴퓨터 프로그램의 하나로, 시스템의 모든 것을 완전히 통제.

새로운!!: 컴퓨터 과학와 커널 (컴퓨팅) · 더보기 »

컴파일러 구성

일러 구조 (Compiler construction)는 컴퓨터 과학의 한 영역으로서 프로그래밍 언어들과 그들과 관련된 컴파일러들을 개발하는 것의 이론과 실행을.

새로운!!: 컴퓨터 과학와 컴파일러 구성 · 더보기 »

컴퓨팅

본래 컴퓨팅(computing)이란 단어는 계산과 같은 뜻이었고, 컴퓨터(computer)는 계산하는 사람을 말했었.

새로운!!: 컴퓨터 과학와 컴퓨팅 · 더보기 »

컴퓨팅 문서 색인

항목: 프로그래머의 목록, 컴퓨팅 인물의 목록, 컴퓨터 과학자의 목록, 기본 컴퓨터 과학 주제의 목록, 알고리즘 및 데이터 구조 관련 용어 목록.

새로운!!: 컴퓨터 과학와 컴퓨팅 문서 색인 · 더보기 »

컴퓨팅 사고

팅 사고()은 컴퓨터(사람이나 기계)가 효과적으로 수행할 수 있도록 문제를 정의하고 그에 대한 답을 기술하는 것이 포함된 사고 과정 일체를 일컫.

새로운!!: 컴퓨터 과학와 컴퓨팅 사고 · 더보기 »

컴퓨팅파워

+파워 본래 컴퓨팅(computing)이란 단어는 계산과 같은 뜻이었고, 컴퓨터(computer)는 계산하는 사람을 말했었.

새로운!!: 컴퓨터 과학와 컴퓨팅파워 · 더보기 »

컴퓨터

() 또는 셈틀은 수식이나 논리적 언어로 표현된 일련의 산술 연산이나 논리 연산을 자동으로 수행하도록 지시하거나 데이터를 저장하고 처리할 수 있는 장치(device).

새로운!!: 컴퓨터 과학와 컴퓨터 · 더보기 »

컴퓨터 보안

보안(-保安)은 이론 컴퓨터 시스템과 실제 컴퓨터 시스템에 적용되는 정보 보안의 하위 분류인 동시에 컴퓨터의 운영에서 보안의 강화를 말하는 컴퓨터 과학의 하위 분류이.

새로운!!: 컴퓨터 과학와 컴퓨터 보안 · 더보기 »

컴퓨터 과학자

학자, 전산학자는 컴퓨터 과학의 지식을 습득하는 과학자이.

새로운!!: 컴퓨터 과학와 컴퓨터 과학자 · 더보기 »

컴퓨터 과학자 목록

이 문서는 컴퓨터 과학자의 목록으로서, 컴퓨터 과학 분야에서 활동한 연구가와 저술가의 목록이.

새로운!!: 컴퓨터 과학와 컴퓨터 과학자 목록 · 더보기 »

컴퓨터 과학의 미해결 문제 목록

음은 컴퓨터 과학의 주요 미해결 문제를 정리한 것이.

새로운!!: 컴퓨터 과학와 컴퓨터 과학의 미해결 문제 목록 · 더보기 »

컴퓨터 공학

공학()은 컴퓨터 하드웨어 및 소프트웨어를 개발하는 데 필요한 전기공학 및 컴퓨터 과학의 여러 가지 분야를 통합하는 학문 분과이.

새로운!!: 컴퓨터 과학와 컴퓨터 공학 · 더보기 »

켄 톰프슨

스 레인 톰프슨(Kenneth Lane Thompson, 1943년 2월 4일 ~)은 미국의 컴퓨터 프로그래머로, AT&T 벨 연구소에서 유닉스와 플랜 9 운영 체제의 개발을 주. C언어의 모체가 된 B언어를 개발.

새로운!!: 컴퓨터 과학와 켄 톰프슨 · 더보기 »

케네스 아이버슨

스 E. 아이버슨(Kenneth Eugene Iverson, 1920년 12월 17일 ~ 2004년 10월 19일)은 전산학자였.

새로운!!: 컴퓨터 과학와 케네스 아이버슨 · 더보기 »

콜 스택

스택(call stack) 이란 컴퓨터 과학에서 실행할 컴퓨터 프로그램 코드 정보를 저장하는 스택 자료구조이.

새로운!!: 컴퓨터 과학와 콜 스택 · 더보기 »

콜게이트 대학교

The Colgate University campus 콜게이트 대학교(Colgate University)는 1819년에 설립된 미국의 명문 사립대학으로서 뉴욕 주 해밀턴(en:Hamilton (village), New York)에 자리잡고 있. 전공과 더불어 자연과학· 인문학· 사회과학 분야에 두루 걸쳐 폭 넓고 균형 잡힌 교육을 강조하는 학부 중심의 리버럴 아츠 칼리지(Liberal Arts College)로 분. 뉴스위크(News Week)지가 선정한 25개의 뉴 엘리트 아이비('New Elite Ivies') 대학의 일원이며, US News & World Report의 미국대학 평가에서 2017년도와 2018년도 연속하여 리버럴 아츠 칼리지(National Liberal Arts Colege) 순위 12위에 선정되었.

새로운!!: 컴퓨터 과학와 콜게이트 대학교 · 더보기 »

유리스 하르트마니스

유리스 하르트마니스(Juris Hartmanis, 1928년 7월 7일)는 라트비아의 과학자이.

새로운!!: 컴퓨터 과학와 유리스 하르트마니스 · 더보기 »

유디 펄

유디 펄(Judea Pearl, 1936년 9월 4일~)은 이스라엘계 미국인 컴퓨터 과학자이자 철학자이며, 인공지능에 대한 확률적 접근과 베이즈 네트워크라는 용어를 만든 것으로 잘 알려져 있. 구조 모델에 기반한 인과적, 반(反)사실적 추론에 대한 이론을 발전시킨 공로를 인정받.

새로운!!: 컴퓨터 과학와 유디 펄 · 더보기 »

유니버설 해싱

유니버설 해싱(Universal hashing)이란 다음의 특성을 가지는 해시 함수 F를 선택하기 위한 확률적 알고리즘이.

새로운!!: 컴퓨터 과학와 유니버설 해싱 · 더보기 »

유한 상태 기계

유한 상태 기계(finite-state machine, FSM) 또는 유한 오토마톤(finite automaton, FA; 복수형: 유한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는데에 쓰이는 수학적 모델이.

새로운!!: 컴퓨터 과학와 유한 상태 기계 · 더보기 »

윌리엄 뎀스키

윌리엄 앨버트 "빌" 뎀스키(1960년 7월 18일 ~)는 미국의 철학자이자, 신학자, 전산학자, 수학자이.

새로운!!: 컴퓨터 과학와 윌리엄 뎀스키 · 더보기 »

파스칼 (프로그래밍 언어)

스칼(Pascal)은 1969년에 스위스 ETH 취리히의 컴퓨터 과학자 니클라우스 비르트가 개발한 프로그래밍 언어로, 당대의 가장 인기있는 교육용 언어 중 하나였으며, 1980년대와 1990년대 초반에 걸쳐 널리 사용되었.

새로운!!: 컴퓨터 과학와 파스칼 (프로그래밍 언어) · 더보기 »

파이프라인 (컴퓨팅)

학에서 파이프라인()은 한 데이터 처리 단계의 출력이 다음 단계의 입력으로 이어지는 형태로 연결된 구조를 가리.

새로운!!: 컴퓨터 과학와 파이프라인 (컴퓨팅) · 더보기 »

팀 버너스리

버너스리 경(1955년 6월 8일 ~)은 영국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 팀 버너스리 · 더보기 »

생물정보학

생물정보학(生物情報學), 흔히 바이오인포매틱스(bioinformatics)는 생물학적인 문제를 응용수학, 정보과학, 통계학, 컴퓨터 과학, 인공지능, 화학, 생화학등을 이용하여 주로 분자 수준에서 다루는 학문이.

새로운!!: 컴퓨터 과학와 생물정보학 · 더보기 »

생물학의 역사

이래즈머스 다윈(《종의 기원》의 저자 찰스 다윈의 할아버지)의 진화론을 주제로 한 시 《The Temple of Nature》의 표지로 자연의 장막을 뒤로 당기는 여신(아르테미스)이 나타나 있다. 우화와 은유는 종종 생물학의 역사에서 중요한 역할을 담당했다. 생물학의 역사() 또는 생물학사는 고대부터 현대에 이르기까지 살아있는 것들의 연구에 대해 기술.

새로운!!: 컴퓨터 과학와 생물학의 역사 · 더보기 »

탄중푸라 대학교

중푸라 대학교()는 줄여서 Untan로 알려진 인도네시아 서칼리만탄 주에 있는 대학교이.

새로운!!: 컴퓨터 과학와 탄중푸라 대학교 · 더보기 »

순람표

순람표(順覽表) 또는 룩업 테이블(lookup table)은 컴퓨터 과학에서 일반적으로 배열이나 연관 배열로 된 데이터 구조로, 런타임 계산을 더 단순한 배열 색인화 과정으로 대체하는 데 자주 쓰인.

새로운!!: 컴퓨터 과학와 순람표 · 더보기 »

순차 접근

순차접근과 비순차적 접근의 비교 순차접근(sequential access)은 컴퓨터 과학에서 데이터에 접근하는 방법의 하나로써 자기테이프 같이 데이터를 순차적으로 접근하는 방식이.

새로운!!: 컴퓨터 과학와 순차 접근 · 더보기 »

순서론

right 순서론(順序論)은 이항 관계들 중에서 '순서'의 개념을 확장한 것으로 볼 수 있는 것들을 다루는 수학의 분야이.

새로운!!: 컴퓨터 과학와 순서론 · 더보기 »

수동 시스템

전산학에서 수동 시스템(手動―, hand-operated system)이란 전자매체 등을 통하지 않고 손으로 직접 조작하여 자료를 입력하는 시스템으로, 초기의 컴퓨터들이 여기에 속.

새로운!!: 컴퓨터 과학와 수동 시스템 · 더보기 »

수리과학

수리과학(數理科學)은 본연적으로는 수학이지만 일반적으로 수학의 하위 범주로 간주되지 않는 학문 분야를 두루 가리키는 말이.

새로운!!: 컴퓨터 과학와 수리과학 · 더보기 »

수리논리학

수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.

새로운!!: 컴퓨터 과학와 수리논리학 · 더보기 »

수학적 모델

상태도. 수학적 모델(數學的-, mathematical model), 수학 모델(數學-), 수리 모델(數理-)은 수학적 개념과 언어를 사용한 시스템의 서술이.

새로운!!: 컴퓨터 과학와 수학적 모델 · 더보기 »

수학적 미

'''표현의 미'''의 일례: 망델브로 집합의 경계 부근, 중심 좌표 (0.282, -0. 01), 대각선 좌표 (0.278587, -0. 012560) ~ (0.285413, -0. 007440)의 영역의 확대. 수학적 미 (數學的美)는 수학에 관한 심미적·미학적인 의식·의의·측면을 여러가지 관점으로부터 다루는 개념이.

새로운!!: 컴퓨터 과학와 수학적 미 · 더보기 »

수학사

증보판 산술 개론 수학의 역사 는 인류의 역사와 더불어 시작되었다고 할 만큼 오래 되었.

새로운!!: 컴퓨터 과학와 수학사 · 더보기 »

Θ

Θ, θ()는 8번째 그리스 문자이.

새로운!!: 컴퓨터 과학와 Θ · 더보기 »

오류 검출 정정

오류 검출 정정(誤謬檢出訂正) 또는 오류 제어(誤謬制御)는 컴퓨터 과학과 전기 통신 분야 응용에서의 정보 이론과 코딩 이론에서 신뢰할 수 없는 통신 채널 위에서 디지털 데이터를 신뢰성 있게 전달하는 기술이.

새로운!!: 컴퓨터 과학와 오류 검출 정정 · 더보기 »

오디오 코딩 포맷

오디오 코딩 포맷(audio coding format)은 소리(음향)과 음악을 저장하는 매개체로서 물리적인 저장 매체 (Recording Media)와 소리의 주파수를 기록하는 데에 쓰이는 형식을 통틀어 말하는 용어이.

새로운!!: 컴퓨터 과학와 오디오 코딩 포맷 · 더보기 »

오프셋 (컴퓨터 과학)

학에서 배열이나 자료 구조 오브젝트 내의 오프셋(offset)은 일반적으로 동일 오브젝트 안에서 오브젝트 처음부터 주어진 요소나 지점까지의 변위차를 나타내는 정수형이.

새로운!!: 컴퓨터 과학와 오프셋 (컴퓨터 과학) · 더보기 »

오토마타 이론

결정적 유한 오토마타의 예. S1, S2는 상태이고, 1과 0은 기계가 입력으로 받아들이는 문자이다. 이 기계는 1과 0으로 이루어진 모든 가능한 문자열 중 0이 짝수 개인 것을 인지하고, 그렇지 않은 것을 버린다. 오토마타 이론()은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이.

새로운!!: 컴퓨터 과학와 오토마타 이론 · 더보기 »

옥텟

옥텟(octet)은 다음을 가리키는 말이.

새로운!!: 컴퓨터 과학와 옥텟 · 더보기 »

온라인 알고리즘

전산학에서 온라인 알고리즘(online algorithm)이란 시작할 때 모든 입력 정보를 가지고 있지 않고, 입력을 차례로 받아들이면서 처리하는 알고리즘을 말. 이와는 반대로, 오프라인 알고리즘은 풀고자 하는 문제의 모든 데이터를 가지고 시작해야만 문제를 해결할 수 있. 일례로, 선택 정렬은 정렬을 하기 전에 모든 데이터가 주어져야만.

새로운!!: 컴퓨터 과학와 온라인 알고리즘 · 더보기 »

온톨로지

온톨로지(Ontology)란 사람들이 세상에 대하여 보고 듣고 느끼고 생각하는 것에 대하여 서로 간의 토론을 통하여 합의를 이룬 바를, 개념적이고 컴퓨터에서 다룰 수 있는 형태로 표현한 모델로, 개념의 타입이나 사용상의 제약조건들을 명시적으로 정의한 기술이.

새로운!!: 컴퓨터 과학와 온톨로지 · 더보기 »

호스트 대학교

호스트 대학교 (파슈토어: د خوست پوهنتون) (별명: 샤이크 자예드 대학교)는 아프가니스탄 동부 지역의 국경 도시 호스트에 위치하여 있. 2000년에 설립되었.

새로운!!: 컴퓨터 과학와 호스트 대학교 · 더보기 »

호출 규약

호출 규약()은 컴퓨터 과학에서 어떻게 서브루틴이 그들의 호출자(caller)로부터 변수를 받고, 어떻게 결과를 반환하는지에 대한 규약이.

새로운!!: 컴퓨터 과학와 호출 규약 · 더보기 »

현실-가상 연속체

현실-가상 연속체 가상 연속체는 완벽한 가상에서부터 완벽하게 현실까지를 나타내는 연속적인 규모이.

새로운!!: 컴퓨터 과학와 현실-가상 연속체 · 더보기 »

형식과학

형식과학(形式科學)은 이론적 형식 체계와 관련된 학리적 연구이.

새로운!!: 컴퓨터 과학와 형식과학 · 더보기 »

최적화 문제

적화 문제는 수학 혹은 컴퓨터 과학에서 모든 테스트 케이스에 대해 답을 찾는 최적의 해법을 찾는 문제를 말. 분류:계산 문제.

새로운!!: 컴퓨터 과학와 최적화 문제 · 더보기 »

최선, 최악, 그리고 평균의 경우

학분야에서, 주어진 알고리즘의 최선, 최악, 그리고 평균의 경우(best, worst, and average cases)는 각 최소, 최대, 평균 자원의 사용량을 의미.

새로운!!: 컴퓨터 과학와 최선, 최악, 그리고 평균의 경우 · 더보기 »

어간 추출

어간 추출(語幹 抽出)은 형태론 및 정보 검색 분야에서 어형이 변형된 단어로부터 접사 등을 제거하고 그 단어의 어간을 분리해 내는 것을 의미.

새로운!!: 컴퓨터 과학와 어간 추출 · 더보기 »

언어학

일반적으로 언어학(言語學)은 인간의 언어를 연구하는 학문이.

새로운!!: 컴퓨터 과학와 언어학 · 더보기 »

행위자 모델

행위자 모델 또는 액터 모델(actor model)은 컴퓨터 과학에서 행위자를 병행 연산의 범용적 기본 단위로 취급하는 병행 컴퓨팅의 수학적 모델이.

새로운!!: 컴퓨터 과학와 행위자 모델 · 더보기 »

에드거 F. 커드

에드거 프랭크 "테드" 커드(Edgar Frank "Ted" Codd, 1923년 8월 23일 ~ 2003년 4월 18일)는 관계형 데이터베이스 이론에 중요한 공헌을 한 영국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 에드거 F. 커드 · 더보기 »

에드윈 캐트멀

에드윈 캐트멀(Edwin Catmull, 1945년 ~)은 전산학자이자 픽사의 현 사장이.

새로운!!: 컴퓨터 과학와 에드윈 캐트멀 · 더보기 »

에츠허르 데이크스트라

에츠허르 비버 데이크스트라(1930년 5월 11일 ~ 2002년 8월 6일)는 네덜란드의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 에츠허르 데이크스트라 · 더보기 »

역색인

학에서 역색인, 역 인덱스(inverted index), 역 파일(inverted file)은 낱말이나 숫자와 같은 내용물로부터의 매핑 정보를 데이터베이스 파일의 특정 지점이나 문서 또는 문서 집합 안에 저장하는 색인 데이터 구조이.

새로운!!: 컴퓨터 과학와 역색인 · 더보기 »

허먼 케인

먼 케인 허먼 케인(1945년 12월 13일 ~)은 미국의 기업인·저술인·정치인이.

새로운!!: 컴퓨터 과학와 허먼 케인 · 더보기 »

허버트 사이먼

버트 알렉산더 사이먼(Herbert Alexander Simon, 1916년 6월 15일 ~ 2001년 2월 9일)은 독일계 미국인으로 제한된 상황에서의 의사 결정 모델에 관한 이론으로 1978년 노벨 경제학상을 수상한 미국의 심리학자/경제학자 및 인지과학자.

새로운!!: 컴퓨터 과학와 허버트 사이먼 · 더보기 »

허용적 휴리스틱

학에서 길 찾기 알고리즘에서 휴리스틱 함수가 목표에 도달하는 데 필요한 비용을 전혀 과평가 하지 않는 경우, 이 함수를 허용적 휴리스틱 함수라고 부른.

새로운!!: 컴퓨터 과학와 허용적 휴리스틱 · 더보기 »

허프만 부호화

전산학과 정보 이론에서 허프만 부호화(Huffman coding)는 무손실 압축에 쓰이는 엔트로피 부호화의 일종으로, 데이터 문자의 등장 빈도에 따라서 다른 길이의 부호를 사용하는 알고리즘이.

새로운!!: 컴퓨터 과학와 허프만 부호화 · 더보기 »

엑사

엑사(Exa, 기호: E)는 1018(백경)을 나타내는 SI 접두어이.

새로운!!: 컴퓨터 과학와 엑사 · 더보기 »

푸시다운 자동 기계

시다운 자동 기계의 도표 푸시다운 자동 기계(pushdown automaton, PDA)는 컴퓨터 과학에서 스택을 사용하는 자동 기계의 한 종류이.

새로운!!: 컴퓨터 과학와 푸시다운 자동 기계 · 더보기 »

표준 형식

수학과 컴퓨터 과학에서, 수학적 대상의 표준 형식, 또는 표준형, 표준꼴, 정규형(canonical form, standard form, normal form)은 그 대상을 표현하는 표준적인 방법이.

새로운!!: 컴퓨터 과학와 표준 형식 · 더보기 »

킬로

(kilo)는 여러 단위의 접두어이.

새로운!!: 컴퓨터 과학와 킬로 · 더보기 »

사건

사건(事件)은 무엇이 특정 시간에 일어난 것을 뜻. 사람들은 사건의 중요성을 주관적으로 정의하는데 이는 사람들이 자신의 삶과 역사를 돌이켜서 각각의 구간을 구분할 때 사건의 중요성을 소급 기준으로 삼기 때문이.

새로운!!: 컴퓨터 과학와 사건 · 더보기 »

사고 실험

사고 실험(思考實驗;; 소트 익스페리먼트)은 사물의 실체나 개념을 이해하기 위해 가상의 시나리오를 이용하는 것이.

새로운!!: 컴퓨터 과학와 사고 실험 · 더보기 »

사용자 인터페이스

실감형 사용자 인터페이스의 예. 사용자 인터페이스(UI)는 사람(사용자)과 사물 또는 시스템, 특히 기계, 컴퓨터 프로그램 등 사이에서 의사소통을 할 수 있도록 일시적 또는 영구적인 접근을 목적으로 만들어진 물리적, 가상적 매개체를 뜻. 사용자 인터페이스는 사람들이 컴퓨터와 상호 작용하는 시스템이.

새로운!!: 컴퓨터 과학와 사용자 인터페이스 · 더보기 »

사이버네틱스

사이버네틱스(영어: cybernetics) 또는 인공두뇌학(人工頭腦學)은 일반적으로 생명체, 기계, 조직과 또 이들의 조합을 통해 통신과 제어를 연구하는 학문이.

새로운!!: 컴퓨터 과학와 사이버네틱스 · 더보기 »

사전식 순서

순서론에서, 사전식 순서(辭典式順序)는 여러 개의 부분 순서 집합들의 곱집합 위에 존재하는 부분순서이.

새로운!!: 컴퓨터 과학와 사전식 순서 · 더보기 »

살만 칸 (교육인)

살만 칸 살만 칸(Salman Khan)은 미국의 온라인 교육가이.

새로운!!: 컴퓨터 과학와 살만 칸 (교육인) · 더보기 »

삼진 골레 부호

학에서, 삼진 골레 부호(三進Golay符號)는 마티외 군을 자기 동형군으로 갖는 삼진 선형 부호이.

새로운!!: 컴퓨터 과학와 삼진 골레 부호 · 더보기 »

피터 일라이어스

일라이어스(1923년 11월 23일 ~ 2001년 12월 7일)는 정보 이론의 선구자인 미국의 전산학자이.

새로운!!: 컴퓨터 과학와 피터 일라이어스 · 더보기 »

프레더릭 브룩스

릭 브룩스 프레더릭 필립스 브룩스 2세(Frederick Philips Brooks, Jr., 1931년 4월 19일 ~)는 미국의 소프트웨어 엔지니어이자, 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 프레더릭 브룩스 · 더보기 »

프레다 미허일레스쿠

미허일레스쿠(1955–)는 루마니아의 수학자.

새로운!!: 컴퓨터 과학와 프레다 미허일레스쿠 · 더보기 »

프레임

임(frame)에는 다음 뜻이 있.

새로운!!: 컴퓨터 과학와 프레임 · 더보기 »

프로그래밍 도구

밍 도구(programming tool) 또는 소프트웨어 도구(software tool)는 소프트웨어 개발자가 다른 프로그램과 응용 프로그램을 만들고 오류를 고치고 유지 보수하는 데에 사용하는 프로그램이나 응용 프로그램이.

새로운!!: 컴퓨터 과학와 프로그래밍 도구 · 더보기 »

프로세스 식별자

학에서 프로세스 식별자(프로세스 ID 또는 PID)는 유닉스, 맥 OS X 또는 마이크로소프트 윈도우 등의 운영 체제 커널이 사용되는 번호이.

새로운!!: 컴퓨터 과학와 프로세스 식별자 · 더보기 »

선입 선출

선입선출의 개요도. 선입 선출(先入先出, first in, first out, 줄여서 FIFO)은 시간과 우선 순위와 관련된 데이터를 정리하고 이용하는 방식을 줄여 말하는 것이.

새로운!!: 컴퓨터 과학와 선입 선출 · 더보기 »

선형 부호

학과 조합론에서, 선형 부호(線型符號)는 알파벳이 유한체이며, 부호화 함수가 유한체 위의 선형 변환인 블록 부호이.

새로운!!: 컴퓨터 과학와 선형 부호 · 더보기 »

턴스톨 부호화

스톨 부호화()는 컴퓨터 과학과 정보 이론에서 무손실 데이터 압축을 위한 엔트로피 부호화의 한 형태이.

새로운!!: 컴퓨터 과학와 턴스톨 부호화 · 더보기 »

세라 로런스 칼리지

세라 로런스 칼리지()는 미국 뉴욕 주 웨스트체스터 군 용커스에 위치한 사립 리버럴 아츠 칼리지이.

새로운!!: 컴퓨터 과학와 세라 로런스 칼리지 · 더보기 »

세메레디 엔드레

세메레디 엔드레(1940년 8월 21일 ~)는 헝가리 태생의 수학자.

새로운!!: 컴퓨터 과학와 세메레디 엔드레 · 더보기 »

세션 (컴퓨터 과학)

세션(session)은 컴퓨터 과학에서, 특히 네트워크 분야에서 반영구적이고 상호작용적인 정보 교환이며 둘 이상의 통신 장치나 컴퓨터와 사용자 간의 대화나 만남을 의미하는 다이얼로그(dialogue)이.

새로운!!: 컴퓨터 과학와 세션 (컴퓨터 과학) · 더보기 »

서로소 집합 자료 구조

''메이크셋''은 8개의 개체를 생성한다. ''유니온'' 연산을 여러 번 수행하면 여러 집합들이 합쳐진다. 컴퓨터 과학 분야 에서 서로소 집합(disjoint-set) 자료 구조, 또는 합집합-찾기(union–find) 자료 구조, 병합-찾기 집합(merge–find set)은 많은 서로소 부분 집합들로 나눠진 원소들에 대한 정보를 저장하고 조작하는 자료 구조이.

새로운!!: 컴퓨터 과학와 서로소 집합 자료 구조 · 더보기 »

서비스 과학

서비스 과학(Services Science)은 IBM에서 주창한 서비스과학, 경영 및 공학(SSME, Services Sciences, Management, and Engineering)과 같은 의미로 사용.

새로운!!: 컴퓨터 과학와 서비스 과학 · 더보기 »

손 마사요시

손 마사요시(1957년 8월 11일 ~)은 일본의 기업가이자, 소프트뱅크의 CEO이.

새로운!!: 컴퓨터 과학와 손 마사요시 · 더보기 »

소프트웨어

사용자가 일반적인 데스크톱 컴퓨터에서 응용 소프트웨어와 어떻게 상호 작용하는지 나타낸 그림. 워드 프로세싱 소프트웨어의 스크린샷 컴퓨터 소프트웨어(computer software, 혹은 간단히 소프트웨어,, 순화 용어: 무른모)는 저장장치에 저장된 특정한 목적의 하나 또는 다수의 컴퓨터 프로그램을 뜻. 프로그램 소프트웨어는 컴퓨터 하드웨어에 직접 명령어를 주거나 다른 소프트웨어에 입력을 제공함으로써, 그것이 수행하도록 구현된 기능을 수행.

새로운!!: 컴퓨터 과학와 소프트웨어 · 더보기 »

소프트웨어 공학

A-380 은 상당한 양의 소프트웨어를 사용하여 "종이 없는" 조종석을 창조하였다. 소프트웨어 공학으로 항공기 소프트웨어를 이루는 수백만행의 소스코드를 변환하고 계획하였다. 소프트웨어 공학(-工學)은 소프트웨어의 개발, 운용, 유지보수 등의 생명 주기 전반을 체계적이고 서술적이며 정량적으로 다루는 학문이다; 즉, 공학을 소프트웨어에 적용하는 것이.

새로운!!: 컴퓨터 과학와 소프트웨어 공학 · 더보기 »

소프트웨어 트랜잭셔널 메모리

소프트웨어 트랜잭셔널 메모리(Software Transactional Memory, STM)는 컴퓨터 과학에서 병렬 컴퓨팅에서 공유 메모리으로의 접근을 제어하기 위한 데이터베이스 트랜잭션과 유사한 동시성 제어 구조이.

새로운!!: 컴퓨터 과학와 소프트웨어 트랜잭셔널 메모리 · 더보기 »

통계학

200px 통계학(統計學)은 수량적 비교를 기초로 하여, 많은 사실을 통계적으로 관찰하고 처리하는 방법을 연구하는 학문이.

새로운!!: 컴퓨터 과학와 통계학 · 더보기 »

통신공학

통신공학(通信工學)은 전기적 신호를 이용하여 다양한 형태의 정보교환을 구현하는 공학분야를 지칭.

새로운!!: 컴퓨터 과학와 통신공학 · 더보기 »

앤드루 타넨바움

앤드루 스튜어트 "앤디" 타넨바움(Andrew Stuart "Andy" Tanenbaum, 1944년 3월 16일 ~)은 네덜란드 암스테르담 자유대학교 전산학 교수이.

새로운!!: 컴퓨터 과학와 앤드루 타넨바움 · 더보기 »

앤드루 야오

앤드루 치치 야오(Andrew Chi-Chih Yao,, 1946년 12월 24일 -)는 저명한 전산학자이.

새로운!!: 컴퓨터 과학와 앤드루 야오 · 더보기 »

앨런 뉴얼

앨런 뉴얼(Allen Newell, 1927년 3월 19일 - 1992년 7월 19일)은 초기의 인공지능 연구자이.

새로운!!: 컴퓨터 과학와 앨런 뉴얼 · 더보기 »

앨런 튜링

앨런 매티슨 튜링(OBE, FRS, 1912년 6월 23일 ~ 1954년 6월 7일)은 영국의 수학자, 암호학자, 논리학자이자 컴퓨터 과학의 선구적 인물이.

새로운!!: 컴퓨터 과학와 앨런 튜링 · 더보기 »

앨런 펄리스

앨런 제이 펄리스(Alan Jay Perlis, 1922년 4월 1일 ~ 1990년 2월 7일)는 프로그래밍 언어 분야에서 선구적인 공로를 했으며, 이를 인정받아 튜링상을 최초로 수상한 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 앨런 펄리스 · 더보기 »

앨런 케이

앨런 커티스 케이(1940년 5월 17일 ~)는 미국의 전산학자이.

새로운!!: 컴퓨터 과학와 앨런 케이 · 더보기 »

함수 (동음이의)

수의 다른 뜻은 다음과 같.

새로운!!: 컴퓨터 과학와 함수 (동음이의) · 더보기 »

앨프리드 에이호

앨프리드 에이호(Alfred V. Aho)는 컴퓨터 과학자로 미국 컬럼비아 대학교의 컴퓨터 과학과 교수이.

새로운!!: 컴퓨터 과학와 앨프리드 에이호 · 더보기 »

해밍 부호

선형대수학과 컴퓨터 과학에서, 해밍 부호(해밍符號)는 이진 선형 부호의 일종이.

새로운!!: 컴퓨터 과학와 해밍 부호 · 더보기 »

해시 트리

이진 해시 트리 컴퓨터 과학과 암호학에서 해시 트리는 모든 비-리프(non-leaf) 노드의 이름이 자식 노드들 이름의 해시로 구성된 트리 구조를 가리.

새로운!!: 컴퓨터 과학와 해시 트리 · 더보기 »

알론조 처치

알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.

새로운!!: 컴퓨터 과학와 알론조 처치 · 더보기 »

알고리즘

알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.

새로운!!: 컴퓨터 과학와 알고리즘 · 더보기 »

알고리즘 분석

알고리즘 분석()은 컴퓨터 과학에서 알고리즘을 실행하는데 필요한 (시간과 기억 용량과 같은) 자원의 수를 결정하는 일을 가리.

새로운!!: 컴퓨터 과학와 알고리즘 분석 · 더보기 »

한국정보과학회

국정보과학회(Korean Institute of Information Scientists and Engineers)는 전산학에 관한 기술을 발전, 보급시키고 회원상호간의 친목을 도모하기 위하여 1973년 3월 3일에 설립된 비영리 공익 법인으로, 컴퓨터학 분야에서 가장 역사가 깊고, 최대의 회원을 보유한 학술단체이.

새로운!!: 컴퓨터 과학와 한국정보과학회 · 더보기 »

핵중심구구조문법

핵중심구구조문법 (Head-Driven Phrase Structure Grammar, HPSG)은 고도로 어휘화된 비도출적 생성문법 이론으로, 칼 폴라드와 이반 사그가 개발하였.

새로운!!: 컴퓨터 과학와 핵중심구구조문법 · 더보기 »

암호학

200px 암호학(暗號學)은 정보를 보호하기 위한 언어학적 및 수학적 방법론을 다루는 학문으로 수학을 중심으로 컴퓨터, 통신 등 여러 학문 분야에서 공동으로 연구, 개발되고 있. 초기의 암호는 메시지 보안에 초점이 맞추어져 군사 또는 외교적 목적으로 사용되었지만, 현재는 메시지 보안이외에도 인증, 서명 등을 암호의 범주에 포함시켜 우리의 일상에서 떼 놓을 수 없는 중요한 분야가 되었.

새로운!!: 컴퓨터 과학와 암호학 · 더보기 »

필 캐츠

립 월터 캐츠(Phillip Walter Katz, 1962년 11월 3일 ~ 2000년 4월 14일)는 ZIP 파일 포맷과 PKZIP 압축 프로그램의 제작자로 잘 알려진 컴퓨터 프로그래머이.

새로운!!: 컴퓨터 과학와 필 캐츠 · 더보기 »

아디 샤미르

아디 샤미르(1952년 7월 6일 ~)는 이스라엘의 암호학자이.

새로운!!: 컴퓨터 과학와 아디 샤미르 · 더보기 »

아네르스 하일스베르

아네르스 하일스베르 아네르스 하일스베르(1960년 12월하일스베르는 마이크로소프트 박물관의 비디오에서 자신이 태어난 해는 1960년이라고 말하였다. 그러나 다른 자료들은 1961년이라고 적고 있었다. 바르셀로나에서 열린 테크에드(TechEd) 2006 행사에서, 아네르스는 자신이 1960년 12월에 태어났다는 것을 확실히 밝혔다. ~)는 덴마크 출신 소프트웨어 공학자이.

새로운!!: 컴퓨터 과학와 아네르스 하일스베르 · 더보기 »

아니타 보그

아니타 보그(Anita Borg, 1949년 1월 17일 - 2003년 4월 6일)는 미국의 컴퓨터 과학자이.

새로운!!: 컴퓨터 과학와 아니타 보그 · 더보기 »

아이노드

전산학에서 아이노드(inode)는 UFS와 같은 전통적인 유닉스 계통 파일 시스템에서 사용하는 자료구조이.

새로운!!: 컴퓨터 과학와 아이노드 · 더보기 »

학문 목록

설명이 없습니다.

새로운!!: 컴퓨터 과학와 학문 목록 · 더보기 »

테라

(Tera, 기호: T)는 1012(조)를 나타내는 SI 접두어이.

새로운!!: 컴퓨터 과학와 테라 · 더보기 »

식사하는 철학자들 문제

섯 명의 철학자와 포크 식사하는 철학자들 문제는 전산학에서 동시성과 교착 상태를 설명하는 예시로, 여러 프로세스가 동시에 돌아갈 때 교착 상태가 나타나는 원인을 직관적으로 알 수 있. 다섯 명의 철학자가 원탁에 앉아 있고, 각자의 앞에는 스파게티가 있고 양옆에 젓가락이 한 짝씩 있. 그리고 각각의 철학자는 다른 철학자에게 말을 할 수 없. 이때 철학자가 스파게티를 먹기 위해서는 양 옆의 젓가락 짝을 동시에 들고 있어야.

새로운!!: 컴퓨터 과학와 식사하는 철학자들 문제 · 더보기 »

실행 시간

실행 시간(實行時間)은 다음과 같은 의미를 가질 수 있.

새로운!!: 컴퓨터 과학와 실행 시간 · 더보기 »

시모어 페퍼트

시모어 페퍼트(1928년 2월 29일 ~ 2016년 7월 31일)는 남아프리카 공화국 출신 미국의 수학자, 컴퓨터 과학자, 교육자이.

새로운!!: 컴퓨터 과학와 시모어 페퍼트 · 더보기 »

시스템 생물학

생물학 연구의 예. 계생명학(系生物學) 또는 시스템 생물학(Systems biology, SB)은 생명현상을 복합체로 규정하고 생물학뿐만 아니라 전산학, 수학, 물리학, 화학 등의 원칙을 사용하여 분석하고 모사 발명하는 것을 목표로 하는 학문이.

새로운!!: 컴퓨터 과학와 시스템 생물학 · 더보기 »

시스템 시간

date'' 명령어 컴퓨터 과학과 컴퓨터 프로그래밍에서 시스템 시간(system time)은 시간의 흐름에 따른 컴퓨터 시스템의 개념을 말. 이같은 문맥에서 시간은 달력의 일수가 경과하는 것. 시스템 시간은 시스템 클록에 의해 측정되며, 이는 일반적으로 기원일이라 부르는 특정한 시작일 이래로 발생된, 틱(tick)의 수를 단순히 세는 것으로 구현.

새로운!!: 컴퓨터 과학와 시스템 시간 · 더보기 »

웹 사이언스

웹 사이언스(Web Science)는 World Wide Web(WWW)의 창안자인 팀 버너스-리 경(Sir Timothy John “Tim” Berners-Lee, 1955년 6월 8일~)이 지난 2005년 새롭게 제시한 연구 주제로, 기존의 컴퓨터 과학 측면의 방법에서 벗어나 인문학과 공학 등의 학문 경계를 넘나들면서 웹의 보편적 가치를 찾는 것을 추구하고 있.

새로운!!: 컴퓨터 과학와 웹 사이언스 · 더보기 »

웜(computer worm)은 스스로를 복제하는 컴퓨터 프로그램이.

새로운!!: 컴퓨터 과학와 웜 · 더보기 »

후입 선출

스택에서, 마지막에 추가된 맨 위의 항목은 처음 끄집어 낼 수 있다. 그러므로 스택은 LIFO 구조이다. 후입 선출(後入先出) 또는 LIFO(last in, first out)는 컴퓨터 과학과 대기 이론에서 어떠한 종류의 데이터 구조에 저장되어 있는 항목들이 처리되는 것을 말. LIFO 구조화 선형 목록에서, LIFO 요소는 맨 위의 항목만 추가하거나 제거할 수 있. LIFO 구조는 작은 문을 가진 좁고 둘러싸인 승강기로 예를 들 수 있. 승강기가 도착지에 다다를 때, 마지막에 탄 사람은 먼저 내려야.

새로운!!: 컴퓨터 과학와 후입 선출 · 더보기 »

황정목

황정목, 데니스 황 황정목(黃正穆, 데니스 황, 1978년 ~)은 검색 사이트 구글의 기념일 로고 디자이너이며, 인터내셔널 웹 마스터이.

새로운!!: 컴퓨터 과학와 황정목 · 더보기 »

K-d 트리

right 컴퓨터 과학에서, k-d 트리 (k-차원(dimensional) 트리)는 k차원 공간의 점들을 구조화 하는 공간 분할 자료 구조이.

새로운!!: 컴퓨터 과학와 K-d 트리 · 더보기 »

Lex

Lex는 컴퓨터 과학 분야에서 구문 분석을 위한 대표적인 프로그램이.

새로운!!: 컴퓨터 과학와 Lex · 더보기 »

NOP

학에서 NOP 또는 NOOP(No Operation)은 어셈블리어의 명령, 프로그래밍 언어의 문, 컴퓨터 프로토콜 명령의 하나로, 아무 일도 하지 않.

새로운!!: 컴퓨터 과학와 NOP · 더보기 »

O (동음이의)

O는 다음을 가리키는 말이.

새로운!!: 컴퓨터 과학와 O (동음이의) · 더보기 »

P-NP 문제

P는 NP에 속하지만, NP가 P에 속하는지 여부는 밝혀지지 않았다. P-NP 문제는 복잡도 종류 P와 NP가 같은지에 대한 컴퓨터 과학의 미해결 문제로 컴퓨터로 풀이법이 빠르게 확인된 문제가 컴퓨터로 빠르게 풀리기도 할 것인가 아닌가를 묻고 있. 1971년 스티븐 쿡이 그의 논문 〈The Complexity of Theorem Proving Procedures〉(정리 증명 절차의 복잡성)에서 처음으로 제안하였고 클레이 수학연구소에서 발표한 7개의 '밀레니엄 문제' 중 하나이며 컴퓨터 과학에서 중요한 위치를 차지하고 있. 이것은 본래 1956년 쿠르트 괴델이 존 폰 노이만에게 썼던 편지에서 처음으로 언급되었.

새로운!!: 컴퓨터 과학와 P-NP 문제 · 더보기 »

P진수

수론에서, p진수(p進數, p-adic number)는 유리수의 체를 마치 어떤 소수 p에 대한 로랑 급수처럼 해석하여 완비시켜 얻는 체이.

새로운!!: 컴퓨터 과학와 P진수 · 더보기 »

QNX

QNX는 1982년에 개발한 유닉스 계열의 서버 운영 체제로, 현재는 GUI도 지원하고 있으며 CD 부팅판과 플로피 디스켓 버전을 내놓고 있.

새로운!!: 컴퓨터 과학와 QNX · 더보기 »

SFS

SFS.

새로운!!: 컴퓨터 과학와 SFS · 더보기 »

2의 거듭제곱

수학에서 2의 거듭제곱은 2의 음이 아닌 정수 거듭제곱을 말. 1은 2의 (0번째) 거듭제곱이.

새로운!!: 컴퓨터 과학와 2의 거듭제곱 · 더보기 »

2차원 컴퓨터 그래픽스

2차원 컴퓨터 그래픽스는 컴퓨터를 이용해 2차원으로 구현된 디지털 이미지를 말하며 이를 구현하는 기술을 뜻. 이 용어와 이를 다루는 기술은 컴퓨터 과학의 한 분류로 인정되고 있. 2차원 컴퓨터 그래픽스는 주로 타이포그래피, 칼트그래피, 테크니컬 드로잉과 같은 2차원 컴퓨터 그래픽스가 등장하기 전에 등장했던 그림 그리기 기법에 대용적으로 쓰인.

새로운!!: 컴퓨터 과학와 2차원 컴퓨터 그래픽스 · 더보기 »

여기로 리디렉션합니다

전산 과학, 전산과학, 전산학, 정보공학, 컴퓨터과학.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »