|
|
Ведущий раздела: MadvEX
Описание: Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. (Источник: www.intuit.ru Авторы: Зыков Сергей Викторович )
|
Категориальная абстрактная машина |
В лекции предлагается вариант формальной системы комбинаторной логики, а также систематизируется технология построения категориальной абстрактной машины как формализации языков программирования.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 2007 Рейтинг: 3.00
|
|
Оптимизация вычислений и абстрактные машины |
В лекции рассматриваются возможные направления и ключевые стратегии повышения вычислительной производительности программных систем. Значительное внимание уделяется моделированию этих направлений и стратегий путем внесения "конструктивных изменений" в инструкции и среду вычислений абстрактных машин, в частности, КАМ.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 2062 Рейтинг: 3.00
|
|
|
|
|
|
|
Каким браузером вы пользуйтесь?
MS Internet Explorer | | 22% (66) | Mozilla | | 3% (8) | Mozilla Firefox | | 26% (77) | Opera | | 43% (130) | Konqueror | | 1% (3) | Netscape | | 0% (0) | Lynx | | 0% (0) | Galeon | | 0% (0) | Другим | | 5% (15) |
Проголосовало: 299
|
|
Иисyс изменил твою жизнь. Сохранить? (Да/Нет)
|
|
