gosy_voprosy / вопрос_84
.docxМОДЕЛИ ИНФОРМАЦИОННЫХ ПРОЦЕССОВ Модели дискретных объектов и явлений реального и виртуального (компьютерного) миров. Информация. Количественные меры информации. Информационные объекты. Объектно-ориентированный анализ. Открытые системы. Структура и закономерности протекания информационных процессов. Измерение как первичный информационный процесс, его характеристики. Модели процессов передачи, обработки и хранения информации. Формальные языки и грамматики. Алгебраическая теория языков. Синтаксический и семантический анализ. Формальные логические системы. Автоматическое доказательство теорем. Логические системы на основе классической и неклассических логик. Сложность вычислений и описаний. Спецификация вычислений. Алгоритмическая теория сложности по Колмогорову. Семантика и логика программ. Спецификация, верификация, доказательство свойств программ. Семантика языков программирования. Теория структур данных. Элементы криптографии. Динамика поведения вычислительных структур и дискретных систем. Взаимосвязь теорий переключательных схем, конечных автоматов, формальных грамматик и языков, теории параллельных процессов и программирования. Асинхронные клеточные автоматы. Элементы теории волновых процессов. Нейронные сети. Системы и сети массового обслуживания. Теория массового обслуживания применительно к анализу коммуникационных систем общего вида. Правовые и экономические вопросы информатики