Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65429
ТЕХНОЛОГИИ ДОСТ... 62362
Имитационное мо... 58012
Реклама
Сейчас на сайте
Гостей: 3
На сайте нет зарегистрированных пользователей

Пользователей: 13,089
новичок: duskob67
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

Лабораторная работа по динамическим спискам на Turbo Pascal (перемещение...
Моделирование работы аэропорта на GPSS + Пояснительная записка
Компьютерный магазин на Turbo Pascal (База данных) + Пояснительная записка

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
Произведение и проекции
Теоретические сведения. Задача погружения объектов одной теории в дру-
гую возникает при рассмотрении содержательно заданных отображений,
когда требуется осуществить их трансляцию в аппликативный (функци-
ональный) язык.

При выполнении настоящей работы требуется небольшой запас опреде-
лений: K = λxy.x, I = λx.x, [x, y] = λr.rxy (упорядоченная пара).
Формулировка задачи. Получить терм λ-исчисления, соответствую-
щий декартову произведению n-объектов. Дополнительно устано-
вить n термов, которые ведут себя как проекции. (Указание: для слу-
чая n = 2 получаем
Произведение и проекции
Действительно, непосредственной проверкой можно убедиться, что
((A0 ×A1)×A2)[[x0, x1], x2] = [[A0(x0), A1(x1)], A2(x2)].



Для установления соответствующих проекций сформулируем сле-
дующее утверждение (весьма простое) и выполним его проверку.
Утверждение.

Проверка.


Перейдем теперь к обобщению произведения.
Обобщение. По индукции можно доказать, что:


Выполнить доказательство самостоятельно.
Указание к доказательству обобщения. Частные случаи:


Частные случаи проекций декартова произведения в преобразован-
ном виде:


Неформальное обсуждение решенной задачи сводится к следующим
соображениям. Упорядоченныеn-ки широко распространены, в част-
ности, из них конструируются отношения реляционной базы данных.
Напомним, что язык манипулирования данными реляционных си-
стем управления базами данных рассматривает совокупности n-ок в
виде самостоятельных объектов, называемых отношениями. Часто
использумый запрос к базе данных состоит в усечении имеющихся
отношений и может быть сведен к операциям проекции. Для выпол-
нения этих операций нужен уже реализованный язык запросов.
В данном случае в качестве системы программирования исполь-
зуется АВС. Более точное рассуждение предполагает оговорки, что в
качестве системы-оболочки используется оболочка Каруби (см. раз-
дел 13). В рамках этой оболочки построены объекты-произведения и
объекты-проекции. В свою очередь они состоят из объектов-комби-
наторов. Программирование выполнено полностью в терминах объ-
ектов.
Опубликовал Kest April 23 2014 02:35:31 · 0 Комментариев · 2133 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Flud Vkontakte.ru
Размещение элемен...
Сапёр
AntiRus
Borland Delphi 8 ...
Comdrv
EditButton
PHP: настольная к...
Delphi на примерах
Matrix2D
AddPage [Исходник...
API (Применение A...
Работа с матрицами
Delphi 2005. Разр...
SMExport
isoCanvas (Редакт...
Rss Parser
Создание фракталов
CABfiles
CLR via C#

Топ загрузок
Приложение Клие... 100472
Delphi 7 Enterp... 87488
Converter AMR<-... 20081
GPSS World Stud... 13094
Borland C++Buil... 11939
Borland Delphi ... 8633
Turbo Pascal fo... 7042
Visual Studio 2... 5001
Калькулятор [Ис... 4860
FreeSMS v1.3.1 3544
Случайные статьи
Имитационное модел...
Еще раз о способах...
В словаре, который...
й - Алфавитный ука...
Совмещение имен в IDL
Добавление кода дл...
Отладка CGI-скрипт...
7.8. Использован...
Карта RESET
Функции абстракции
Процедура SetWrite...
Сервер с пустой ба...
Содержание
Выжить в Песочнице!
Добавляете ли вы в...
Соединение абонент...
Онлайн казино. Игр...
подтверждена довер...
ЦЕЛЬ: ПОДДЕРЖКА МА...
Связывание фреймов
Конъюнкция целей
Операции над множе...
Как узнать - прису...
Синтаксис макросов...
Ответы см
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?