|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Aleksey Cheusov 2:5020/400 29 Nov 2004 16:04:25
To : Vitaly Lugovsky
Subject : Re:
--------------------------------------------------------------------------------
>> VL> Вероятно, ты всё же совсем не то за Computer Science держишь.
>> VL> Попробуй перечислить темы - а я лишнее повыкидываю.
>> Hе, не надо ничего вычеркивать, лучше ты перечисли. Мне интересно.
VL> Вся дискретная математика (в особенности - теория множеств,
VL> теории типов,
^^^^^^^^^^^^ - расшифруй.
VL> мат. логика, теория графов,
VL> денотационные семантики,
^^^^^^^^^^^^^^^^^^^^^^^ - Есть что-то хорошее в бумажном виде?
VL> лямбда-исчисление,
^^^^^^^^^^^^^^^^^ Здесь есть что-то бОльшее, чем Харрисон и Гордон?
VL> теория вычислимости).
Тут я бы добаил теорию формальных языков, конечные пулеметы (как целый
класс пулеметов, а не только те, что в классификации грамматик Хомского),
математическое программирование, в том числе линейное.
И я настаиваю, что ВСЕ ЭТО В ОБЯЗАТЕЛЬHОМ ПОРЯДКЕ. И то и другое
и третье мне в моей работе пригождалось, и не раз.
Плюс Исследование операций
и Методы оптимизации (узнаешь ли ты что это по названию не уверен, но
мне все это поливалось именно под этим соусом).
Тут всякие задачи на потоки и прочее.
Это мне правда не
пригодилось, но теоретичски очень могло, да и вообще полезно, чтобы
свести твою задачу к какой-то известной области, чтобы знать, где читать.
VL> Все основные
VL> группы моделей вычислений (и, соответственно, языков
VL> программирования - ленивые и
VL> агрессивные функциональные,
^^^^^^^^^^^^^^^^^^^^^^^^^^
Урлы давай. Дорогие читатели ждут от Тебя чего-то неординарного
и полезительного ;)
VL> логика
VL> первого порядка, императивные).
VL> Пи-исчисление и все его
VL> прикладные применения - сейчас без этого ни в борщ, ни в Красную
VL> Армию...
Ткнешь пальцем или прямо так вот в гугле и набирать?
VL> Hекий минимальный набор готовых решений - методики
VL> интерпретации, компиляции, оптимизации, основные структуры данных
VL> и алгоритмы для работы с ними.
Ты как-то все в кучу сбил. Тут же много разного всякого.
Теорию алгоритмов надо как минимум как цельный раздел давать.
VL> Вся прикладуха на это дело намазывается то-оненьким слоем - с
VL> такой базой потребуется не более нескольких дней на доскональное
VL> изучение ЛЮБОГО языка программирования, любой технологии (всякие
VL> там сервара приложений, каждый со своей хитрожопой компонентной
VL> моделью, хитрые протоколы, и т.п.).
Ты почему-то совершенно игнорируешь ЧМетоды - совершенно неотъемлемая
часть CS, а она тянет за собой Матан, УМФ, ДифУры и др. Может, оно и лишнее,
но без этого к ЧМетодам не подобраться, а они точно нужны.
Компьютерную лингвистику я бы давал обязательно.
Hе столько ради ее самой, сколько как дисциплину демонстирующую,
насколько элегантно и красиво все вышеперечисленное увязывается
друг с другом и вместе работает. Ты еще забыл про некотрое количество
околожелезячных проблем вроде физоснов ЭВМ от низов до верхов.
Помогает понять многое. Плюс опять же для увязки с вышеперечисленным.
Ты упустил некотрое количество дисциплин связанным с моделированием.
Слабо построить модель ёпен сорса и доказать мне тупому, что
упираяюсь в бесконечность мы не придем к одной реализации
для ВСЕГО более менее крупного. А то я одним местом чую, что
с вашим _исключительно_ эволюционным подходом
все более менее нетривиальное в конце не сольется в одно,
и не начнет вырождаться по всем генетическим законам.
Пропустил сети Петри, полезительные для очень многих сетевых вещей.
Пропустил основы дизайна (гуманитарщина), которая исключительно полезна
сам знаешь почему ;)
Пропустил вопросы проектирования, тоже гуманитарщина, но ведь нужна.
Да и много другого пропустил ;)
--
Best regards, Aleksey Cheusov.
--- ifmail v.2.15dev5.3
* Origin: Demos online service (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
