Loading...
Error

Скачать [Barbar] Практикум по функциональному программированию + дополнительные материалы [2011, RUS, ММ] функциональное логическое программирование метавычисления рефал суперкомпиляция XML 1С торрент без регистрации

 
Статистика раздачи
Размер:  11,27 GB   |    Скачан:  175 раз
Сидов:  1  [  0 KB/s  ]  
 
Автор Сообщение

maxcross

[] 

ПРАКТИКУМ ПО ФУНКЦИОНАЛЬНОМУ ПРОГРАММИРОВАНИЮ и дополнительные материалы

Год выпуска: 2011
Производитель: Barbar Science-Art Factory
Сайт производителя: localhost
Автор: Barbar
Продолжительность: 31 час ...пока
Тип раздаваемого материала: Мультимедийный диск
Язык: Русский
Описание: Курс "Практикум по функциональному программированию" посвящен функциональному языку программирования Рефал и технологиям, возникшим на его базе , а также алгоритмическому формализму, лежащему в основе Рефала.
Затрагиваются темы философии и теории эволюции применительно к порождению и преобразованию программ.
Этот курс состоит из уроков в виде презентаций и видео-лекций, присутствуют дополнительные учебные материалы.
Курс Сергея Абрамова "Метавычисления и их применение" включен в качестве дополнения в виду своей высокой ценности , т.к. на сегодняшний день является наиболее полным изложением основ метавычислений на русском языке. Этот курс должен был выйти на INTUITе, но ... Курс С. Абрамова включен в качестве базовой вспомогательной информации - для дальнейшего рассмотрения разобранных тем применительно к Рефалу.
О курсе - 9 минут
Вводная лекция - 1 час
РЕФКОМ
Как использовать материал - 3 минуты
Конструктивное направление - 20 минут
Нормальный алгорифм - 4 часа
Структура языка
Рекурсия
Рефал-машина
Функции
Рефал-условия
Ответы к упражнениям
Рефал, суперкомпиляция, XML - 4 часа
Конструктивное мировоззрение
Конструктивный анализ
Алгебраическое приложение Рефала
Вероятностные методы
Финансовая математика
Рефал и 1С
Что такое 1С
Пособие разработчика
Профессиональное программирование
Консолидация и ИАД
Обмен данными
Финансовые вычисления
Суперкомпилятор HOSC
Суперкомпилятор SCP4
Данный курс на сегодняшний день является наиболее полным изложением
основ метавычислений на русском языке.
Содержание курса:
1.Понятие "метавычисления". Валентин Федорович Турчин. Московская Рефал-группа
2.Актуальность теории В.Ф. Турчина. Проекции Футамуры. Первая реализация - DIKU, Дания
3.Семантика языка TSG
4.Интерпретатор языка TSG
5.Подстановка. Рестрикция
6.Неравенства. Рестрикции с-переменных
7.Свойство подстановок. Структурная индукция. Отождествление с-выражений
8.Отождествление с-выражений. Решение приведенных уравнений. Верификация.
Теоремы о частичной коррекции и о терминируемости
9.Разбор типичных ошибок на рубежном контроле. Представляемое множество. Классы
и L-классы. Конфигурации
10.Конфигурации. Сужения
11.Подклассы. Надклассы. Разбиения
12.Дерево процессов
13.Синтаксис построения дерева процессов. Алгоритм ptr (функция ccond)
14.Перфектное дерево. Алгоритм xptr. Инверсное вычисление программ. Универсальный решающий алгоритм (УРА)
15.Приведение программ к табличной форме. Алгоритм ura и ura'
16.Инверсное программирование
17.Окрестностный анализ. Основные понятия. Окрестностный анализатор. Вспомогательная функция алгоритма nan
18.Операции над классами и окрестностями. Декомпозиция окрестности Алгоритм декомпозиции окрестности
19.Окрестностное тестирование программ. Основные понятия тестирования. Структурные критерии выбора тестов.
Свойства критериев выбора тестов
20.Шаг окрестностного тестирования. Окрестностный критерий выбора тестов. Свойства окрестностного тестирования
21.Традиционные проблемы тестирования. Продолжение тестирования после исправления ошибки. Синтаксис конструкций
и интерпретатор языка JobSL. Окрестноcтное тестирование сorr
22.Суперкомпилятор. Зацикливание программы. Алгоритм Wh ("свисток")
23.Суперкомпилятор. Перестройка снизу и сверху. Wh-алгоритм обнаружения возможного зацикливания. Теорема Крускаля (DIKU, Дания). Функция Wh-упрощающее сравнение двух с-выражений.
Функция the Same Term. Gener. - алгоритм построения тесной общей надконфигураци
24.Суперкомпиляция
25.Суперкомпиляция
26.Суперкомпиляция как метод специализации программ. Алгоритм КМР. Синтаксис графа конфигураций
27.Суперкомпиляция. Проекция Футамуры-Турчина. SD-нотация. Компиляция конечных автоматов
28.Нестандартные семантики. Специализация программ. Генератор генераторов нестандартных интерпретаторов
Эконометрика и Рефал
Рефал-6
Система Рефал-JAVA
Отображение данных
Модули
Интерактивный режим
Отладка
Взаимодействие Рефал-JAVA
Рефал-PHP
Интерфейс с PHP как расширение Рефал
Рефал-PHP - встроенный скриптовый язык
Работа с системой Рефал-PHP
Библиотеки функций Рефал-PHP
Демонстрационные примеры
Программирование на REFAL +
Синтаксис и семантика REFAL +
Библиотека функций
Принципы реализации REFAL +
REFAL + на платформе JAVA
Файлы примеров: скоро будут
Формат видео: AVI
Видео: DivX 5, 8 бит , 5:4, 25,000 кадр/сек, 626 Кбит/сек
Аудио: MP3, 24,0 КГц, 48,0 Кбит/сек, 2 канала
1. Заходим в папку FPP;
2. Видим файл FPP.exe;
3. Запускаем файл (клик-клик) FPP.exe;
4. Пользуясь встроенной навигацией, находим и смотрим видео и т.п.
Доп. информация: Т.к. не нашел в сети мультимедийной учебной информации по Рефалу и по суперкомпиляции на Рефале - то приходится закрывать этот пробел собственными силами



Скачать Практикум.по.функциональному.программированию.+.дополнительные.материалы.[2011.RUS.ММ].функциональное.логическое.программирование.метавычисления.рефал.суперкомпиляция.XML.1С.torrent без регистрации
Золото ЗОЛОТАЯ РАЗДАЧА! СКАЧАННОЕ НЕ ЗАСЧИТЫВАЕТСЯ! Золото
Дата: Зарегистрирован   [ Тип: внутренний ] Как тут cкачать?
MAGNET ссылка
MAGNET ссылка


Скачать .torrent

76 KB

Статус: проверено DHT
Скачан: торрент - 175 раз, раздача полностью - 72 раз
Размер: 11,27 GB
Оценка:  - (Голосов: 0)
Поблагодарили: 0
Поделиться ссылкой на эту раздачу с друзьями:
В контактеFacebookОдноклассникиTwitterLivejournalМой МирLiveinternet
 

 
Показать сообщения:    


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете голосовать в опросах
Вы не можете прикреплять файлы к сообщениям
Вы можете скачивать файлы