|
|
Ведущий раздела: LedWorm
Описание: Вопросы связанные с БД MySQL
Подразделы:
«1»
|
Теория типов и комбинаторная логика | В данной лекции исследуются принципы, математическое основание и выразительные возможности теории типов и типизированной комбинаторной логики – математической формализации, моделирующей типы выражений в языках программирования.
Добавил: MadvEX Дата: 2006-02-28 00:56:11 Количество просмотров: 5694 Рейтинг: 3.00
|
«1»
|
|
|
|
|
|
Каким браузером вы пользуйтесь?
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
|
|
"Одно лишь то, что что-то не делает того, что вы ему запланировали делать,
не означает, что оно бесполезно".
Т. Эдисон
| |
