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

-15%

Кудрявцева И. А., Швецкий М. В.

ПРОГРАММИРОВАНИЕ: ТЕОРИЯ ТИПОВ 2-е изд., пер. и доп. Учебное пособие для СПО

Name: ПРОГРАММИРОВАНИЕ: ТЕОРИЯ ТИПОВ 2-е изд., пер. и доп. Учебное пособие для СПО
Price: 5322.61 RUB
Availability: InStock
ISBN: 9785534153828

Код 5316868

ISBN: 9785534153828
652 страницы

январь 2022
Юрайт
801 г

Бумажная книга

64.7 USD

76.11 USD

Добавить в корзину

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 31.12.2025; планируемая отправка: 01.01.2026

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 03.01.2026; планируемая отправка: 04.01.2026

Аннотация к книге "ПРОГРАММИРОВАНИЕ: ТЕОРИЯ ТИПОВ 2-е изд., пер. и доп. Учебное пособие для СПО"

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Пособие предназначено для преподавателей, аспирантов и студентов факультетов образовательных учреждений среднего профессионального образования компьютерных наук и информационных технологий.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Издательство:	Юрайт
Дата выхода:	январь 2022
ISBN:	9785534153828
Объём:	652 страниц
Масса:	801 г

Вместе с этой книгой покупают

Как создать, масштабировать и выгодно продать стартап. Лучшие стратегии серийных предпринимателей

Как создать, масштабировать и выгодно продать... бумажная книга

87.03 USD

В корзину

UNIX. Профессиональное программирование, 3-е издание (файл PDF)

UNIX. Профессиональное программирование, 3-е... электронная книга

Стивен Раго

9.87 USD

В корзину

Тонкий дом бумажная книга

Ярослав Жаворонков

20.97 USD

В корзину

-25%

Библиотека детской классики в 50 томах бумажная книга

1563.12 USD 1172.34 USD

В корзину

Моя последняя глава. Конец приключения. 1991-1996 бумажная книга

Джоанна Стингрей

47.74 USD

В корзину

Круть бумажная книга

Виктор Пелевин

40.7 USD

В корзину

Как создать, масштабировать и выгодно продать стартап. Лучшие...

бумажная книга

Эта книга – труд более 30 экспертов, авторов книг по бизнесу и опытных предпринимателей, которые извлекли уроки из своего жизненного опыта и ошибок. Она представляет модели успешного бизнеса, которые можно применить к любому стартапу. На ее страницах – дельные советы, как получить конкурентное преимущество и защитить свой бизнес с помощью проверенных действий, позволяющих значительно увеличить...

Издательство: М-Книга
Дата выхода: июнь 2025

87.03 USD

В корзину

UNIX. Профессиональное программирование, 3-е издание (файл PDF)

электронная книга лучший выбор

Стивен Раго У. Ричард Стивенс

"UNIX. Профессиональное программирование" - это подробнейшее справочное руководство, которое на протяжении 20 лет помогает профессиональным программистам на языке С писать исключительно эффективный и надежный код. Стив Раго, коллега Рича Стивенса, вновь полностью обновил классический труд, сохранив точность и стиль оригинала. Новое, третье, издание охватывает современные ведущие платформы, отражает...

Производитель: Символ-Плюс
Дата выхода: март 2016

9.87 USD

В корзину

Тонкий дом

бумажная книга

Ярослав Жаворонков

«Тонкий дом» — роман о бегстве от прошлого и невозможности скрыться от него. Лара и Сава покидают захолустную деревню в поисках новой жизни, но вместе с ними в город едет все, что они надеялись оставить: боль, страх, память и тяжелое наследие семьи. Это роман о взрослении на пепелище, о выживании в чуждом городе, о душной любви, сквозной вине и надежде, которая то меркнет, то вспыхивает вновь. Через...

Издательство: Поляндрия NoAge
Дата выхода: сентябрь 2025

20.97 USD

В корзину

25%

Библиотека детской классики в 50 томах

бумажная книга

Великолепное подарочное издание: 50 томов в кожаном/твердом переплете. 12-24 цветные иллюстрации в каждом томе. «Библиотека детской классики» — это замечательный подарок для детей и их родителей, которые получают полноценную, грамотно составленную коллекцию книг, прочтение которых закладывает базу интеллектуального развития ребенка. Тщательно продуманная подборка произведений избавляет от...

Издательство: Слово/Slovo
Дата выхода: январь 2023

1563.12 USD 1172.34 USD

В корзину

Моя последняя глава. Конец приключения. 1991-1996

бумажная книга

Джоанна Стингрей

"Моя последняя глава. Конец приключения " - книга-альбом, в котором собраны уникальные воспоминания Джоанны Стингрей, американской певицы и актрисы, о московском периоде ее жизни с 1991 года по 1996-й. Московский андерграунд - музыканты, режиссеры и художники. Константин Кинчев, Гарик Сукачев, Вячеслав Бутусов, Владимир Шахрин, Сергей Галанин, Александр Липницкий, Александр Васильев, Сергей Воронов, Федор...

Издательство: АСТ
Дата выхода: октябрь 2025

47.74 USD

В корзину

Круть

бумажная книга

Виктор Пелевин

Идет третий век Зеленой Эры. Имплант-коррекция «Открытого Мозга» превратила женщин в доминантный гендер, и в уголовной иерархии изменился баланс сил. На ее вершину поднялся фем-блатняк — безжалостные куры-заточницы. Противостоять им не может никто из биологических мужчин, но есть нюанс. Маркус Зоргенфрей — лучший баночный оперативник «TRANSHUMANISM INC.» Задания, которые поручает ему адмирал-епископ Ломас,...

Издательство: Эксмо
Дата выхода: октябрь 2024

40.7 USD

В корзину