В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений. Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Например, в 2020 году исследователи воссоздали почву Марса на основе образцов НАСА, чтобы разработать решения для развития сельского хозяйства на Марсе.
Эстонские физики создадут оптический квантовый компьютер нового типа
В Тартуском университете специалисты активно занимаются разработкой мощного компьютера нового типа. В научном журнале Optics Communications отметили, что он будет работать на ионах редкоземельных элементов.