Без заголовка

Я обсуждал с А.Г.Кушниренко конкретно содержание вот этой книжки, как второй половины курса (опираясь на известное изречение "программа = алгоритм + данные", и сделав заявление, что структуры данных не менее кучерявы и с ними связано не меньше теории, чем с алгоритмами): http://ailev.livejournal.com/938647.html Когда я говорю о "другой семантике", то отстраиваюсь от всяких "денотационных семантик" из алгоритмики, и имею ввиду понимание, близкое к "семантическому вебу" (который не люблю -- но из песни слов не выкинешь), лингвистике, семиотике. Кстати, "формальная прагматика" тоже вполне бывает с логикой, т.е. формулами (можете глянуть в Гугле formal pragmatics).