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

컴퓨터 과학

색인 컴퓨터 과학

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

67 처지: 데이터 마이닝, 데이터베이스, 도메인 이론, 로봇, 로봇공학, 리버스 엔지니어링, 물리학, 범주론, 계산 가능성 이론, 계산 복잡도 이론, 불 대수, 분산 컴퓨팅, 그래프 이론, 기계 학습, 대수학, IBM, 운영 체제, 요구공학, 자료 구조, 폰 노이만 구조, 이진법, 이산수학, 인간-컴퓨터 상호작용, 인공지능, 인지과학, 정보 이론, 정보과학, 정보기술, 정형 기법, 조지 불, 차분기관, 찰스 배비지, 체 (수학), 천공 카드, 컴파일러, 컴퓨터 과학자, 컴퓨터 공학, 컴퓨터 그래픽스, 컴퓨터 비전, 컴퓨터 구조, 컴퓨터 네트워크, 컴퓨터 프로그램, 컴퓨터 프로그래밍, 컴퓨터 하드웨어, 쿠르트 괴델, 수리논리학, 수학, 영상 처리, 오토마타 이론, 언어학, ..., 에츠허르 데이크스트라, 프로그래밍 패러다임, 프로그래밍 언어, 소프트웨어, 소프트웨어 공학, 통계학, 통신 프로토콜, 앨런 튜링, 알론조 처치, 알고리즘, 알고리즘 분석, 하드웨어, 암호학, 학문, 시간 복잡도, 환론, 확률론. 색인을 확장하십시오 (17 더) »

데이터 마이닝

이터 마이닝(data mining)은 대규모로 저장된 데이터 안에서 체계적이고 자동적으로 통계적 규칙이나 패턴을 찾아 내는 것이.

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

데이터베이스

SQL 데이터베이스 쿼리의 예. right 데이터베이스()는 체계화된 데이터의 모임이.

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

도메인 이론

메인 이론()은 수학에서 특별한 종류의 일반적으로 도메인이라 불리는 부분순서에 대하여 연구하는 분야이.

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

로봇

아시모 로봇()은 사람과 유사한 모습과 기능을 가진 기계, 또는 무엇인가 스스로 작업하는 능력을 가진 기계를 말. 제조공장에서 조립, 용접, 핸들링 등을 수행하는 자동화된 로봇을 산업용 로봇이라 하고, 환경을 인식하고 스스로 판단하는 기능을 가진 로봇을 '지능형 로봇'이라 부른.

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

로봇공학

전구를 붙잡고 있는 섀도 핸드 시스템 로봇공학(Robotics, 로봇학)은 로봇에 관한 과학이자 기술학이.

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

리버스 엔지니어링

리버스 엔지니어링() 또는 역공학(逆工學)은 장치 또는 시스템의 기술적인 원리를 그 구조분석을 통해 발견하는 과정이.

새로운!!: 컴퓨터 과학와 리버스 엔지니어링 · 더보기 »

물리학

물리학(物理學)은 물질과,리처드 파인만은 원자론을 다루는 《파이만의 물리학 강의》(The Feynman Lectures on Physics)에서 "대격변이 일어나 모든 과학 지식이 없어진다고 해도, 다음의 단 한 문장만 다음 세대에 전달되면 다시 모든 과학 지식이 구축될 수 있다고 믿습.

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

범주론

수학에서, 범주론(範疇論)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이.

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

계산 가능성 이론

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

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

계산 복잡도 이론

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

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

불 대수

순서론과 추상대수학, 논리학에서, 불 대수(Boole代數)는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자이.

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

분산 컴퓨팅

분산 컴퓨팅(Distributed computing)은 인터넷에 연결된 여러 컴퓨터들의 처리 능력을 이용하여 거대한 계산 문제를 해결하려는 분산처리 모델이.

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

그래프 이론

6개의 꼭짓점과 7개의 변을 갖는 그래프 그래프 이론(graph理論)은 수학에서 객체 간에 짝을 이루는 관계를 모델링하기 위해 사용되는 수학 구조인 그래프에 대한 연구이.

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

