З-96 Зыков, С. В. Введение в теорию программирования: Курс лекций: Учеб. пособие для студ. вузов, обучающихся по спец. 351400 "Прикладная информатика" [Текст] / С.В. Зыков; Интернет ун-т информац. технологий. - М. : ИНТУИТ.РУ "Интернет-университет", 2004. - 400 с. - (Основы информационных технологий). - 212.50 р.
Кл.слова (ненормированные): Техника -- программирование -- учебное пособие для вузов -- информационные технологии -- алгоритмические языки и программирование -- прикладные науки Экземпляры всего: 11 2к (11) Свободны: 2к (11) |
З-96 Зыков, С. В. Основы современного программирования. Разработка гетерогенных систем в Интернет-ориентированной среде. [Текст] : учеб. пособие для студ. вузов, обуч. по специальности 351400 - "Прикладная информатика и другим междисциплинарным специальностям" / С.В. Зыков. - М. : Горячая линия -Телеком, 2006. - 443 с. : ил. - ISBN 5-93517-228-3 : 216.00 р.
Кл.слова (ненормированные): ПРОГРАММИРОВАНИЕ -- УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- MICROSOFT -- .NET -- ФУНКЦИОНАЛЬНЫЙ ПОДХОД К ПРОГРАММИРОВАНИЮ -- ФОРМАЛЬНЫЕ СИСТЕМЫ -- ЛЯМБДА-ИСЧИСЛЕНИЕ -- КОМБИНАТОРНАЯ ЛОГИКА -- СИНТАКСИС ЯЗЫКОВ ПРОГРАММИРОВАНИЯ -- СЕМАНТИКА ЯЗЫКОВ ПРОГРАММИРОВАНИЯ -- РЕКУРСИЯ -- МОДЕЛИРОВАНИЕ СРЕДЫ ВЫЧИСЛЕНИЙ -- ОБЪЕКТНО-ОРИЕНТИРОВАННЫЙ ПОДХОД К ПРОГРАММИРОВАНИЮ -- СЕМАНТИКА ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ПОДХОДА -- ЯЗЫК ПРОГРАММИРОВАНИЯ C# -- ГЕТЕРОГЕННАЯ СРЕДА ВЫЧИСЛЕНИЙ -- ГЕТЕРОГЕННОЕ ПРОГРАММИРОВАНИЕ Аннотация: Систематизированы теоретические и практические сведения в области со. временного программирования. Рассмотрены основы функционального подхода я программированию на основе метаязыка SML.NET и подходы к объектноориентированному и компонентному программированию на языках SML и C№. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, читаемого автором на факультете информационной безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами. Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть полезной для опытных программистов. Экземпляры всего: 1 2к (1) Свободны: 2к (1) |