Основи сучасного програмування. Розробка гетерогенних систем в Інтернет-орієнтованої середовищі

Основи сучасного програмування. Розробка гетерогенних систем в Інтернет-орієнтованої середовищі
%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D0%B8+%D1%81%D1%83%D1%87%D0%B0%D1%81%D0%BD%D0%BE%D0%B3%D0%BE+%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F.+%D0%A0%D0%BE%D0%B7%D1%80%D0%BE%D0%B1%D0%BA%D0%B0+%D0%B3%D0%B5%D1%82%D0%B5%D1%80%D0%BE%D0%B3%D0%B5%D0%BD%D0%BD%D0%B8%D1%85+%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC+%D0%B2+%D0%86%D0%BD%D1%82%D0%B5%D1%80%D0%BD%D0%B5%D1%82-%D0%BE%D1%80%D1%96%D1%94%D0%BD%D1%82%D0%BE%D0%B2%D0%B0%D0%BD%D0%BE%D1%97+%D1%81%D0%B5%D1%80%D0%B5%D0%B4%D0%BE%D0%B2%D0%B8%D1%89%D1%96 - фото 1
295 грн
1158
ISBN
978-5-9912-0234-3
Категорія
Програмування
Номер видання
2-изд.
Рік
2012
Сторінок
444
Формат
60х90 1/16 (145х215 мм)
Обкладинка 
М'яка
Тип паперу 
Офсет
Мова
Російська
Ілюстрації
С иллюстрациями
66 людей
  • По УкраїніНовая Почта - від 40 грн
    Укрпочта - від 25 грн
    Безкоштовно - от 3000 грн
  • Міжнародна доставкаУкрпошта...
Детальніше про доставку

Гриф УМО
Рекомендовано УМО по утворенню в області прикладної інформатики як навчального посібника для студентів вищих навчальних закладів, які навчаються за спеціальністю «Прикладна інформатика» та іншими міждисциплінарним спеціальностями»


Анотація


Систематизовано теоретичні та практичні відомості в області сучасного програмування. Розглянуто основи функціонального підходу до програмування на основі метаязыка SML.NET і підходи до об'єктно-орієнтованого та компонентного програмування на мовах SML і C#. Особливу увагу приділено застосуванню мовних конструкцій для створення коректних, ефективних і надійних програм. Книга написана на основі курсу лекцій, прочитаного раніше автором на факультеті інформаційної безпеки МІФІ, і побудована на основі творчого синтезу обраних формальних теорій (лямбда-числення, комбінаторна логіка, теорія категорій та ін) і інтернет-орієнтованої технологічної платформи Microsoft .NET, що забезпечує практично прозору інтеграцію коду на мовах програмування різних типів. Кожна глава навчального посібника супроводжується контрольними питаннями. Починаючи з 2008 р. і до цього часу, автор читає цей курс на Кафедрі управління розробкою програмного забезпечення ГОУ ВПО "Вища школа економіки". Для студентів, аспірантів, що спеціалізуються в області комп'ютерних наук та інформаційних технологій, може бути корисним для досвідчених програмістів.

 

Зміст

 

Передмова наукового редактора

Передмова автора

ЧАСТИНА I. ФУНКЦІОНАЛЬНИЙ ПІДХІД ДО ПРОГРАМУВАННЯ

Глава 1. МІСЦЕ ФУНКЦІОНАЛЬНОГО ПІДХОДУ І MICROSOFT .NET В СІМЕЙСТВІ МОВ І ПІДХОДІВ ДО ПРОГРАМУВАННЯ
Розділ 1. Класифікація мов програмування
Розділ 2. Концепція і можливості підходу .NET
Розділ 3. Функціональний підхід до програмування

Глава 2. ФОРМАЛЬНІ СИСТЕМИ, що ПІДТРИМУЮТЬ ФУНКЦІОНАЛЬНИЙ ПІДХІД
Розділ 1. Лямбда-числення як формалізація мови функціонального програмування
Розділ 2. Комбінаторна логіка як формальна система
Розділ 3. Теорія типів і її моделювання засобами комбінаторної логіки

Глава 3. СИНТАКСИС І СЕМАНТИКА ФУНКЦІОНАЛЬНИХ ПРОГРАМ
Розділ 1. Синтаксис мов програмування
Розділ 2. Семантика мов програмування