기계 학습

학습(機械學習) 또는 머신 러닝()은 인공 지능의 한 분야로, 컴퓨터가 학습할 수 있도록 하는 알고리즘과 기술을 개발하는 분야를 말. 가령, 기계 학습을 통해서 수신한 이메일이 스팸인지 아닌지를 구분할 수 있도록 훈련할 수 있. 기계 학습의 핵심은 표현(representation)과 일반화(generalization)에 있. 표현이란 데이터의 평가이며, 일반화란 아직 알 수 없는 데이터에 대한 처리이.

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

대수학

수학(代數學, 독일어,영어: Algebra)은 일련의 공리들을 만족하는 수학적 구조들의 일반적인 성질을 연구하는 수학의 한 분야이.

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

IBM

국제사무기기회사(國際事務機器會社, International Business Machines Corporation; IBM)는 미국의 다국적 기술 및 컨설팅 회사이.

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

운영 체제

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

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

요구공학

요구공학(Requirements engineering, RE)은 시스템 요구사항 문서를 생성, 검증, 관리하기 위하여 수행되는 구조화된 활동의 집합이.

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

자료 구조

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

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

폰 노이만 구조

이만 구조 폰 노이만 구조()는 존 폰 노이만이 고안한 내장 메모리 순차처리 방식이.

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

이진법

이진법(二進法, binary)은 두 개의 숫자만을 이용하는 수 체계이.

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

이산수학

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

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

인간-컴퓨터 상호작용

인간-컴퓨터 상호작용(Human-computer interaction, HCI, CHI)은 인간과 컴퓨터 간의 상호작용에 대해 연구하는 학문 분야.

새로운!!: 컴퓨터 과학와 인간-컴퓨터 상호작용 · 더보기 »

인공지능

인공지능(人工知能)은 기계로부터 만들어진 지능을 말. 컴퓨터 공학에서 이상적인 지능을 갖춘 존재, 혹은 시스템에 의해 만들어진 지능, 즉 인공적인 지능을 뜻. 일반적으로 범용 컴퓨터에 적용한다고 가정.

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

인지과학

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

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

정보 이론

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

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

정보과학

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

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

정보기술

정보기술(情報技術, IT, Information Technology)은 전기 통신, 방송, 컴퓨팅(정보처리, 컴퓨터 네트워크, 컴퓨터 하드웨어, 컴퓨터 소프트웨어, 멀티미디어), 통신망 등 사회 기반을 형성하는 유형 및 무형의 기술 분야이.

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

정형 기법

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

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

조지 불

조지 불(1815년 11월 2일~1864년 12월 8일)은 영국의 수학자, 논리학자이.

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

차분기관

학 박물관에 전시된 차분기관 2호의 복제품 차분기관(差分機關)은 다항함수를 계산하기 위한 기계식 디지털 계산기이.

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

찰스 배비지

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

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

체 (수학)

상대수학에서, 체(體)는 사칙연산이 자유로이 시행될 수 있고, 산술의 잘 알려진 규칙들을 만족하는 대수 구조이.

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

천공 카드

350px 천공 카드(穿孔-, punched card)는 데이터를 표현하기 위해 규칙에 따라 직사각형 모양의 구멍을 뚫어 사용하는 종이 카드로서 초기의 저장매체이.

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

컴파일러

일반적인 다중 언어, 다중 대상 컴파일러의 동작 모습. 컴파일러(compiler, 순화 용어: 해석기, 번역기)는 특정 프로그래밍 언어로 쓰여 있는 문서를 다른 프로그래밍 언어로 옮기는 프로그램을 말. 원래의 문서를 소스 코드 혹은 원시 코드라고 부르고, 출력된 문서를 목적 코드라고 부른.

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

컴퓨터 과학자

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

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

컴퓨터 공학

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

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

컴퓨터 그래픽스

유타 주전자의 현대적 렌더링. 컴퓨터 그래픽스(Computer Graphics, CG)은 컴퓨터를 이용해 실제 세계의 영상을 조작하거나 새로운 영상을 만들어내는 기술을 가리.

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

