Основания языков программирования, Дж. Митчелл
Основания языков программирования, Дж. Митчелл - рейтинг книги по отзывам читателей, краткое содержание
О книге
- 2010 Год первого издания книги
Краткое содержание
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической...
Купить книгу в книжных интернет-магазинах
Другие книги о компьютерах и интернете
Авторы: | О. И. Хлытчиев, А. С. Михайлов, С. В. Синицын |
Жанры: | Компьютеры и интернет |
Категория: | Другие языки программирования |
Авторы: | Н. А. Литвиненко |
Жанры: | Компьютеры и интернет |
Категория: | Другие языки программирования |
Авторы: | И. И. Попов, О. Л. Голицына |
Жанры: | Компьютеры и интернет |
Категория: | Другие языки программирования |
Авторы: | В. Пестриков |
Жанры: | Компьютеры и интернет |
Категория: | Другие языки программирования |
Авторы: | В. А. Биллиг |
Жанры: | Компьютеры и интернет |
Категория: | Другие языки программирования |
Забавное видео
В 2 года родители подарили малышу баскетбольное кольцо и мяч, посмотрите, что умеет этот малыш сейчас!
Кредиты онлайн на карту за 15 минут
от 0,01%
ставка
до 180 дней
макс срок
до 20 000 грн.
макс сумма