Глава 4. РЕКУРСІЯ ТА МОДЕЛЮВАННЯ СЕРЕДОВИЩА ОБЧИСЛЕНЬ
Розділ 1. Рекурсивні функції та множини
Розділ 2. Абстрактні машини та категоріальна комбінаторна логіка
Розділ 3. Категоріальна абстрактна машина
Розділ 4. Оптимізація обчислень в абстрактних машинах
Підсумкове завдання до ч. I
Практикум по гетерогенному програмування в середовищі Microsoft .NET
Розділ 1. Функціональне програмування і computer science
Вступ 137
Процедура установки компілятора SML.NET
Лабораторна робота 1. Базисні типи і стандартні функції мови SML
Лабораторна робота 2. Функції SML для основних комбінаторів
Лабораторна робота 3. Рекурсивні обчислення
Лабораторна робота 4. Функції для синтаксичного розбору простих мовних конструкцій
Лабораторна робота 5. Реалізація категоріальною абстрактної машини
Список літератури і навчальних матеріалів
Додаток. Особливості інсталяції інтегрованої середовища розробки Visual Studio .NET

ЧАСТИНА II. ОБ'ЄКТНО-ОРІЄНТОВАНИЙ ПІДХІД ТА ЙОГО РОЗШИРЕННЯ

Глава 5. ОСНОВИ МОВНОЇ ТА ПРОГРАМНОЇ СЕРЕДОВИЩА
Розділ 1. Введення в об'єктно-орієнтований підхід до програмування
Розділ 2. Середовище Microsoft .NET і її використання для гетерогенного програмування
Розділ 3. Основи об'єктно-орієнтованого програмування на мові C#

Глава 6. КОНЦЕПТУАЛЬНІ ОСНОВИ ТА СЕМАНТИКА ОБ'ЄКТНО-ОРІЄНТОВАНОГО ПІДХОДУ
Розділ 1. Семантика основних конструкцій мови програмування C#
Розділ 2. Основні поняття об'єктно-орієнтованого підходу: об'єкти, класи і методи

Глава 7. ДИСЦИПЛІНА ТИПІВ І НАЙВАЖЛИВІШІ КОНЦЕПЦІЇ ГЕТЕРОГЕННОЇ СЕРЕДОВИЩА ОБЧИСЛЕНЬ
Розділ 1. Теорія типів і типізація в .NET
Розділ 2. Концепція успадкування та її реалізація в мові C#
Розділ 3. Концепція інкапсуляції та її реалізація в мові C#
Розділ 4. Концепція поліморфізму та її реалізація в мові C#

Глава 8. РОЗШИРЕННЯ ОБ'ЄКТНО-ОРІЄНТОВАНОГО ПІДХОДУ
Розділ 1. Розширені можливості поліморфізму в мові C#
Розділ 2. Подієво-кероване програмування в середовищі .NET
Розділ 3. Компонентне програмування .NET

Практикум по гетерогенному програмування в середовищі Microsoft .NET
Об'єктно-орієнтоване програмування та його розширення

Вступ
Необхідне програмне забезпечення
Лабораторна робота 1. Розробка елементарних програм на мові програмування C#
Лабораторна робота 2. Об'єкти і класи (спадкування, конструктори, деструктори)
Лабораторна робота 3. Поліморфні методи
Лабораторна робота 4. Розширені можливості мови програмування C#
Лабораторна робота 5. Подієво-орієнтоване програмування
Лабораторна робота 6. Проектування та реалізація гетерогенних додатків

Список літератури і навчальних матеріалів

Список навчальної літератури

Список використаної літератури

Інтернет-джерела

Основи сучасного програмування. Розробка гетерогенних систем в Інтернет-орієнтованої середовищі

Товар входить в категорії

Ви можете купити придбати книгу з доставкою кур'єром нова пошта Укрпошта Кривий Ріг, Львів, Полтава, Житомир, Харків, Чернігів, Вінниця, Тернопіль, Київ, Луцьк, Рівне, Хмельницький, Херсон, Кіровоград, Миколаїв, Дніпропетровськ, Ужгород, Запоріжжя, Суми, Чернівці, Черкаси, Одеса, Івано-франківськ, інші міста України. только в нашому магазині нізькі ціні, можливий торг, Прямі надходження від видавництва, книги під замовлення, друк книг на замовлення, комп'ютерні книги англійською мовою.