control1 (файл с темами для подготовки к рк иу4)
Описание файла
PDF-файл из архива "файл с темами для подготовки к рк иу4", который расположен в категории "". Всё это находится в предмете "функциональная логика и теория алгоритмов (флита)" из 3 семестр, которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
1. Логика и ее приложения.2. Понятие множества. Конечные множества. Упорядоченные бесконечные множества.Способы задания множества. Операции над множествами.3. Подмножества. Понятие порядковой статистики, медианы множества. Взвешеннаямедиана. Кортеж (упорядоченное множество). Прямое декартово произведение.Отношение. Соответствие. Функции.4. Нечеткие множества. Операции над нечеткими множествами. Динамическиемножества. Операции в динамических множествах.5. Простейшие структуры данных (стеки, очереди, деки, связанные списки).6. Нелинейные структуры данных.
Дерево. Граф.7. Основные определения теории графов. Граф, ребро, вершина. Мультиграф. Способызадания графа: аналитический, геометрический и матричный. Матрица смежности.Матрица инциденций.8. Операции над графами. Специальные графы. Подграф. Суграф. Маршруты, цепи,циклы. Компонент связности.9. Основные логические функции. Основные тождества булевой алгебры.10.
Понятие функционально полного набора. Нормальные формы булевых функций.11. Реализация булевых функций. Минимизация булевых функций. Карты Карно.12. Формальные системы. Исчисление высказываний.13. Формальные системы. Логика предикатов. Алфавит, синтаксис, семантика.14. Формальные системы. Автоматическое доказательство теорем.1.
Выразить формулами над множествами следующие множества2. Построить множества A X B3. Показать работу операций на очереди и на стеке.4. Объяснить, как можно реализовать очередь на базе двух стеков.5. Показать работу операций на связанном списке.6. Записать матрицу смежности и матрицу инцидентности для заданного графа.
Длязаданного графа приведите пример подграфа, суграфа, маршрута, цепи и цикла.7. Для заданного графа пояснить операции над графами.8. Запишите СДНФ для заданной таблицы истинности.9. Запишите СКНФ для заданной таблицы истинности.10. Для заданного логического выражения построить таблицу истинности и карту Карно.11. Для заданной логической схемы построить таблицу истинности и булеву функцию.12. Для заданного логического выражения записать минимальную дизъюнктивнуюфункцию, используя карты Карно.13.
Представить в исчислении высказываний следующие утверждения.14. Найти таблицы истинности для следующих формул.15. При каких значениях переменных ложны следующие формулы.16. При каких значениях переменных истинны следующие формулы.17. Запишите заданные выражения на языке логики предикатов..