Библиотека интерактивных материалов
ПО ПОДПИСКЕ
§2.7. Свойства моделей
Теоретический материал по теме «Свойства моделей», в котором рассматриваются необходимость оценки свойств моделей, выбор языка описания объектов и отношений, такие свойства моделей, как эквивалентность, изоморфизм и гомоморфизм.
Гипертекст с иллюстрациями
ПО ПОДПИСКЕ
§3.1. Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания
Теоретический материал по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания», в котором вводится понятие высказывания и рассматриваются основные операции алгебры логики, которые можно выполнять с высказываниями.
Гипертекст с иллюстрациями
ПО ПОДПИСКЕ
§3.10. Полные системы булевых функций
Теоретический материал по теме «Полные системы булевых функций», в котором вводится определение полной системы булевой функции, рассматриваются методы доказательства полноты системы и приводятся примеры полных систем, состоящих из трех, двух и одной функций.
Гипертекст с иллюстрациями
ПО ПОДПИСКЕ
§3.3. Логические функции
Теоретический материал по теме «Логические функции», в котором вводится понятие логической функции, рассматриваются логические функции от двух переменных.
Гипертекст с иллюстрациями
ПО ПОДПИСКЕ
§3.4. Логические законы и правила преобразования логических выражений
Теоретический материал по теме «Логические законы и правила преобразования логических выражений», в котором вводятся основные законы алгебры логики и правила преобразования логических формул, рассматривается три метода доказательства тождественности формул – с помощью логических рассуждений, с помощью тождественных преобразований и с помощью заполнения таблиц истинности.
Гипертекст с иллюстрациями
ПО ПОДПИСКЕ
Ключевая информация §2.7
Ключевая информация по теме «Свойства моделей», в которой приведены краткие сведения о свойствах эквивалентности и гомоморфизма/изоморфизма.
Гипертекст с иллюстрациями
ПО ПОДПИСКЕ
Подборка практических заданий к §3.1
Подборка практических заданий по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания» на знание логических операций и умение их использовать.
Тест
ПО ПОДПИСКЕ
Подборка практических заданий к §3.10
Подборка практических заданий по теме «Полные системы булевых функций» на умение определять полные системы логических функций и доказывать их полноту.
Тест
ПО ПОДПИСКЕ
Подборка практических заданий к §3.3
Подборка практических заданий по теме «Логические функции» на умение заполнять таблицы истинности для логических функций, знание обозначений различных логических функций от двух переменных, умение преобразования логических формул.
Тест
ПО ПОДПИСКЕ
Подборка практических заданий к §3.4
Подборка практических заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.
Тест
ПО ПОДПИСКЕ
Подборка заданий для самостоятельного решения к §3.4
Подборка проверочных заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.
Тест
ПО ПОДПИСКЕ
Подборка заданий для самостоятельного решения к §3.10
Подборка проверочных заданий по теме «Полные системы булевых функций» на умение определять полные системы логических функций и доказывать их полноту.
Тест
ПО ПОДПИСКЕ
Подборка заданий для самостоятельного решения к §3.1
Подборка проверочных заданий по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания» на знание логических операций и умение их использовать.
Тест
ПО ПОДПИСКЕ
Подборка проверочных заданий к главе 3. Контрольная №1
Подборка проверочных заданий к главе 3 на умение строить отрицания к сложным и простым высказываниям, заполнение таблиц истинности, выполнение тождественных преобразований, решение логических задач.
Тест
ПО ПОДПИСКЕ
Подборка проверочных заданий к главе 3. Контрольная №2
Подборка проверочных заданий к главе 3 на умение строить СДНФ и СКНФ, минимизировать ДНФ, определять полноту функций, знание устройства дешифратора, сумматора и триггера.
Тест