Изучение основ математической логики, включая логику высказываний, таблицы истиности и логические операции