Навигация
Главная
Поиск
Форум
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 65535
ТЕХНОЛОГИИ ДОСТ... 63617
Имитационное мо... 58639
Реклама
Сейчас на сайте
Гостей: 4
На сайте нет зарегистрированных пользователей

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

Моделирование литейного цеха на GPSS + Пояснительная записка
Расчет обратной матрицы на Delphi + Пояснительная записка
Моделирование работы ЭВМ на GPSS + Пояснительная записка

Реклама



Подписывайся на 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 Комментариев · 2157 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Info
Панель Наша Кнопка
Ранги для форума
Delphi 2005 для .NET
Книга по Delphi (...
Размещение элемен...
DateEdit
Preview
isoCanvas (Редакт...
Введение в станда...
Игра в крестики н...
Приемы программир...
45 уроков по дельфи
Sztransppanel
DiZsubmit
С. Г. Горнаков - ...
Профессиональное ...
Игра змейка
JanReplace
Microsoft SQL Ser...

Топ загрузок
Приложение Клие... 100490
Delphi 7 Enterp... 88213
Converter AMR<-... 20084
GPSS World Stud... 13850
Borland C++Buil... 12154
Borland Delphi ... 8712
Turbo Pascal fo... 7058
Visual Studio 2... 5007
Калькулятор [Ис... 4933
FreeSMS v1.3.1 3547
Случайные статьи
Спецификация lOOOB...
INLINE error
Сбрасывание объект...
Версия XHTML 1.0 T...
Создание объекта W...
Недостатки рекурси...
Интернет-магазины ...
ПРИЛОЖЕНИЕ F. СИС...
Иногда требуется б...
Документация
Системные числовые...
Формирование прогр...
клиенты POP3/SMTP
ЧТО ТАКОЕ НОРМАЛИ...
Обработка многомер...
CD-ROM
Оперативный анализ...
Класс GestureDetec...
Реализация обобщен...
Продолжение. Моном...
Использование XHTM...
Шрифт
Режимы прогрева
Обход ферзем
Для тех у кого не ...
Статистика



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


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