|
ru.linux- RU.LINUX --------------------------------------------------------------------- From : Ruslan Kosolapov 2:5020/400 28 Nov 2004 23:25:08 To : Vitaly Lugovsky Subject : Re: -------------------------------------------------------------------------------- ==[ Vitaly -> Aleksey: >> VL> Вероятно, ты всё же совсем не то за Computer Science держишь. >> VL> Попробуй перечислить темы - а я лишнее повыкидываю. >> Hе, не надо ничего вычеркивать, лучше ты перечисли. Мне интересно. VL> Вся дискретная математика (в особенности - теория множеств, теории VL> типов, мат. логика, теория графов, денотационные семантики, VL> лямбда-исчисление, теория вычислимости). Все основные группы VL> моделей вычислений (и, соответственно, языков программирования - VL> ленивые и агрессивные функциональные, логика первого порядка, VL> императивные). Хм. Ты считаешь, что это - мало? VL> Пи-исчисление и все его прикладные применения - сейчас без этого ни VL> в борщ, ни в Красную Армию... Что это такое и где про это можно почитать (если можно, то лучше url)? -- =[ Hе волнуйся, если что-то работает не так. =[ Если бы всё работало как надо, ты сидел бы без работы. --- ifmail v.2.15dev5.3 * Origin: SWSoft Novosibirsk, QA Department Second Manager (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.linux/11997ad545659.html, оценка из 5, голосов 10
|