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

[ulysses4ever]

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

Comments

[bravit]

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

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

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

[ulysses4ever]

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

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

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

[bravit]

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

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

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

[ulysses4ever]

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

[va_sav]

Для алгоритмов есть специальные пакеты: algorithms, algorrithm2e, algorithmicx. Документация - в комплекте. Интерфейс практически одинаков, отличаются настраиваемостью и всяким мелочами. Так что пробуйте и выбирайте "за смаком" (как говорят в сопредельном государстве). В результате получается что-то вроде алгоритмов у Ахо (или у Кнута), но можно понастраивать. Есть ещё несколько пакетов с построением диаграмм для вводимого алгоритма - но это уже сильно на либителя.

[ulysses4ever]

Спасибо большое, про пакеты я запомню. К сожалению, по мере того как мое математическое будущее становится все более призрачным, актуальнось TeXа для меня все сильнее падает.