Поддерживаю - кафедрой матобеспечения ЭВМ ЛГУ (ныне - "информатики") заведует большой любитель ТРИЗа Косовский. Он по специальности "как бы логик" (хотя мне никаких сведений о его достижениях не попадалось - впрочем может я просто не в курсе) и долго болтался на матмехе не у дел. Потом вот пристроили на МО ЭВМ.

Так он отличился тем, что ТРИЗ этот он вел и пропихивал (не знаю как сейчас), а озаботиться нормальным курсом логики (то есть своей специальности) хотя бы в минимальном, обязательном для компутерных наук (которыми он заведует) объеме, он не снизошел. Так что логика в ЛГУ ограничивается односеместровым ликбезом для всего факультета "галопом по европам". Урод.