컴퓨터 비전

비전(Computer Vision)은 기계의 시각에 해당하는 부분을 연구하는 컴퓨터 과학의 최신 연구 분야 중 하나이.

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

컴퓨터 구조

250px 컴퓨터 구조(computer architecture)는 컴퓨터 공학에서 개념의 설계요, 컴퓨터 시스템의 근간이 되는 운영 구조이.

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

컴퓨터 네트워크

퓨전테크놀로지센터에서 차세대 네트워크에 대해 세미나중인 일본정보통신연구소 연구원 컴퓨터 네트워크(computer network) 또는 컴퓨터망()은 노드들이 자원을 공유할 수 있게 하는 디지털 전기통신망의 하나이.

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

컴퓨터 프로그램

C 언어의 "Hello, World" 소스 코드. 컴퓨터 프로그램()은 컴퓨터에서 실행될 때 특정 작업(specific task)을 수행하는 일련의 명령어들의 모음(집합체)이.

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

컴퓨터 프로그래밍

밍() 또는 간단히 프로그래밍(programming) 혹은 코딩(coding)은 하나 이상의 관련된 추상 알고리즘을 특정한 프로그래밍 언어를 이용해 구체적인 컴퓨터 프로그램으로 구현하는 기술을 말. 프로그래밍은 기법, 과학, 수학, 공학적 속성들을 가지고 있.

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

컴퓨터 하드웨어

CPU (마이크로프로세서) ④ 램 ⑤ 확장 카드 ⑥ 전원 공급 장치 ⑦ 광 디스크 장치 ⑧ 하드 디스크 ⑨ 컴퓨터 키보드 ⑩ 마우스 컴퓨터 하드웨어(computer hardware, H/W, 순화 용어: 굳은모)는 중앙 처리 장치, 모니터, 자판, 컴퓨터 기억 장치, 그래픽 카드, 사운드 카드, 메인보드와 같은 컴퓨터의 물리적 부품을 의미.

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

쿠르트 괴델

르트 괴델(1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이.

새로운!!: 컴퓨터 과학와 쿠르트 괴델 · 더보기 »

수리논리학

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

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

수학

수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.

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

영상 처리

영상 처리(Image processing) 또는 화상 처리는 넓게는 입출력이 영상인 모든 형태의 정보 처리를 가리키며, 사진이나 동영상을 처리하는 것이 대표적인 예이.

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

오토마타 이론

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

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

언어학

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

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

에츠허르 데이크스트라

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

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

프로그래밍 패러다임

밍 패러다임(programming paradigm)은 프로그래밍의 패러다임 형태이.

새로운!!: 컴퓨터 과학와 프로그래밍 패러다임 · 더보기 »

프로그래밍 언어

C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.

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

소프트웨어

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

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

소프트웨어 공학

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

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

통계학

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

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

통신 프로토콜

통신 프로토콜 또는 통신 규약은 컴퓨터나 원거리 통신 장비 사이에서 메시지를 주고 받는 양식과 규칙의 체계이.

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

앨런 튜링

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

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

알론조 처치

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

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

알고리즘

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

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

알고리즘 분석

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

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

하드웨어

웨어(hardware)는 다음을 가리.

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

암호학

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

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

학문

학문(學問, Academia)은 배우고 익히는 것이.

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

시간 복잡도

산 복잡도 이론에서 시간 복잡도는 문제를 해결하는데 걸리는 시간과 입력의 함수 관계를 가리.

새로운!!: 컴퓨터 과학와 시간 복잡도 · 더보기 »

환론

수학의 한 분야인 환론(環論)은 환(정수의 집합처럼 좋은 성질을 가진 덧셈과 곱셈 연산이 주어진 집합)을 주 대상으.

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

확률론

주사위를 던져서 얻는 결과는 확률변수로 나타낼 수 있다. 확률론(確率論)은 확률에 대해 연구하는 수학의 한 분야이.

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

여기로 리디렉션합니다

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

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