Назарияи муҳосибот

Назарияи муҳосибот (англ. Theory of computation) — заминаи васеъе аст, ки имкон ва корои ҳалли масоили гуногун ба василаи муделҳои муҳосиботӣ, бо истифода аз алгуритмҳоро мавриди мутолиъа қарор медиҳад.