Главная » Образование, учебная литература » ВУЗовская литература » Информатика. Электроника. Связь » Учебники: доп. пособия » Введение в теорию программирования

Введение в теорию программирования

Цена: 345.00 руб.
Артикул товара 128260
price 345.00
volume 1
pages 400
cover твердый переплет
year 2012
ISBN 978-5-9556-0009-3,5-9556-0009-4
series -
author Зыков С.В.
publisher Интернет-Университет Информационных Технологий (ИНТУИТ)
интернет магазин игрушек

Купить Введение в теорию программирования в интернет-магазине

Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью курса является формирование адекватного мировоззрения на современное программирование. Проводится сравнительный анализ функционального и объектно-ориентированного подходов к разработке программных систем.
Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности 351400 "Прикладная информатика". Купить картины маслом

Обратите внимание

AIYIMA трубки усилители аудио доска DIY наборы Amplificador лихорадка класса 6J1 ламповый предусилитель усилители для наушников
Габариты: None
Рекомендуемое максимальное сопротивление: <32 Ом
DSD (Direct Stream Digital): Нет
Каналы: 2 (2. 0)
Встроенный Аккумулятор: Нет

Популярные товары

Технология и система машин в лесном и садово-парковом хозяйствах

В учебном пособии изложены устройство, работа и регулировки технологических параметров машин для лесного и садово-паркового хозяйств. Приводятся сведения о новых и имеющихся в хозяйствах машинах, необходимые для их

Основы вычислительной физики. Часть 1. Введение в конечно-разностные методы. Гриф УМО МО РФ

Предлагаемая книга является первой частью курса «Основы вычислительной физики» и рассматривает методы решения уравнений математической физики. Описывается построение вычислительных моделей для исследований таких

Техническое регулирование. Учебник

В учебнике "Техническое регулирование" с системных позиций раскрываются принципы, темы, понятия, проблемы, изучение которых позволит комплексно охватить все направления деятельности, подпадающие под понятие "техническое

Язык хинди. Самоучитель для начинающих (+ CD-ROM)

Книга содержит: - фонетику и грамматику с объяснениями на русском языке; - упражнения разной степени сложности с ключами; - 90-минутный курс произношения на CD; - хинди-русский и русско-хинди словари; - прописи.

Петр Великий. Первый русский император

Своей личностью и своей жизнью Петр определил характер новой России. Автор подробно рассказывает о трудном детстве Петра, о его юности, о зрелых годах, когда он проявил себя мудрым государственным деятелем. В книге

Веер "Английские предлоги"

С помощью этого пособия в игровой форме ребенку легко объяснить основные понятия. Веер знакомит ребенка с английскими предлогами. Пособие рассчитано на детей 4-8 лет и состоит из 10 карточек, скрепленных между собой.

Веер "Английские местоимения"

С помощью этого пособия в игровой форме ребенку легко объяснить основные понятия. Веер знакомит ребенка с английскими местоимениями. Пособие рассчитано на детей 4-8 лет и состоит из 9 карточек, скрепленных между собой.

Логопедический тренажер

Пособие содержит материал на закрепление произнесения трудных звуков в речи ребёнка. Занимается ли малыш с логопедом или в домашних условиях, эта книга поможет правильно произносить трудные звуки. Многократное

Курсы иностранных языков в Москве и за рубежом: справочно-аналитическое издание. Выпуск 1

Справочно-аналитическое издание предоставляет полную информацию о курсах иностранных языков в Москве: о методиках обучения, о видах курсов, об учебных заведениях и образовательных центрах, а также о курсах иностранных

DVD/VCR/HDD-рекордеры и проигрыватели (Выпуск 107)

В очередной книге популярной серии описаны современные DVD-проигрыватели и комбинированные устройства (DVD/VCR, DVD/HDD) популярных на отечественном рынке брэндов Samsung, JVC и Pioneer. В книге приводятся

LabVIEW для всех (+ CD-ROM)

В книге приведено описание функциональных элементов среды проектирования виртуальных приборов LabVIEW 8.20. Описание выполнения функций сопровождается примерами их использования. Для большинства Экспресс-ВП приведены

Экономическая теория (для экономических ВУЗов)

В предлагаемом учебнике на основе государственного стандарта высшего профессионального образования для экономических специальностей и направлений излагаются базовые принципы экономической теории, даны категориальные

Технические средства информатизации

Учебник охватывает теоретический и практический курс учебной дисциплины "Технические средства информатизации". В учебнике дана классификация современных технических средств информатизации, рассмотрены фундаментальные

Разработка и создание логотипов и графических концепций

Настоящее пособие предназначено для начинающих создателей графических товарных знаков - лого-дизайнеров, стремящихся усовершенствовать имеющиеся навыки разработки логотипа и разобраться в методах и способах его

Популярный юридический энциклопедический словарь

Популярный юридический словарь содержит определения самых распространенных терминов и выражений, известных юридической науке и законодательной практике. В словаре представлены все основные отрасли права. Статьи словаря

Клинико-экспертная диагностика патологии внутренних органов: руководство для врачей

В руководстве изложены последние данные методической литературы по медико-социальной экспертизе, стандарты клинико-экспертной диагностики для определения ограничения жизнедеятельности, группы инвалидности с описанием

Ответственность за преступления, совершаемые медицинскими работниками

В данном учебном пособии рассматриваются вопросы уголовной ответственности за преступления против личности, против общественной безопасности и общественного порядка, а также должностные и служебные преступления,

Информационные технологии в экономике

В настоящем учебнике рассматриваются основные понятия информационных технологий и информационных систем, предусмотрено изучение программных средств реализации информационных процессов, вычислительных сетей,