П78 Программирование алгоритмов обработки данных: Учеб. пособие по спец. "Математическое обеспечение и администрирование информационных систем" - 351500 [Текст] / О. Ф. Ускова [и др.]. - СПб. : БХВ-Петербург, 2003. - 192 с. : ил. - 107.00 р.
Кл.слова (ненормированные): Науковедение -- деревья -- рекурсия -- сортировка -- хеширование -- алгоритмы -- Электроника -- структурированные типы данных -- динамические системы -- информатика -- программирование Доп.точки доступа: Ускова, О.Ф.; Огаркова, Н.В.; Воронина, И.Е.; Бакланов, М.В. Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
Л92 Лэнгсам, Й. Структуры данных для персональных ЗВМ: Пер. с англ. [Текст] / Й. Лэнгсам. - М. : Мир, 1989. - 568 с. : ил. - 3.10 р.
Кл.слова (ненормированные): Математика -- персональные ЭВМ -- вычислительная математика -- рекурсия -- графы -- языки программирования -- Бейсик Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
М30 Марченков, С. С. Элементарные рекурсивные функции [Текст] / С. С. Марченков. - М. : МЦНМО, 2003. - 112 с. - 43.00 р.
Кл.слова (ненормированные): Математика -- рекурсия -- функции -- предикаты -- арифметические функции -- рекурсивные функции Экземпляры всего: 5 2к (5) Свободны: 2к (5) |
С74 Справочная книга по математической логике [Текст] : в 4 частях : перевод с английского / Под ред. Д. Барвайса. - М. : Наука, 1982. Ч. 3 : Теория рекурсии. - 1982. - 360 с. - 2.00 р.
Кл.слова (ненормированные): Математика -- высшая математика -- теория чисел -- теория множеств -- рекурсивные множества -- рекурсия -- справочник -- математическая логика Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Д64 Долинский, М. С. Алгоритмизация и программирование на Turbo Pascal: от простых до олимпиадных задач: учеб. пособие [Текст] / М. С. Долинский. - СПб. : Питер, 2005. - 237 с. : ил. - 190.00 р.
Кл.слова (ненормированные): Электроника -- программирование -- Паскаль -- Turbo Pascal -- учебное пособие -- алгоритмизация -- язык программирования pascal -- языки программирования -- компьютерная графика -- числовые типы данных -- технология разработки -- стек -- учебник для вузов -- учебник для школ -- очередь -- рекурсия -- рекуррентные соотношения -- алгоритмы на графах -- генерация -- аналитическая геометрия на плоскости Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
З-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) |