2024-весна: Логика высказываний и булевы алгебры

Цель освоения курса - формирование систематизированных знаний в области булевой алгебры и математической логики как о теоретическом фундаменте современной вычислительной техники, формирование умений применять полученные знания в сфере своей профессиональной деятельности. 

Содержание: Введение. История предмета и его практическая ценность. Основные понятия теории множеств. Булева алгебра. Математическая логика. Расширение семантики традиционной логики. Основы нечеткой логики. Иная контактная работа. Контроль.