З-96 Зыков, С. В. Введение в теорию программирования. Объектно-ориентированный подход [Электронный ресурс] / С. В. Зыков. - 2-е изд. - Москва : ИНТУИТ, 2016. - 188 с. - ISBN 5-9556-0009-4 : Б. ц.
Кл.слова (ненормированные): ЭБС Лань Аннотация: Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Курс проиллюстрирован примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) и языке SML («ленивые» вычисления, расширенный полиморфизм, выводимость типов и т.д.). Базовые аспекты профессионального программирования излагаются в сравнении языков C# и SML на единой платформе Microsoft .NET.Сравнительное изучение языков программирования «нового поколения» SML и C# дает возможность более глубоко проникнуть в суть процесса создания программных систем. Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024 |
З-96 Зыков, С. В. Введение в теорию программирования. Функциональный подход [Электронный ресурс] / С. В. Зыков. - 2-е изд. - Москва : ИНТУИТ, 2016. - 152 с. - ISBN 5-9556-0009-4 : Б. ц.
Кл.слова (ненормированные): ЭБС Лань Аннотация: Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий. Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024 |
З-96 Зыков, С. В. Введение в теорию программирования [Текст] : курс лекций : [учеб. пособие для студентов вузов по специальности 351400 "Прикладная информатика"] / С. В. Зыков ; при поддержке Microsoft Research, Ltd. - М. : Интернет-Университет Информ. Технологий, 2012. - 393 с. : ил. - (Основы информационных технологий). - ISBN 978-5-9556-0009-3 : 290.00 р. На обл. кн. год изд.: 2004
Кл.слова (ненормированные): ЛЕКЦИИ -- УЧЕБНЫЕ ПОСОБИЯ -- ПРОГРАММИРОВАНИЕ -- ГРИФ УМО В ОБЛАСТИ ПРИКЛАДНОЙ ИНФОРМАТИКИ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- КОМБИНАТОРНАЯ ЛОГИКА -- ламбда-исчисление -- АБСТРАКТНЫЕ машины -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- C# (язык программирования) -- NET -- MICROSOFT NET Экземпляры всего: 5 чз№2 (4), кнхр (1) Свободны: чз№2 (4), кнхр (1) |