Библиотека интерактивных материалов
- Вид
Глава 3. Основы алгебры логики. Логические элементы компьютера
Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания. Полные системы булевых функций. Базовые логические элементы. Дешифратор. Сумматор двоичных чисел. Триггер. Логические формулы и таблицы истинности. Логические функции. Логические законы и правила преобразования логических выражений. Построение отрицаний к простым высказываниям. Построение отрицаний к сложным высказываниям. Решение логических задач. Совершенная дизъюнктивная нормальная форма. Минимизация представления булевой функции.
13 папок
40 ресурсов
§3.1. Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания
Понятие высказывания и основные операции алгебры логики, которые можно выполнять с высказываниями. Использование основных операций алгебры логики.
3 ресурса
§3.10. Полные системы булевых функций
Полная система булевой функции, методы доказательства полноты системы и примеры полных систем, состоящих из трех, двух и одной функций. Определение полных систем логических функций и доказательства их полноты.
3 ресурса
§3.11. Базовые логические элементы. Дешифратор
Базовые логические элементы (конъюнктора, дизъюнктора и отрицания), определение дешифратора, его устройство и функции.
3 ресурса
§3.12. Сумматор двоичных чисел
Сумматор двоичных чисел, его устройство и основные функции.
3 ресурса
§3.2. Логические формулы и таблицы истинности
Логические формулы и способы представления логических функций с помощью формул и в виде таблиц истинности. Построение по логическим формулам таблицы истинности, выявление тождественных формул, тавтологии.
3 ресурса
§3.3. Логические функции
Понятие логической функции, логические функции от двух переменных. Заполнение таблицы истинности для логических функций, обозначения различных логических функций от двух переменных, преобразования логических формул.
2 ресурса
§3.4. Логические законы и правила преобразования логических выражений
Основные законы алгебры логики и правила преобразования логических формул, три метода доказательства тождественности формул – с помощью логических рассуждений, с помощью тождественных преобразований и с помощью заполнения таблиц истинности. Использование основных законов алгебры логики для тождественных преобразований, доказательство тождественности формул.
3 ресурса
§3.5. Построение отрицаний к простым высказываниям
Методы построения отрицания к простым высказываниям, записанным на русском языке, понятия кванторов (существования и общности) и методы преобразования кванторов при построении отрицаний. Построение отрицания к простым высказываниям.
3 ресурса
§3.6. Построение отрицаний к сложным высказываниям
Методы построения отрицания к сложным высказываниям, записанным на русском языке. Построение отрицания к сложным высказываниям.
3 ресурса
§3.7. Решение логических задач
Методы решения текстовых логических задач. Решение логических задач различными способами и выбор более удобного способа для решения задачи.
3 ресурса
§3.8. Совершенная дизъюнктивная нормальная форма
Нормальная форма функции (дизъюнктивной (ДНФ) и конъюнктивной (КНФ)), определение совершенной ДНФ и КНФ и методы их построения. Распознавание формул по внешнему виду и умение строить их.
3 ресурса
§3.9. Минимизация представления булевой функции
Понятие минимальной ДНФ и методы её построения, то есть алгоритмы минимизации функций. Минимизирование функции путем логических преобразований и с помощью минимизирующих карт.
3 ресурса
ПО ПОДПИСКЕ
Подборка проверочных заданий к главе 3. Контрольная №1
Подборка проверочных заданий к главе 3 на умение строить отрицания к сложным и простым высказываниям, заполнение таблиц истинности, выполнение тождественных преобразований, решение логических задач.
Тест
ПО ПОДПИСКЕ
Подборка проверочных заданий к главе 3. Контрольная №2
Подборка проверочных заданий к главе 3 на умение строить СДНФ и СКНФ, минимизировать ДНФ, определять полноту функций, знание устройства дешифратора, сумматора и триггера.
Тест
-
Атрибуты