Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Типы в языках программирования

Компьютерные >> Программирование





Разместил: PRESSI

4-02-2015, 14:28

Просмотров: 296





Типы в языках программирования

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.

Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
ISBN: 978-5-7913-0082-9
Год: 2010
Страниц: 656
Язык: русский
Формат: pdf
Размер: 5.4 Мб










Похожие публикации

ИНТУИТ - Основы информационных технологий (2013) Учебный комплекс ИНТУИТ - Основы информационных технологий (2013) Учебный комплекс
Локальная версия учебного комплекса ИНТУИТ (Интернет-Университета Информационных Технологий) представляет собой набор курсов по дисциплинам, связанным с изучением современных компьютерных технологий. Курсы, в большинстве своем, созданы и читаются

Задачник-практикум по информатике Задачник-практикум по информатике
Задачник-практикум по информатике - Основу содержания книги составляют авторские задачи, вопросы, примеры и практикумы по информатике.

Высшая математика для технических университетов. Часть III. Дифференциальное и интегральное исчисление 1. Дифференциальное исчисление функций одной переменной Высшая математика для технических университетов. Часть III. Дифференциальное и интегральное исчисление 1. Дифференциальное исчисление функций одной переменной
Настоящее пособие представляет собой изложение третьей части курса «Высшая математика» и содержит материал по разделу этого курса: «Дифференциальное и интегральное исчисление»: «Дифференциальное исчисление функций одной пе-ременной». Оно содержит

Программирование на языке Java. Мультимедийный самоучитель Программирование на языке Java. Мультимедийный самоучитель
Мультимедийный курс предназначен для изучения языка программирования Java, который является на сегодняшний день одним из самых актуальным среди языков программирования. Технология Java - это объектно-ориентированная, платформо-независимая,

Основы алгоритмизации и программирования. Самоучитель Основы алгоритмизации и программирования. Самоучитель
Мультимедийное электронное издание "Основы программирования" входит в серию "Интерактивные лекции для студентов" (TeachPro), подготовленную и выпущенную совместно с МЭСИ, признанным лидером в области внедрения в учебный процесс инновационных

Теория вероятностей и математическая статистика (43 выпуска) Теория вероятностей и математическая статистика (43 выпуска)
В раздаче представлены 43 выпуска популярной серии "Теория вероятностей и математическая статистика". (список и описание выпусков см.далее)

INTUIT: Локальная версия курсов. 370 курсов (2011/DVD) INTUIT: Локальная версия курсов. 370 курсов (2011/DVD)
Учебный комплекс INTUIT Интернет-Университета Информаионных Технологий представляет собой набор курсов по дисциплинам, связанным с изучением современных компьютерных технологий.Программа обучения соответствует нормам, предъявляемым Министерством

Программирование на языке Java. Обучающий видеокурс Программирование на языке Java. Обучающий видеокурс
Данный видеокурс предназначен для изучения языка программирования Java, который является на сегодняшний день одним из самых актуальным среди языков программирования. Технология Java - это объектно-ориентированная, платформо-независимая,

Web-дизайн. Обучающий видеокурс Web-дизайн. Обучающий видеокурс
Этот видеокурс предназначен для тех, кто хочет создать качественный сайт и опубликовать его в Интернет. В нем Вы найдете все (или почти все), что должен знать человек, уже узнавший, что такое Internet. Изучая Web-дизайн, Вы приобретете умение

Macromedia Flash MX Professional. Обучающий видеокурс Macromedia Flash MX Professional. Обучающий видеокурс
Курс представляет собой мультимедийный комплекс для самостоятельного освоения пакета векторной анимации FLASH. Объем учебного материала, представленного в виде интерактивных видеолекций продолжительностью 6 часов, обеспечивает практическое освоение




Отзывы и Комментарии

Автор комментария: Rasen
Хорошее пособие, в котором все написано простым "человеческим" языком и разложено по полочкам.
Книга подойдет скорее новичкам в этой области или тем, кто собирается пройти профессиональную переподготовку (но тем не менее даже практикующим программистам читать ее интересно).
Студентов должно порадовать большое количество разбираемых практических заданий (технарям-программистам пригодится) smile





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов