Скачать книги Матросов В.
В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для...
| Автор | Матросов В., Мирзоев М. |
| Жанр | Информатика, Информационные технологии |
| Год | 2019 |
1982 год. Холодная война. В Советском Союзе новый руководитель - на смену Леониду Брежневу приходит Юрий Андропов, бывший глава КГБ. Западные журналисты могут лишь гадать, какой теперь будет внешняя политика Москвы. Одни надеются на диалог и примирение, другие мрачно рассуждают о ядерных ракетах. Саманта Смит - десятилетняя школьница из американской глубинки - очень боится ядерной войны. Она пишет Андропову и спрашивает, собирается ли он нападать на Америку. В апреле 1983 года Саманта получает...
| Автор | Матросов В. |
| Жанр | Публицистика |
| Год | 2022 |
В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для...
| Автор | Матросов В., Мирзоев М. |
| Год | 2019 |