Скачать книги Матросов В.

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

В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для...

В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для...