이론적 인 컴퓨터 과학이란 무엇입니까?


13

이론적 인 컴퓨터 과학이란 정확히 무엇입니까? 다양한 언어로 코딩하고 플랫폼에서 앱을 만드는 법을 배우고 있습니까? 아니면 컴퓨터에서보다 효율적으로 작업을 수행 할 수 있도록 더 빠르고 더 빠른 알고리즘을 생각하고 있습니까? 아니면 컴퓨터에서 시뮬레이션 할 수있는 새로운 삶의 상황을 프로그래밍하고 생각하고 있습니까? 여기서 정확히 무엇을하려고합니까?

예를 들어, 물리학은 그것을 지배하는 모든 자연 법칙을 찾으려고 노력합니다. 수학은 모형 현실을 기반으로하는 타우 톨 로지이며 다른 과목에서 매우 정확한 언어로 사용됩니다.

이론적 인 컴퓨터 과학이란 정확히 무엇입니까? 컴퓨터가 우리 인간에 의해 응용 목적으로 설계되었을 때, 결국에는 수학과 물리학으로 넘어 가야합니까? 그렇다면 컴퓨터 과학 자체의 "이론"은 어디에 있습니까?

너무 순진해서 죄송하지만 이론적 인 컴퓨터 과학자가하는 일을 알고 싶습니다.


5
en.wikipedia.org/wiki/Theoretical_computer_science ... 이론적 컴퓨터 과학 분야는 알고리즘, 데이터 구조, 계산 복잡도 이론, 분산 계산, 병렬 계산, VLSI, 기계 학습, 계산 생물학, 계산 기하학을 포함하도록 광범위하게 해석됩니다. , 정보 이론, 암호, 양자 계산, 전산 번호 이론과 대수, 프로그램의 의미 및 검증, 오토마타 이론, 난수의 연구 ...
MARZIO 드 BIASI

1
도움말 센터를 참조하십시오 .
Kaveh

6
Q. "여기서 정확히 무엇을하려고합니까?" A : "열정을 따르십시오":-D :-D
Marzio De Biasi

8
우리는 컴퓨터가 아니라 계산을 연구합니다. 이것은 수학이지만 최근에 공부하기 시작한 것은 수학입니다. 수학적 계산 이론이 반드시 특정 현실 세계와 연결되어있는 것은 아닙니다. 그것은 "실제 세계"와 무관하기 때문에 물리학으로 축소되지 않습니다. 그러나 그것은 과학을위한 언어가 될 수있는 잠재력을 가지고있다
Sasho Nikolov

1
"컴퓨터 과학"은 잘못된 것으로 널리 알려져 있습니다. Dijkstra의 말을 인용하자면 : "컴퓨터 과학은 수술을 칼 과학으로 지칭하는 것과 같으며이 용어를 천문학을 망원경 과학으로 언급하는 것과 같습니다." ---“계산 과학”은 진실에 더 가까울 수 있지만 여전히 그 분야를 다루지는 않습니다. 네덜란드에서는이를 "정보학", 즉 "정보 과학"이라고합니다. --- 수학과 겹치는 부분이 분명히 있습니다. 특히 이산 수학.
mhelvens

답변:


20

귀하의 질문 자체는 순진하지 않지만 귀하가 요청하는 답변의 유형입니다. 모든 작업 라인이나 지적 문의에 엘리베이터 피치 설명이있는 경우는 거의 없습니다. 수학과 물리학의 특성화가 모든 분야의 깊이와 뉘앙스를 무시하기 때문에 모두가 당신의 수학과 물리학에 동의하는 것은 아닙니다.

이론적 컴퓨터 과학자들은 계산 을 연구하고 적용하는 것에 관심이있다 . 계산 관점은 깊고 모든 것을 포괄하므로 계산 연구는 깊으며 다른 많은 연구 영역과 관련이 있습니다. 본질적으로 또는 합성으로 발생하는 모든 단일 프로세스는 정보를 조작합니다. 그들은 계산 합니다. 수학에서와 같이, 물리학에서와 같이 계산과 관련된 다양한 언어와 구조의 구조가 있으며, 화학에서와 같이 계산의 기본 요소를 분류 할 수있는 우리가 발견하려고하는 계산에 대한 기본 법칙이 있습니다. 이론적 인 컴퓨터 과학은 당신이 가지고있는 어떤 관점에도 견딜 수있을 정도로 넓고 강력합니다. 연구 된 질문 중 일부는 다음과 같습니다.

  • 계산이란 무엇이며 어떻게 특성화 할 수 있습니까? (투어 기, 람다 미적분, 타일링 시스템, 레지스터 기, DNA 컴퓨터 등)
  • 프로세스의 기본이되는 계산 모델은 무엇입니까? (생물학적, 화학적, 경제적, 사회 학적 프로세스 등)
  • 효율적인 계산이란 무엇입니까? (시간, 공간, 커뮤니케이션, 상각, 평활화 등을 통한 복잡성)
  • 효율적인 계산의 특징은 무엇입니까? (투어 기계, 대수적 개념, 논리, 유형 시스템 등)
  • 문제에 대한 솔루션을 계산하는 가장 효율적인 방법은 무엇입니까? (알고리즘)
  • 기존 알고리즘 프로세스 (알고리즘 분석, 통계 현상, 시장 평형 등)의 효율성

이들은 질문 할 수있는 작고 비 대표적인 질문입니다. 모든 분야에서와 같이 일부 질문에 대한 답변은 새로운 질문을 생성하고 다른 질문에 대한 문의를 유도합니다. 이론적 컴퓨터 과학 핸드북에서 기사를 찾아 보면 다소 날짜가 표시된 필드를 볼 수 있습니다.

  1. 이론적 컴퓨터 과학 핸드북, 볼륨 A : 알고리즘과 복잡성, 1990
  2. 이론적 컴퓨터 과학 핸드북, B 권 : 공식적인 모델과 세마 틱, 1990

12

TCS를 처음 접한다면 수학의 하위 영역으로 생각할 수 있습니다. 이론적 컴퓨터 과학은 주로 이론을 증명하는 것으로 구성됩니다 .

표준 "수학"과 대조를 원한다면 TCS는 주로 알고리즘입니다 . 알고리즘 의 설계, 분석 및 이론적 기능 / 제한에 중점을 둡니다.

컴퓨터 과학도 실험 할 수있다, 자연 물리학이나 생물학 등의 과학은, 그러나 이것은 더 자주 외부 "이론"의 영역을 감소하는 경향이있다.

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.