134 читали · 1 год назад
Основы математической логики. Булева алгебра и логическая переменная
Математическая логика является неотъемлемой частью фундаментальных исследований в области формальных наук, обеспечивая строгий методологический подход к анализу истинностных значений утверждений. В этом обзоре мы углубимся в теорию булевых функций и логических переменных, рассмотрим их формализацию и применение в различных областях, от теоретического аспекта до практического применения в алгоритмах и вычислительных системах. Булевы функции. Определение, классификация Булева функция - это фундаментальный...
100 читали · 1 год назад
Материалы по дисциплине "Дискретная математика", часть 1
В этом материале представлены ссылки на лекции и варианты практических занятий для изучения дисциплины "Дискретная математика". Вторая часть материалов по дисциплине "Дискретная математика" расположена по ссылке: 1.1. Тема «Основные логические операции. Формулы логики. Дизъюнктивная и конъюнктивная нормальные формы». Обучающийся должен · знать: понятие пропозиционального высказывания, примеры пропозициональных высказываний; понятия унарной и бинарной логических связок, перечень базовых логических...