Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов; ЮРАЙТ, 2022

от 1543 р. до 2972 р.

Издатель: Юрайт
ISBN: 9785534106206
EAN: 9785534106206
Книги: Учебная литература
ID:7765331

Где купить

Рейтинг:

(0/5)

Отзывы (0) Оставить отзыв

Описание Характеристики Сравнить цены (4) Отзывы (0)

Где купить (4)

Цена от 1543 р. до 2972 р. в 4 магазинах

Магазин	Цена	Наличие
Мегамаркет 5/5 ООО "МАРКЕТПЛЕЙС" ИНН: 9701048328	2972 р. 3303 р. -10% Повышенный кешбэк до 40% ✔ Промокоды на скидку	✔ 19.09.2024

ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	1543 р. Электронная книга Кэшбэк до 14%	Наличие уточняйте 15.08.2024

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	2834 р. Кэшбэк до 3.8% ✔ Промокоды на скидку	Наличие уточняйте 27.06.2024

OZON 5/5 Информация о компании	2447 р.	Наличие уточняйте 24.06.2024

МАЙШОП 5/5 ООО "МАГАЗИН КНИГ" ИНН: 9725076959	Один из первых книжных интернет-магазинов, работающий с 2002 года ✔ Промокоды на скидку

Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571	Заказ от 800 рублей мы привезем бесплатно!

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома

Предложения банков

Компания	Предложение
Альфа-Банк АКЦИОНЕРНОЕ ОБЩЕСТВО "АЛЬФА-БАНК" ИНН: 7728168971	Беспроцентный период - до 100 дней. Выпуск кредитной карты - бесплатно
Халва ПАО "СОВКОМБАНК" ИНН: 4401116480	Рассрочка 0% до 36 мес. Лимит кредитования - до 500 000 рублей. Снятие заемных средств в рассрочку на 3 мес. Кэшбэк до 10%

Описание

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №1

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №2

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №3

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №4

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №5

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №6

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №7

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №8

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №9

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №10

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов - фото №11

Смотри также о книге.

О книге

Параметр	Значение
Автор(ы)	Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович
Издатель	ЮРАЙТ
Год издания	2022
Серия	Start
Количество страниц	525
Вес, в граммах	755
Издательство	Юрайт
Формат	70*100/16
Тип обложки	твердая
Количество книг	1000
Автор	Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович
Назначение	для технических ВУЗов
ISBN	978-5-534-10620-6
Размеры	70x100/16
Язык издания	Русский
Кол-во страниц	525
Возрастное ограничение	16+