В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений. Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Ветром сдуло Земля окружена магнитной оболочкой, которая служит щитом от солнечного ветра – потоков ионизированных частиц, разогнанных до полутора миллионов километров в час. Этот ветер постоянно треплет наше магнитное поле, как флюгер, испытывая и его, и нас на прочность. Если [щитаk вдруг не станет, то Землю ожидает судьба наших соседей – Марса и Венеры: их [...]
[Время для меня как будто остановилось в далеком 1979 году. И с тех пор длится один долгий-долгий день…k Так говорит Яков Циперович – человек, о котором в 80-е и 90-е много писала пресса. О нем было снято около 70 фильмов, в том числе иностранными телекомпаниями. А все потому, что после перенесенной клинической смерти Циперович потерял [...]