Въведени в 09 ч. на 17.05.2023
Въведени в 18 ч. на 15.05.2023
Теория доказательств; Логические исчисления и формализация арифметики
Проектирование устройств на базе аналоговы функциональных модулей и интегральных схем
Программное обеспечение модульных ИВС