Новосибирский государственный университет

Факультет информационных технологий

ICT SBRAS

А.М.Федотов

Современные проблемы информатики и вычислительной техники

Экзамен 2017 года

На экзамене при помощи датчика случайных чисел будут выбраны по два вопроса из следующего списка:
    CASE средства:
  1. Общая классификация CASE-инструментов в соответствии с фазами процесса разработки ПО.
  2. Инструменты анализа предметной области и требований.
  3. Системы управления запросами/ошибками.
  4. Инструменты проектирования, концепция визуального программирования.
  5. Системы сборки, классификация, основные функции.
  6. Системы развертывания (инсталляторы).
  7. Интегрированные среды разработки (IDE): история развития.
  8. Основные функции современных IDE.
  9. Место IDE в современном процессе разработки ПО.
  10. Системы контроля версий, классификация, основные функции.
  11. Классификация ошибок и других проблем в приложениях.
  12. Классификация методов тестирования, методы автоматизации.
  13. Профилировщики и отладчики, основные функции, проблематика применения
  14. Проблемы верификации ПО:
  15. Понятие корректности программ. Общая схема формальной верификации.
  16. Примеры параллельных и взаимодействующих систем, возможные ошибки.
  17. Метод Флойда: математическая модель программы и требований, задача верификации.
  18. Метод Флойда: доказательство частичной корректности программ.
  19. Метод Флойда: доказательство завершаемости программ.
  20. Метод Хоара: частичная корректность программ, аксиоматическая семантика элементарных конструкций и циклов.
  21. Проверка на модели. Модальные логики спецификаций. Основная проблема проверки на модели.
  22. Структура Крипке. Логическое представление программных систем (пример).
  23. Определение логики LTL, примеры свойств систем, выразимых с помощью формул LTL.
  24. Определение логики CTL, примеры свойств систем, выразимых с помощью формул CTL.
  25. Алгоритм проверки моделей для CTL (формулы (not)f, f1(or)f2, (EX)f, (E)f1(U)f2), сложность и корректность.
  26. Алгоритм проверки моделей для CTL (формула (EG)f), сложность и корректность.
  27. Задача проверки моделей для LTL, доказательство NP-полноты.
  28. Алгоритм Лихтенштейна-Пнуели: критерий выполнимости (лемма 3), достаточность. Сложность и корректность проверки моделей для LTL.
  29. Алгоритм Лихтенштейна-Пнуели: критерий выполнимости (лемма 3), необходимость. Сложность и корректность проверки моделей для LTL
  30. Алгоритм Лихтенштейна-Пнуели: критерий существования последовательности происшествий (лемма 4). Сложность и корректность проверки моделей для LTL.
  31. Относительная выразительная сила CTL и LTL, понятие справедливости.
  32. Информатика:
  33. Определение понятия информация.
  34. Свойства семантической информации.
  35. Информационные революции. История информатики.
  36. Определение понятия документ.
  37. Доцифровая информатика. Документология (Документация).
  38. Кибернетика. Происхождение термина кибернетика.
  39. Определение информатики, как комплексной науки.
  40. Системность. Понятие системы.
  41. Машины энергетические и информационные.
  42. О роли логики и вычислений в становлении информатики.
  43. Первые вычислители. Связь с экономическим развитием общества.
  44. Готфрид Лейбниц и двоичная арифметика.
  45. Аналоговые Вычислительные Машины.
  46. Логарифмы. Логарифмическая линейка.
  47. Интегратор. Дифференциальный анализатор.
  48. Карточное программирование.
  49. Машина Беббиджа. Основные достижения Беббиджа и Лавлейс.
  50. Логическая машина. Поиск истины. Искусственный интеллект.
  51. Тектология. Общая теория систем.
  52. Телеграф.
  53. Что такое статистика. Счетно-перфорационные устройства.
  54. Классификация. Десятичная классификация. Фасетная классификация.
  55. Идеографическая классификация.
  56. Тезаурус.
  57. Архитектура вычислительных машин.
  58. Принципы фон Неймана.
  59. ЭВМ с гибким программным управлением.
  60. Самоорганизация и кибернетика.
  61. Близость информатики и кибернетики.
  62. Мультипрограммирование.
  63. Задачи автоматизации программирования (Программирующие программы).
  64. Операторный метод. Технология крупноблочного программирования.
  65. Что такое компилятор.
  66. Языки программирования (ЯВУ). Классификация.
  67. Парадигмы программирования
  68. Декларативное программирование.
  69. Императивное программирование.
  70. Процедурное программирование.
  71. Объектно-ориентированное программирование.
  72. Аспектно-ориентированное программирование
  73. Программирование структурное
  74. Функциональное программирование
  75. Параллельное программирование
  76. Логическое программирование
  77. Мобильность программного обеспечения.
  78. Характеристика UNIX подобных систем.
  79. Стандарты. Основные организации, занимающиеся стандартизацией.
  80. Эталонные модели технологии открытых систем.
  81. Основные определения технологии открытых систем.
  82. Проблема интеграции разнородных ресурсов. Принципы открытых систем.
  83. Эталонная модель POSIX среды открытых систем.
  84. Технологии открытых систем.
  85. Интероперабельность.
  86. Проблема интеграции разнородных ресурсов.
  87. Определение профиля информационной системы. Классификация профилей.
  88. Место профиля в документации предприятия. Процесс разработки профиля.
  89. Базовые технологии интеграции ресурсов.
  90. Технологии извлечения знаний.

Пройдя по этой ссылке можно получить тестовый билет.


|Головная| |Резюме| |Интересы| |Преподавание| |Публикации|


Федотов Анатолий Михайлович

© 1996-2024, Новосибирский государственный университет
© 1996-2024, Институт вычислительных технологий СО РАН
© 1996-2024, Федотов А.М.

Last modified: Thu, 24 Aug 2017 13:53:44 +0700