Загружаем страницу...
Бесплатный кинозал, софт и игры.


Приветствуем Вас На Сайте music80.ucoz.ru Сдесь Вы Найдёте Много Чего Полезного!!! Скачать Mp3 музыку бесплатно! Что может быть проще? На нашем сайте Вы найдете самую разную Mp3 музыку. Популярные новинки и старые хиты. Скачивайте песни и музыкальные альбомы целиком. Смотрите популярные музыкальные видеоклипы. Наш Mp3 архив открыт для Вас 24 часа в сутки. У нас Вы всегда сможете бесплатно скачать Mp3. Регистрируйтесь и не забудьте наш сайт добавить в избранное.

Сайт продаётся всех заинтересовавшихся писать в тему!
Будьте с Нами

Зарегистрируйтесь! И вы сможете добавить свои новости.

Правила заполнения новостей читать всем!

Скрывать рекламу

Язык сайта
Наш чат
Профиль
Приветствую Вас "Гость"
Сообщения:
Аватар




Статистика


Роботов:3
Google Yahoo
MSN

Онлайн всего: 1
Гостей: 1
Пользователей: 0

20ка Посетивших пользователей:

службы мониторинга серверов

Онлайн всего: 1
Гостей: 1
Пользователей: 0
[Статистика недоступна]

Главная » 2016 » Декабрь » 14 » Введение в теорию программирования. Функциональный подход
Введение в теорию программирования. Функциональный подход

Введение в теорию программирования. Функциональный подход — Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.

Название: Введение в теорию программирования. Функциональный подход
Автор: Зыков С. В.
Издательство: НОУ «Интуит»
Год: 2016
Страниц: 152
Формат: PDF
Размер: 12,96 Мб
ISBN: 5-9556-0009-4
Качество: Отличное

Содержание:

Лекция 0. Вступительная лекция
Лекция 1. Классификация языков программирования
Лекция 2. Концепция и возможности подхода .NET
Лекция 3. Функциональный подход к программированию
Лекция 4. Ламбда-исчисление как формализация языка функционального программирования
Лекция 5. Базисные типы и стандартные функции языка SML
Лекция 6. Комбинаторная логика как формальная система
Лекция 7. Теория типов и комбинаторная логика
Лекция 8. Функции SML для основных комбинаторов
Лекция 9. Синтаксис языков программирования
Лекция 10. Семантика языков программирования
Лекция 11. Функции для синтаксического разбора простых языковых конструкций
Лекция 12. Рекурсивные функции и множества
Лекция 13. Рекурсивные вычисления
Лекция 14. Абстрактные машины и категориальная комбинаторная логика
Лекция 15. Категориальная абстрактная машина
Лекция 16. Оптимизация вычислений и абстрактные машины
Лекция 17. Реализация категориальной абстрактной машины
Список литературы

Скачать Введение в теорию программирования. Функциональный подход

Скачать с dfiles.ru
Скачать с turbobit.net
Скачать с uploadboy.me
Скачать с katfile.com
Скачать с file-upload.cc

Категория: Книги / Журналы | Просмотров: 195 | Добавил: pmojka | Теги: 2016, подход, Функциональный, Теорию, введение, зыков, программирования | Рейтинг: 5.0/1

Внимание: сайт music80.ucoz.ru не несет ответственности за скачиваемые файлы. То же самое относится и к информации, которая указана разработчиком в описании программы. Стоит учитывать, что даже проверенные нами файлы на предмет наличия в них всевозможных вирусов, мы не можем дать 100% гарантию, что они действительно не заражены. Поэтому, всегда проверяйте файлы, загруженные с music80.ucoz.ru, на наличие вирусов.


Для блога (HTML)


Для форума (BB-Code)


Прямая ссылка


Внимание! При копировании материала ссылка на источник обязательна.

Понравилось? Жмите кнопку, пусть ваши друзья в социальных сетях тоже побывают на этой странице!

Полная совместимость с:




Внимание! Все материалы размещенные на данном сайте собраны в свободном распространении на крупных интернет порталах в сети Интернет, и предназначены только для ознакомления. Все права на программы и игры принадлежат их авторам. Владельцы (администрация) сайта, не несут никакой ответственности за дальнейшее использование всех материалов с сайта. Если Вы являетесь разработчиком программного обеспечения, представленного на данном ресурсе и считаете, что размещение каких либо файлов, нарушает Ваши авторские права, то свяжитесь с администрацией сайта через Обратную связь , и мы удалим эти файлы.

Есть что сказать? Пишите, нам всегда интересно знать Ваше мнение! Все вопросы по поводу данной новости оставляйте здесь, администрация и другие пользователи сайта music80.ucoz.ru постараются Вам помочь. Пожалуйста, пишите комментарии без орфографических и пунктуационных ошибок.

Всего комментариев: 0
Информация:
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации. [Регистрация | Вход]
Авторское право
Не загружается установи плагин
RSS
Информация
Наша кнопка
Мы будем вам признательны, если вы разместите нашу кнопку у себя на сайте:



Погода
Календарь
«  Декабрь 2016  »
ПнВтСрЧтПтСбВс
   1234
567891011
12131415161718
19202122232425
262728293031
Поддержать ресурс
через платежную систему

Яндекс.Деньги

  41001624370380

Деньги пойдут на оплату хостинга

Отправить смс
Новости в мире


Загрузка...

Бесплатная раскрутка сайта Результаты антивирусного сканирования Яндекс.Метрика WOlist.ru - каталог сайтов Рунета Каталог Ресурсов Интернет
Если Вы нашли ошибку на странице - сообщите о ней

HSDN - Информационная полоска
| © Все права защищены | Администратор | Sitemap | Sitemap-forum | mobilepda | Как скачать? |

| Внимание! Для корректного отображения страниц сайта рекомендуем использовать "Opera" - [загрузить] или "Google Chrome" - [загрузить] |