Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=32.973-018.1<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Однотомное издание
Шифр издания : 32.973-018.1/З-96 яяя (другие формы)
Автор(ы) : Зыков С. В.,
Заглавие : Введение в теорию программирования. Объектно-ориентированный подход / С. В. Зыков . -2-е изд.
Выходные данные : Москва: ИНТУИТ, 2016
Колич.характеристики :188 с.
ISBN, Цена 5-9556-0009-4: Б.ц.
УДК : 32.973-018.1
ББК : 13
Ключевые слова (''Своб.индексиров.''): эбс лань
Аннотация: Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Курс проиллюстрирован примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) и языке SML («ленивые» вычисления, расширенный полиморфизм, выводимость типов и т.д.). Базовые аспекты профессионального программирования излагаются в сравнении языков C# и SML на единой платформе Microsoft .NET.Сравнительное изучение языков программирования «нового поколения» SML и C# дает возможность более глубоко проникнуть в суть процесса создания программных систем.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 32.973-018.1/З-96 яяя (другие формы)
Автор(ы) : Зыков С. В.,
Заглавие : Введение в теорию программирования. Функциональный подход / С. В. Зыков . -2-е изд.
Выходные данные : Москва: ИНТУИТ, 2016
Колич.характеристики :152 с.
ISBN, Цена 5-9556-0009-4: Б.ц.
УДК : 32.973-018.1
ББК : 13
Ключевые слова (''Своб.индексиров.''): эбс лань
Аннотация: Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

 
Статистика
за 30.06.2024
Число запросов 139388
Число посетителей 753
Число заказов 0
© 2006-2022 Поволжский государственный технологический университет, ФГБОУ ВО «ПГТУ».