\input{/Styles/begin.sty}

\author{А.П.Бельтюков}

\title{Список вопросов для государственного экзамена \\
по информатике \\
       для студентов специальности <<информационные системы>>\\
      (Математический факультет, Удмуртский университет).\\
Раздел: Информатика}
\date{Дата: 2000.10.02}
\maketitle

Исходный документ: http://ulm.uni.udm.ru/belt/stud-asp/question.htm

\section*{Вопросы}
\begin{description}
\item[1.] Информационные модели предметных областей.
          Языки информационных моделей.
\item[2.] Элементы и устройства ЭВМ
\item[3.] Структура вычислительных систем.
          Типы и компоненты структур вычислительных систем.
\item[4.] Вычислительные сети. Структура вычислительных сетей.
\item[5.] Логические средства передачи данных
\item[6.] Организация и структура информационных ресурсов
\item[7.] Типы операционных систем.
\item[8.] Операционные системы. Процессы, синхронизация, распределение
          времени. Управление памятью и ресурсами.
\item[9.] Типы и назначение языков программирования.
          Структуры доступа и управления.
\item[10.] Функциональные языки.
\item[11.] Структуры данных.
           Машинное представление различных структур данных.
\item[12.] Основы трансляции. Интерпретация и компиляция.
\item[13.] Технология и экономика разработки программного обеспечения.
           Жизненный цикл программ.$^{msh}$
\begin{itemize}
\item Каскадная и спиральная модели жизненного цикла \cite{vam.1997}
\item CASE-модель жизненного цикла \cite{vam.1998, vam.2000}.
\item IDEF-проектирование программного обеспечения (анализ, синтез и 
      моделирование, функционально-стоимостной анализ) \cite{idef.2000}.
\item UML-технология разработки программного обеспечения \cite{fmsk.1999}.
\item Синтезирующее, сборочное и конкретизирующее программирование 
      \cite{eap.1994}.
\end{itemize}
\item[14.] Прикладные программные продукты и системы.
           Пакеты прикладных программ.
\item[15.] СУБД. Основные модели баз данных.
\item[16.] Распределенные базы данных
\item[17.] Теория реляционных баз данных
\item[18.] Модели информационных систем.
           Архитектурные решения информационных систем.$^{msh}$
\begin{itemize}
\item Концептуальная и инструментально-технологическая архитектура.
\item Информационное, функциональное и событийное моделирование.
\item Схема архитектурных решений Полукеева-Коваля \cite{dbsm.1995}.
\item Модель субъектной информационной сети (Маслов) \cite{msh.1999}.
\item Модели открытых систем ( BOC(OSI/ISO), MIC, OSE/RF, MUSIC ) 
      \cite{guv.1995}.  
\end{itemize}
\item[19.] Типология стилей программирования.$^{msh}$
\begin{itemize}
\item Понятие \textit{базовых} стилей программирования (императивный, функциональный,
логический) и \textit{производных} (генетическое, программирование на ограничениях,
нейропрограммирование, объектно-ориентированное программирование, \ldots).
\item Математические основы стилей программирования 
      ($\lambda$-исчисление, комбинаторная логика, \ldots) 
      -- \cite{mvz.1991} -- c.9-21, 119-140; \cite{bwh.1983}.
\end{itemize}
\item[20.] Системный подход в проектировании информационных систем.$^{msh}$
\begin{itemize}
\item Понятие <<системного подхода>>.
\item Схема понятий в системном анализе
\item Оси модельного пространства для анализа информационных систем
      (коммуникации, интерфейсная, информационно-технологическая,
структуризации и декомпозиции, формализации, ресурсная, управления и
оптимизации, слои знаний) \cite{msh.2001}.
\item Этапы анализа систем (функционирования, построения, развития,
интеграции)
\end{itemize}
\item[21.] Структура качества информационных систем.$^{msh}$
\begin{itemize}
\item Дом качества
\item Основные характеристики качества программного обеспечения
      (понимаемость (информативность, осмысленность, структурированность,
       сложность, модульность), надежность (корректность, устойчивочть),
       сопровождаемость (изменчивость, тестируемость, переносимость,
       распараллеливаемость), эффективность (оптимизированность))
       \cite{saa.1991}.
\item Уровни \cite{fap.2000}
\item Стандарты и профили \cite{guv.1995}
\end{itemize}
\item[22.] Принципы защиты информации
\item[23.] Криптография, стеганография, принципы шифрования данных
\item[24.] Понятие канала передачи данных и кодирование информации
\item[25.] Реинжиниринг бизнес-процессов \cite{pev.1997}.$^{msh}$
%\begin{itemize}
%\item 
%\end{itemize}
\item[26.] Технология разработки web-страниц
\item[27.] Основные мировые стандарты и средства стандартизации
\item[28.] Логика высказываний.
\item[29.] Логика предикатов первого порядка.
\item[30.] Формальные системы логического вывода.
\item[31.] Машины с адресным доступом к памяти.
\item[32.] Сложностные характеристики вычислений.
\item[33.] Универсальные алгоритмы.
\item[34.] Алгоритмическая неразрешимость.
\item[35.] Перечислимые и разрешимые множества.
\item[36.] Сложностная классификация задач.
\item[37.] Доказуемо трудные и полные переборные задачи.
\end{description}
\begin{thebibliography}{99}
\input{/Library/mvz.1991}
\input{/Library/bwh.1983}
\input{/Library/msh.1999}
\input{/Library/msh.2001}
\input{/Library/pev.1997}
\input{/Library/guv.1995}
\input{/Library/vam.1997}
\input{/Library/vam.1998}
\input{/Library/vam.2000}
\input{/Library/eap.1994}
\input{/Library/fmsk.1999}
\input{/Library/idef.2000}
\input{/Library/fap.2000}
\bibitem{dbsm.1995}
СУБД \No 4, 1995, c.81-85
\end{thebibliography}
\input{/Styles/end.sty}