|
|
Ведущий раздела: LedWorm
Описание: Вопросы связанные с БД MySQL
Подразделы:
«1»
|
Теория типов и комбинаторная логика | В данной лекции исследуются принципы, математическое основание и выразительные возможности теории типов и типизированной комбинаторной логики – математической формализации, моделирующей типы выражений в языках программирования.
Добавил: MadvEX Дата: 2006-02-28 00:56:11 Количество просмотров: 5841 Рейтинг: 3.00
|
«1»
|
|
|
|
|
|
Какой поисковик лучше?
Yandex | | 41% (63) | Rambler | | 10% (15) | Google | | 42% (65) | Yahoo! | | 1% (1) | MSN | | 0% (0) | Mail.ru | | 2% (3) | Aport | | 1% (1) | AltaVista | | 1% (2) | Другой | | 2% (3) |
Проголосовало: 153
|
|
Вчера, 11 ноября, Майкрософт подал в суд на фирму Бандай, производителя томагучи (электронные домашние животные, от которых детишки всего мира сдвинулись умом). Суть обвинения в том, что программное обеспечение томагучи - плагиат майкрософтоского. Адвокат Майкрософта Эрик Лоргард заявил:
- Томагучи требуют постоянного, практически ежечасового ухода, иначе они гибнут. Впервые это было реализовано в Windows.
| |
