G o l d i n f o
Мини-профиль
Понедельник
23.12.2024
04:42

[ Управление профилем ]
Облако тегов
Популярные новости

Чудесные лучи солнца в отличной природе


Картинки и фото, подборка для рабочего стола обоев


Best UA-RU TV Player 1.0 [Русский]


Wallpapers Sexy Girls Pack №644


Best HD Wallpapers Pack №636

Мини чат
Нас посетили

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

Недавно свалили с сайта:

Онлайн радио
Наш Опрос
Оцените мой сайт
1. Отлично
2. Неплохо
3. Хорошо
4. Ужасно
5. Плохо
Всего ответов: 14
Информер погоды
Главная » 2016 » Декабрь » 14 » Введение в теорию программирования. Функциональный подход
13:33
Введение в теорию программирования. Функциональный подход


Введение в теорию программирования. Функциональный подход — Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы 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

На сайте Terraincognito всегда новый и свежий хороший Софтяк, Драйвера, Мультимедиа и Редакторы, а так же найдёте Юмор и Демотиваторы, Обои на Рабочий стол, Видеоуроки, Игры, всё для Графики и дизайна, Книги и журналы, есть много Познавательного, Загадки планеты, о событиях в мире, как реальном так и виртуальном ! Каждий у нас найдёт что скачать, причем бесплатно (для ознакомления). Уважаемые гости и посетители, всегда рады Вас видеть на сайте! Регистрируемся у Нас на сайте Terraincognito!
На сайте AvtorMuzik представлено множество все различных музыкальных клипов, сборников, песен и концертов. Такие направления и жанры, как рок, Dubstep & Drumstep, шансон, рэп, поп, dance, techno, metall и другие Вы найдете у нас. Каждый сможет подобрать Mp3 альбом по своему вкусу. Всегда рады Вас видеть!
В мире компьютерных технологий на сайте Mirinfi.info! Расскажем про цифровые технологии, много статьей о железе, обзоры конференций и выставок известных брендов IT технологий, представим рынок IT, всё о событиях в мире, как реальном так и виртуальном !
Категория: Книги и журналы | Просмотров: 158 | Добавил: pmojka | Теги: 2016, подход, Функциональный, теорию, введение, Зыков, программирования | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск
Меню сайта
Категории раздела
Обои на Рабочий стол [4286]
Софт [20160]
PC-игры [8607]
Музыка [11486]
Мобильный [388]
ОС [545]
Фильмы [1573]
Мультфильмы [110]
Демотиваторы и Юмор [434]
Девушки [30]
Видеоуроки [9604]
Книги и журналы [22204]
Разное [324]
Набор Журналистов [1]
Набор журналистов!
Скачать с Terraincognito.pp.ua
Календарь
Наша кнопка
Мы будем вам признательны, если вы разместите нашу кнопку у себя на сайте. Если вы хотите обменяться с нами баннерами, пишите в гостевую книгу:

Полезные программы, отличная музыка, супер игры, новые фильмы!


Партнёры
Описание сайта Хорошая музыка, под настроение, предоставлен выбор в плане жанров, Alternativ & Rock, Pop/Dance, Rap/HipHop, House/Trance и множество других жанров!


Каталог сайтов: Николаевская область Cборник всех известных каталогов и рейтингов! Система управления сайтом SiteAdmin Весь интернет в одном каталоге! Каталог сайтов Kneht Каталог сайтов Всего.RUКаталог сайтов :: Развлекательный портал iTotal.RUРейтинг SIMPLETOP.NET Каталог ссылок BazaPNZ, Top 100. Каталог сайтов Украины статистика Проверить тИЦ и PR Счетчик PR-CY.Rank Каталог Ресурсов Интернет goldinfo.ucoz.ru pagerank is 2/10

Copyright MyCorp © 2024Бесплатный хостинг uCoz