где применяются знания из области математической логики?

Answer 1

на физическом уровне транзисторы работают по логическим схемам
компьютеры програмируються на низком уровне
в системе команд процессора явно присутсвуют логические команды
OR
XOR
NOT
AND
и другие

Answer 2

А матлогику преподают не для практического (за редким исключением) применения, это не столярное дело. Математическая логика преподается для развития у студента логического и абстрактного мышления, без которых современного специалиста трудно представить.