В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений. Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Кемеровский госуниверситет вошел в сотню ведущих ...
По результатам суммарного рейтинга министерства образования и науки РФ, Кемеровский государственный университет (КемГУ) вошел в сотню ведущих российских вузов, занимая 96 позицию. Как сообщили корреспонденту КУЗИНФО в пресс-центре КемГУ, рейтинг 387 р...
Детский взгляд на школу
В средней общеобразовательной школе 4б4 города Кемерово подведены итоги творческого конкурса [Хочу творить тебя всегда!k, который проводился совместно с компанией [Кемеровогражданстройk, построившей эту ультрасовременную школу в микрорайоне Южный.PС 16-21 ноября ученики новой школы рисовали...