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