Изчислителна теория
Направо към навигацията
Направо към търсенето
За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |
Изчислителна теория, наричана още рекурсивна теория, е клон на математическата логика, който произхожда от 30-те на 20 век с изследването на изчислимите функции и степени на Тюринг. Полето се разширява и включва общата изчислимост и определимост. В тези области рекурсивната теория се пресича с теория на доказателството и ефективната дескриптивна теория на множествата.
![]() ![]() |
Тази страница частично или изцяло представлява превод на страницата „Computability theory“ в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза „Криейтив Комънс - Признание - Споделяне на споделеното“, а за съдържание, създадено преди юни 2009 година — от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница. Вижте източниците на оригиналната статия, състоянието ѝ при превода и списъка на съавторите. |
Тази статия, свързана с логика, все още е мъниче. Помогнете на Уикипедия, като я редактирате и разширите.