Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

2013 г. 3 поток Вопросы к госэкзамену (дополнительная часть)

Кафедры:

Автоматизации систем вычислительных комплексов, Системного программирования и Алгоритмических языков

Теорема Поста о полноте систем функций в алгебре логики. Графы, деревья, планарные графы; их свойства. Оценка числа деревьев.

3.  Логика 1-го порядка. Выполнимость и общезначимость. Общая схема метода резолюций.

Логическое программирование. Декларативная семантика и операционная семантика; соотношение между ними. Стандартная стратегия выполнения логических программ. Транзакционное управление в СУБД. Методы сериализации транзакций. Аппаратно-программные средства поддержки мультипрограммного режима – система прерываний, защита памяти, привилегированный режим. Организация взаимодействия процессов и средства их синхронизации. Классические задачи синхронизации. Виртуальная память. Модели организации оперативной памяти.

9. Алгоритм Сети-Ульмана оптимального распределения регистров и его обоснование.

Основные принципы объектно-ориентированного программирования. Основные этапы компиляции (лексический анализ, синтаксический анализ. семантический анализ, генерация кода и т. д. ). Построение детерминированного конечного автомата по регулярному выражению. Построение канонической системы множеств LR(1) ситуаций и таблиц действий и переходов для LR(1) грамматик. Архитиктура параллельных вычислительных систем. Технологии параллельного программирования. Методы представления знаний в системах искусственного интеллекта (язык предикатов, семантические сети, фреймы, продукции). Методы поиска решения задач в системах искусственного интеллекта (эвристический поиск в пространстве состояний и на И/ИЛИ деревьях). Организация сетевого взаимодействия. Эталонная модель OSI ISO. Основные элементы и архитектура OSI ISO. Уровни протоколов и их основные функции. Организация сетевого взаимодействия. Семейство протоколов TCP/IP. Сравнение с эталонной моделью OSI ISO. Основные функции протоколов IP и TCP. Основные прикладные протоколы архитектуры TCP/IP. Средства межсетевого взаимодействия (мосты, маршрутизаторы, шлюзы). Методы защиты от несанкционированного доступа в компьютерных сетях. Унифицированный язык моделирования UML. Основные средства языка. Основы программной инженерии. Каскадная и итерационная модели жизненного цикла программного обеспечения. Глобальные и локальные модели освещения в компьютерной графике. Модель Фонга.

НЕ нашли? Не то? Что вы ищете?

Литература к дополнительной части вопросов для кафедр АСВК, СП и АЯ.

1. , Боресков графика. Динамика, реалистические изображения. - М.: ДИАЛОГ-МИФИ.

2. Яблонский в дискретную математику. - М.: Наука, 1986.

3. , Ложкин теории графов и схем. Методическая разработка.

4. Ложкин по онсовам кибернетики. М.2004.ВМК

5. Ли Р. Математическая логика и автоматическое доказательство теорем.

6. Программирование на языке Пролог для искусственного интеллекта. М. МИР.1990

7. Введение в системы Б. Вильямс. 2001.

8. Кауфман программирования. Концепции и принципы. - М.: Радио и связь, 1993.

9. Ульман Дж. Теория синтаксического анализа, перевода и трансляции, т.1, т.2.

10. Королев ЭВМ М. Научный мир. 2005..

11. Компиляторы. А. Ахо, Р. Сети, Д. Ульман. Вильямс.2001

12. Компьютерные сети. Многоуровневая система Интернета. Д.Кроуз, К. Росс. Питер2004.

13. Компьютерные сети. Э. Таненбаум. Питер 2002.

14. Крюков операционные системы. http://sp. cmc. ***** в разделе информация

15. Принципы искуственного интеллекта. - М.: Радио и связь, 1985.

16. Параллельные вычисления. , Воеводин Вл. В.БХВ.2002.

17. Принципы объектно-ориентированной разработки программ. А. Элиенс. Вильямс.2002.

18.Технологиии передачи данных. Г. Хелд, Питер. 2003.

19. Вендров программного обеспечения экономических информационных систем - М.: Финансы и статистика, 2000.

20. UML. Г.Буч, А.Якобсон, Дж. Рамбо Питер, 2006.

21. Современные компьютерные сети. В. Столингс, Питер, 2003.

22. Операционная система UNIX.2 –е издание. 2005.

23. Операционные системы. Параллельные и распределенные системы. Питер. 2004.

24. Вендров -ориентированный анализ и проектирование программного обеспечения. М. ВМК МГУ,2004.