Библиотека интерактивных материалов
ПО ПОДПИСКЕ
§3.1. Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания
Теоретический материал по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания», в котором вводится понятие высказывания и рассматриваются основные операции алгебры логики, которые можно выполнять с высказываниями.
Гипертекст с иллюстрациями
Атрибуты
ПО ПОДПИСКЕ
§3.3. Логические функции
Теоретический материал по теме «Логические функции», в котором вводится понятие логической функции, рассматриваются логические функции от двух переменных.
Гипертекст с иллюстрациями
Атрибуты
ПО ПОДПИСКЕ
§3.4. Логические законы и правила преобразования логических выражений
Теоретический материал по теме «Логические законы и правила преобразования логических выражений», в котором вводятся основные законы алгебры логики и правила преобразования логических формул, рассматривается три метода доказательства тождественности формул – с помощью логических рассуждений, с помощью тождественных преобразований и с помощью заполнения таблиц истинности.
Гипертекст с иллюстрациями
Атрибуты
ПО ПОДПИСКЕ
Подборка практических заданий к §3.1
Подборка практических заданий по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания» на знание логических операций и умение их использовать.
Тест
Атрибуты
ПО ПОДПИСКЕ
Подборка практических заданий к §3.3
Подборка практических заданий по теме «Логические функции» на умение заполнять таблицы истинности для логических функций, знание обозначений различных логических функций от двух переменных, умение преобразования логических формул.
Тест
Атрибуты
ПО ПОДПИСКЕ
Подборка практических заданий к §3.4
Подборка практических заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.
Тест
Атрибуты
ПО ПОДПИСКЕ
Подборка заданий для самостоятельного решения к §3.4
Подборка проверочных заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.
Тест
Атрибуты
ПО ПОДПИСКЕ
Подборка заданий для самостоятельного решения к §3.2
Подборка проверочных заданий по теме «Логические формулы и таблицы истинности» на умение строить по логическим формулам таблицы истинности, выявлять тождественные формулы, тавтологии.
Тест
Атрибуты
