이론 컴퓨터 과학 이론 컴퓨터 과학 또는 이론 전산학(영어: theoretical computer science)은 컴퓨터 과학 및 수학의 한 분야로, 컴퓨터나 계산 과정의 추상적이고 근본적인 원리를 연구하는 학문이다. 역사적으로 보았을 때 컴퓨터 과학의 기원은 수리 논리학의 발전과 함께 대두한 계산 가능성 연구로, 이에 관한 결정 문제와 튜링 기계 등을 논하던 계산 이론으로부터 이후 실질적인 응용으로 발전하여 나온 것이다. 이론 전산학과 일반적인 응용 전산학을 구분하는 명확한 기준은 없으나, 이론 전산학은 대체로 수학적인 면에 치중하는 경향이 있다. 이론 전산학은 계산 가능성 이론, 오토마타 이론 등 수리논리학적 분야를 기초로 삼으며, 더욱 세부적인 연구 분야로는 그래프 이론, 조합론, 정수론, 암호학, 유형 이론, 계산 복잡도 이론, 최적화 이론 등에 관한 연구가 있다. 같이 보기
|
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia
