Книга: С. В. Зыков «Основы современного программирования»
|
Серия: "Специальность. Для высших учебных заведений" Систематизированы теоретические и практические сведения в области современного программирования. Рассмотрены основы функционального подхода к программированиюна основе метаязыка SML. NET и подходы к объектно-ориентированному и компонентному программированию на языках SML и С#. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, читаемого автором на факультете информационной безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернеториентированной технологической платформы Microsoft . NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами. Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть... Издательство: "Горячая Линия - Телеком" (2006) Формат: 60x90/16, 448 стр.
ISBN: 5-93517-228-3 Купить за 250 руб на Озоне |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Программирование. Учебник и практикум | Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная… — Юрайт, (формат: 70x100/16, 322 стр.) Бакалавр. Академический курс Подробнее... | бумажная книга | ||
| Программирование. Объектно-ориентированный подход. Учебник и практикум | Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная… — Юрайт, (формат: 70x100/16, 156 стр.) Бакалавр. Академический курс Подробнее... | бумажная книга | ||
| Программирование. Функциональный подход. Учебник и практикум | Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества… — Юрайт, (формат: 70x100/16, 166 стр.) Бакалавр. Академический курс Подробнее... | бумажная книга | ||
| Введение в теорию программирования. Курс лекций. Учебное пособие | Учебный курс ВВЕДЕНИЕ В ТЕОРИЮ ПРОГРАММИРОВАНИЯ основан на творческом синтезе избранных формальных теорий… — Интернет-университет информационных технологий, (формат: 60x90/16мм, 400 стр.) Интернет-университет информационных технологий Подробнее... | бумажная книга |
См. также в других словарях:
Go (язык программирования) — О языке программирования, появившемся в 2003 году, см.: Go! (язык программирования) Go Класс языка: компилируемый, многопоточный, императивный, структурированный Появился в: 2009 г … Википедия
2002 год — Эта статья о годе. См. также статью о числе 2002. Годы 1998 · 1999 · 2000 · 2001 2002 2003 · 2004 · 2005 · 2006 Десятилетия 1980 е · 1990 е 2000 е … Википедия
2000-е — У этого термина существуют и другие значения, см. 2000 (значения). XXI век: 2000 2009 годы 1980 е · 1990 е 2000 е 2010 е · 2020 е 2000 · 2001 · … Википедия
2000-е годы — У этого термина существуют и другие значения, см. 2000 (значения). XXI век: 2000 2009 годы 2000 • 2001 • 2002 • 2003 • 2004 • 2005 • 2006 • 2 … Википедия
Двухтысячные — XXI век: 2001 2010 годы 1980 е · 1990 е 2000 е 2010 е · 2020 е 2001 · 2002 · 2003 · 2004 · 2005 · 2006 · 2007 · 2008 · 2009 · 2010 2000 е годы первое десятилетие XXI века н. э., включает года с 2000 по 2009 … Википедия
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
