|
|
Ведущий раздела: MadvEX
Описание: Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. (Источник: www.intuit.ru Авторы: Зыков Сергей Викторович )
|
Классификация языков программирования | В лекции исследуются вопросы истории и эволюции языков и подходов к программированию, анализируются их достоинства и недостатки, строится классификация языков и подходов к программированию.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 7168 Рейтинг: 3.33
|
|
Концепция и возможности подхода .NET | В лекции рассматриваются вопросы, относящиеся к идеологии, технологии и обзору практических возможностей создания программных систем на основе наиболее современного подхода к проектированию и реализации программного обеспечения, известного под названием Microsoft .NET.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 2729 Рейтинг: 5.00
|
|
Функциональный подход к программированию | В лекции обсуждаются вопросы, касающиеся истории развития, идеологии, математического обоснования и возможностей программных систем на основе функционального подхода к проектированию и реализации программного обеспечения.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 3687 Рейтинг: 4.00
|
|
Комбинаторная логика как формальная система | В лекции обсуждаются вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей комбинаторной логики - математической формализации, моделирующей языки функционального программирования и абстрактные вычислительные машины.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 2891 Рейтинг: 5.00
|
|
Теория типов и комбинаторная логика | В данной лекции исследуются принципы, математическое основание и выразительные возможности теории типов и типизированной комбинаторной логики – математической формализации, моделирующей типы выражений в языках программирования.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 2664 Рейтинг: 5.00
|
|
Синтаксис языков программирования |
В лекции рассматриваются вопросы, относящиеся к понятийному аппарату, истории развития и выразительным возможностям синтаксического представления формальных теорий и языков программирования.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 3410 Рейтинг: 2.00
|
|
Семантика языков программирования |
В лекции излагаются основополагающие принципы, история развития, существующие подходы и выразительные возможности семантического представления формальных теорий и языков программирования.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 3844 Рейтинг: 1.00
|
|
Рекурсивные функции и множества |
В лекции исследуется рекурсивное представление функций и множеств в формальных теориях и языках программирования. Рассматриваются вопросы, относящиеся к понятийному аппарату и возможностям рекурсивных вычислений.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 4353 Рейтинг: 2.75
|
|
Абстрактные машины и категориальная комбинаторная логика |
В лекции излагаются основные концепции абстрактных вычислительных машин. При этом обсуждается история развития последних, анализируются существующие подходы к их реализации.
Добавил: MadvEX Дата: 2006-02-28 01:10:49 Количество просмотров: 2886 Рейтинг: 3.00
|
|
|
|
|
|
|
Какую P2P-сеть предпочитаете?
Kazaa | | 6% (7) | Shareaza | | 2% (3) | Ml'Donkey | | 9% (11) | BitTorrent | | 21% (27) | Другой | | 8% (10) | А что такое P2P? | | 21% (27) | Ничем не пользуюсь | | 28% (35) | Ненавижу P2P!!! | | 6% (7) |
Проголосовало: 127
|
|
В 3 часа ночи она тихо прокралась в соседнюю комнату. Разбила 17 дюймовый монитор, дискеты залила клеем, системный блок выбросила в окно 12 этажа, принтер утопила в ванне. Потом она вернулась в теплую пастель и прижалась к плечу нечего неподозревающего спящего мужа. Жить ей осталось не больше 3 часов.
|
|
