Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!
Текст из файла
Список билетов по курсу «Теория программирования» 2020г Бульонков М.А.
-
Maшина Тьюринга. Конфигурация, протокол, временная и емкостная сложности. Моделирование машины Тьюринга на РАМ. |
-
РАМ. Конфигурация, протокол, временная и емкостная сложности. Равномерный и логарифмический весовые критерии. Моделирование машины Тьюринга на РАМ. |
-
Моделирование вычислений. Моделирование РАМ на машине Тьюринга. |
-
Теорема об ускорении. |
-
Теорема о существовании сколь угодно сложных функций (диагональ Рабина). |
-
Теорема о нижней оценке количества умножений для вычисления Mx+y |
-
Распознование пустоты и эквивалентности конечных автоматов. |
-
Задача поиска в информационном массиве. Деревья поиска, 2-3 деревья. Оценки сложности. |
-
Задача поиска в информационном массиве. АВЛ-деревья. Оценки сложности. |
-
Задача поиска в информационном массиве. Таблицы расстановки. Оценки сложности. |
-
Сортировка массивов. Классификация алгоритмов. Быстрая сортировка. Оценка сложности. |
-
Теоремы о сложности в среднем и в худшем сортировки, основанной на сравнениях. |
-
Задача анализа свойств графа методом разметки. Существование, единственность и безопасность стационарной разметки. |
-
Задача анализа свойств графа методом разметки. Возможность построения точного решения. |
-
Понятие стандартной схемы. Интерпретация, функциональная эквивалетность. |
-
Понятие стандартной схемы. Определение логико-термальной эквивалентности. |
-
Функциональные сети для представления множества утверждений. Полурешетка. |
-
Система преобразований Sлт. Полнота и корректность. |
-
Рекурсивные схемы. Невозможность трансляции рекурсивных схем в стандартные. |
-
Рекурсивные схемы. Алгоритм трансляции стандартных схем в рекурсивные схемы. |
-
Многоленточные и многоголовочные конечные автоматы. Проблемы пустоты и эквивалентности. |
-
Оптимальные деревья двоичного поиска |
-
Порядковые статистики |
-
Древовидные структуры для задачи ОБЪЕДИНИТЬ-НАЙТИ. |
-
Определение смешанных вычислений. Проекции Футамуры. |
-
Интерпретативный, трансляционный и трансформационный подходы к смешанным вычислениям |
-
Поливариантные смешанные вычисления. |
-
Анализ периода связывания как ЗГА. Поливариантный анализ периода связывания. |
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.
Список файлов вопросов/заданий
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
