Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Зыков, С. В.$<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

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

Найти похожие

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

Найти похожие

   004.4
   З-96

    Зыков, С. В.
    Введение в теорию программирования [Текст] : курс лекций : [учеб. пособие для студентов вузов по специальности 351400 "Прикладная информатика"] / С. В. Зыков ; при поддержке Microsoft Research, Ltd. - М. : Интернет-Университет Информ. Технологий, 2012. - 393 с. : ил. - (Основы информационных технологий). - ISBN 978-5-9556-0009-3 : 290.00 р.
На обл. кн. год изд.: 2004

ГРНТИ	50.05
УДК	004.4(075.8)

Кл.слова (ненормированные):
ЛЕКЦИИ -- УЧЕБНЫЕ ПОСОБИЯ -- ПРОГРАММИРОВАНИЕ -- ГРИФ УМО В ОБЛАСТИ ПРИКЛАДНОЙ ИНФОРМАТИКИ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- КОМБИНАТОРНАЯ ЛОГИКА -- ламбда-исчисление -- АБСТРАКТНЫЕ машины -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- C# (язык программирования) -- NET -- MICROSOFT NET
Экземпляры всего: 5
чз№2 (4), кнхр (1)
Свободны: чз№2 (4), кнхр (1)

Найти похожие

Тематический навигатор

Статистика за 20.05.2024
Число запросов	45984
Число посетителей	252
Число заказов	0