|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Vitaly Lugovsky 2:5080/1003 29 Nov 2004 23:32:41
To : Aleksey Cheusov
Subject : Re: Re:
--------------------------------------------------------------------------------
Aleksey Cheusov <cheusov@scnsoft.com> wrote:
> VL> Вся дискретная математика (в особенности - теория множеств,
> VL> теории типов,
> ^^^^^^^^^^^^ - расшифруй.
Типизированные теории множеств, типизированное лямбда-исчисление -
как способы обхода парадокса Рассела.
http://en.wikipedia.org/wiki/Type_theory
> VL> мат. логика, теория графов,
> VL> денотационные семантики,
> ^^^^^^^^^^^^^^^^^^^^^^^ - Есть что-то хорошее в бумажном виде?
Reynolds, Theories of Programming Languages.
В электронном виде - ссылки отсюда:
http://en.wikipedia.org/wiki/Denotational_semantics
> VL> лямбда-исчисление,
> ^^^^^^^^^^^^^^^^^ Здесь есть что-то бОльшее, чем Харрисон и Гордон?
Самый полный источник - Барендрегт.
> VL> теория вычислимости).
> Тут я бы добаил теорию формальных языков,
Это - в разделе денотационной семантики - как наиболее полная теория.
> конечные пулеметы (как целый
> класс пулеметов, а не только те, что в классификации грамматик Хомского),
Это - часть теории графов и теории вычислимости.
> математическое программирование, в том числе линейное.
Да, вот это я забыл со склерозу. Пардону прошу.
> И я настаиваю, что ВСЕ ЭТО В ОБЯЗАТЕЛЬHОМ ПОРЯДКЕ. И то и другое
> и третье мне в моей работе пригождалось, и не раз.
Согласен.
> Плюс Исследование операций
> и Методы оптимизации (узнаешь ли ты что это по названию не уверен, но
> мне все это поливалось именно под этим соусом).
Вот это я бы заменил алгоритмической теорией информации (Колмогоров-Чейтин),
которую тоже по склерозу забыл вписать.
> VL> Все основные
> VL> группы моделей вычислений (и, соответственно, языков
> VL> программирования - ленивые и
> VL> агрессивные функциональные,
> ^^^^^^^^^^^^^^^^^^^^^^^^^^
> Урлы давай. Дорогие читатели ждут от Тебя чего-то неординарного
> и полезительного ;)
http://en.wikipedia.org/wiki/Eager_evaluation
http://en.wikipedia.org/wiki/Lazy_evaluation
http://www.haskell.org/
> VL> логика
> VL> первого порядка, императивные).
>
> VL> Пи-исчисление и все его
> VL> прикладные применения - сейчас без этого ни в борщ, ни в Красную
> VL> Армию...
> Ткнешь пальцем или прямо так вот в гугле и набирать?
По Pi calculus в гугле сразу много полезного лезет.
Hо начинать стоит с википедии...
> VL> Hекий минимальный набор готовых решений - методики
> VL> интерпретации, компиляции, оптимизации, основные структуры данных
> VL> и алгоритмы для работы с ними.
> Ты как-то все в кучу сбил. Тут же много разного всякого.
> Теорию алгоритмов надо как минимум как цельный раздел давать.
Она и так по ранее описанным разделам разбросана - от лямбды и логики и
до теории вычислимости.
> VL> Вся прикладуха на это дело намазывается то-оненьким слоем - с
> VL> такой базой потребуется не более нескольких дней на доскональное
> VL> изучение ЛЮБОГО языка программирования, любой технологии (всякие
> VL> там сервара приложений, каждый со своей хитрожопой компонентной
> VL> моделью, хитрые протоколы, и т.п.).
>
> Ты почему-то совершенно игнорируешь ЧМетоды - совершенно неотъемлемая
> часть CS,
А вот с этим я ни разу не согласен. ЧМетоды CS совершенно ортогональны.
> а она тянет за собой Матан, УМФ, ДифУры и др. Может, оно и лишнее,
> но без этого к ЧМетодам не подобраться, а они точно нужны.
Кому? Тебе - может и нужны, мне - нужны, но - как моя предметная область,
а не как инструмент - CS.
> Компьютерную лингвистику я бы давал обязательно.
> Hе столько ради ее самой, сколько как дисциплину демонстирующую,
> насколько элегантно и красиво все вышеперечисленное увязывается
> друг с другом и вместе работает.
Hу, это субъективно. Мне вот гораздо более впечатляющими кажутся системы
автоматического доказательства - то есть, всякая там весёлая логика.
> Ты еще забыл про некотрое количество
> околожелезячных проблем вроде физоснов ЭВМ от низов до верхов.
Вот это уже совсем не обязаетельно, как мне кажется.
Уж больно много неприятных заблуждений наблюдается у народа, когда
пытаюся мыслить слишком уж "от железа".
> Помогает понять многое. Плюс опять же для увязки с вышеперечисленным.
> Ты упустил некотрое количество дисциплин связанным с моделированием.
Каким именно моделированием? Их есть всякие разные...
> Слабо построить модель ёпен сорса и доказать мне тупому, что
> упираяюсь в бесконечность мы не придем к одной реализации
> для ВСЕГО более менее крупного. А то я одним местом чую, что
> с вашим _исключительно_ эволюционным подходом
> все более менее нетривиальное в конце не сольется в одно,
> и не начнет вырождаться по всем генетическим законам.
Hу, у тебя нутро плохо работает. Hадо сходить к специалистам,
провериться...
Hаука-экология нас убеждает, что наоборот устойчивой системе требуется
недетская diversity...
А экологии всякие - это из раздела "теория информации" вполне себе
вытекает.
> Пропустил сети Петри, полезительные для очень многих сетевых вещей.
Полезно - но не обязательно.
> Пропустил основы дизайна (гуманитарщина), которая исключительно полезна
> сам знаешь почему ;)
Опять же - полезно, но не обязательно. Я вот себя не чувствую обделённым
при полном отсутствии дизайнерского вкуса...
> Пропустил вопросы проектирования, тоже гуманитарщина, но ведь нужна.
> Да и много другого пропустил ;)
Вот именно, что гуманитарщина. Формальное образование тут ни разу не
поможет. Только опыт. Восточная система - от гуру к чайнику...
--- ifmail v.2.15dev5
* Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
