Библиотека интерактивных материалов

Теоретический материал по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания», в котором вводится понятие высказывания и рассматриваются основные операции алгебры логики, которые можно выполнять с высказываниями.

Теоретический материал по теме «Полные системы булевых функций», в котором вводится определение полной системы булевой функции, рассматриваются методы доказательства полноты системы и приводятся примеры полных систем, состоящих из трех, двух и одной функций.

Теоретический материал по теме «Логические функции», в котором вводится понятие логической функции, рассматриваются логические функции от двух переменных.

Теоретический материал по теме «Логические законы и правила преобразования логических выражений», в котором вводятся основные законы алгебры логики и правила преобразования логических формул, рассматривается три метода доказательства тождественности формул – с помощью логических рассуждений, с помощью тождественных преобразований и с помощью заполнения таблиц истинности.

Подборка практических заданий по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания» на знание логических операций и умение их использовать.

Подборка практических заданий по теме «Полные системы булевых функций» на умение определять полные системы логических функций и доказывать их полноту.

Подборка практических заданий по теме «Логические функции» на умение заполнять таблицы истинности для логических функций, знание обозначений различных логических функций от двух переменных, умение преобразования логических формул.

Подборка практических заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.

Подборка проверочных заданий по теме «Логические законы и правила преобразования логических выражений» на умение использовать основные законы алгебры логики для тождественных преобразований, умение доказывать тождественность формул.

Подборка проверочных заданий по теме «Полные системы булевых функций» на умение определять полные системы логических функций и доказывать их полноту.

Подборка проверочных заданий по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания» на знание логических операций и умение их использовать.