Два формализма

[ulysses4ever]

Те, кто более-менее знают меня, в курсе, что я страшный формалист. Хуже того: формалист, гордый этим своим качеством. Все просто: я утверждаю, что абсолютно большая часть недопониманий (у меня и других), с которыми я встречался в учебе и не только, были вызваны недостаточными или даже неверными формализмами.

Comments

[bravit]

Скажу честно, я совершенно не понял формального изложения, приведенного Вами. Наверное, это связано с особенностями понимания - для меня пример важнее, чем формальное описание. По крайней мере, в первый раз.

В описании алгоритма псевдокод какой-то неконсистентный и из-за этого непонятный. А еще нет выравнивания и отступов!

Второй пункт определения пространства имен сильно перегружен: я не представляю, как можно его понять, особенно в условиях лекции.

[ulysses4ever]

Ну, тут, действительно, пример очень нужен, кто ж спорит -- но это не повод давать алгоритмы кое-как (особенно, если потом их захочется реализовать). Вы сравните с Ахо.

А еще нет выравнивания и отступов!
Конечно, нет, потому что я про них не знаю. Вот взяли бы и написали бы маленький пример того, как надо подправить.

Второй пункт определения пространства имен сильно перегружен: я не представляю, как можно его понять, особенно в условиях лекции.
Я видал и похлеще определения на лекциях -- и ничего страшного. На Вашей лекции я тоже такого определения не представляю. Я вообще мало помню определений на Ваших лекциях (из разных курсов), зато примеров из жизни (про порядок букв в UTC и рыбалку -- из последнего) -- более, чем достаточно.

[bravit]

Вы сравните с Ахо.
Сравнил. Язык Ахо ближе к человеческому.

Вот взяли бы и написали бы маленький пример того, как надо подправить.
Не, я не смогу. Я последний раз в TeX'е диплом писал, это было очень давно.

Я вообще мало помню определений на Ваших лекциях
Да, во всех моих курсах два определения - для защищенного ПО и для бреши в защите.

[ulysses4ever]

Над псевдокодом долго не думал, это правда: надеялся, что будет понятно -- от псевдокода алгоритмического языка всего то и требуется if-then-else, for, goto.

[ulysses4ever]

Я ничего удалять не буду, конечно. Спасибо, что продемонстрировали процесс осмысления в терминах теории категорий. Я сейчас немного занят, чуть попозже обязательно постараюсь разобраться с тем, что Вы написали. Дело в том, что я знаком с этой теорией на уровне общей идеи и нескольких определений, так что мне придется немного напрячься. Но я постараюсь.

re:

[anonymous]

хорошее начало