В пособии освещены вопросы: алгоритмы и массовые проблемы, их вычислительная сложность, сводимость массовых проблем, формализация понятия алгоритма в терминах машины Тьюринга, нормальных алгоритмов и рекурсивных функций, алгоритмическая теория множеств, релятивизация понятия алгоритма и сложность решения комбинаторных массовых проблем (класс P и NP). Пособие содержит главу курса лекций по дисциплине «Математическая логика и теория алгоритмов». Для студентов высших учебных заведений, обучающихся по направлению «Информатика и вычислительная техника». Допущено Министерством образования Российской Федерации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению «Информатика и вычислительная техника»
Федеральное государственное бюджетное учреждение культуры «Российская государственная библиотека для молодёжи»
Главное здание
107061 Москва, ул. Б. Черкизовская, дом 4, корпус 1 Метро «Преображенская площадь» (выход №5) Телефон для справок: +7 499 670-80-01 E-mail: [email protected]
Филиал библиотеки — МИКК «Особняк В.Д. Носова»
107023 Москва, ул. Электрозаводская, 12, стр. 1 Метро «Электрозаводская» Телефоны для справок: +7 499 670-80-01 (доб. 600) E-mail: [email protected]
![Буфеев С. В., Основы математической логики и теории множеств. [учебное пособие для старшеклассников физико-математического лицея] — 2015](/searchcat/covers/RGUB-BIBL-0000812080.jpg "Буфеев С. В., Основы математической логики и теории множеств. [учебное пособие для старшеклассников физико-математического лицея] — 2015»")
