 
        
        ГОСЫ / Вопросы к госэкзамену Васильев В
.docxВопросы к госэкзамену. Васильев В.В.
- 
1Вычислительные методы решения задач на ЭВМ. Приближения функций. Интерполяция и Метод наименьших квадратов. 
- 
. Моделирование как процесс познания. Математическая модель, понятие вычислительного эксперимента и его структура. 
- 
. Понятие системы. Математическое определение системы. Классификация систем. 
- 
Нормальный алгоритм Маркова. 
- 
. Машина Тьюринга. 
- 
. Уровни моделирования. Общая характеристика и особенности. Моделирование на микроуровне. Обобщенная модель и моделирование тепловых систем (краевая задача для уравнения теплопроводности) 
- 
Уровни моделирования. Моделирование на макроуровне. Типичная общая модель и моделирование электрических систем. 
- 
Численное решение задачи Коши для обыкновенных дифференциальных уравнений. Метод Эйлера. Одношаговые и многошаговые методы. 
- 
Понятие алгоритма. Интуитивное понятие алгоритма. 
- 
Интеграция систем автоматизации проектирования и управления(CAD – CAM – CAPP – системы). 
- 
. Синтаксический разбор. Классификация методов синтаксического разбора. 
- 
Проектные процедуры в САПР. 
- 
Обеспечивающие системы САПР. 
- 
Рекурсивные функции. Лямбда- исчисление Черча. 
- 
Основные понятия, определения и назначение САПР. 
- 
Сети Петри. Моделирование процессов на основе сетей Петри. 
- 
Конечные автоматы, автомат со стековой памятью (магазин). 
- 
. Формальные языки и грамматики. Классификация грамматик по Хомскому. 
- 
Предваренная, скулемовская и клазуальная формы. Логическое следование. Унификация. Алгоритм унификации. Исчисление метода резолюций. 
- 
. Концепции информационного моделирования. Создание моделей на языке UML. 
- 
. Сети Петри. Моделирование процессов на основе сетей Петри. 
- 
Трансляторы, компиляторы и интерпретаторы: определение, общая схема работы. Варианты взаимодействия блоков транслятора. 
- 
Графы. Основные определения. Машинное представление графов в последовательной памяти и связанной памяти. 
- 
Численное решение задачи Коши для обыкновенных дифференциальных уравнений. Метод Эйлера. Одношаговые и многошаговые методы. 
- 
Парадигмы программирования. Декларативное и императивное программирование. 
- 
Исчисление предикатов первого порядка. 
- 
Искусственный нейрон и его принцип работы. Нейронные сети. 
