О книге: Книга Программирование: теория типов; ЮРАЙТ, 2022

Издатель: Юрайт
ISBN: 9785534153828
EAN: 9785534153828
Книги: Компьютеры, интернет, информатика
ID:13967321

Рейтинг:

(0/5)

О книге

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

Сравнить цены

Последняя известная цена от 56 р. до 107 р. в 4 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

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

Мегамаркет 5/5 ООО "МАРКЕТПЛЕЙС" ИНН: 9701048328	119 р. (-10%) Повышенный кешбэк до 40%	Наличие уточняйте 14.11.2024

OMA BY 5/5 Информация о компании	Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов

Algo BY 5/5 Информация о компании	Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку ✔ Промокоды на скидку

OZ BY 5/5 Информация о компании	Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис ✔ Промокоды на скидку

24shop BY 5/5 Информация о компании	24shop - это возможность приобрести все необходимое в одном месте

Домотехника 5/5 Информация о компании

21vek BY 5/5 Информация о компании	Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время ✔ Промокоды на скидку

Описание

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

Книга Программирование: теория типов - фото №1

Книга Программирование: теория типов - фото №2

Книга Программирование: теория типов - фото №3

Книга Программирование: теория типов - фото №4

Книга Программирование: теория типов - фото №5

Книга Программирование: теория типов - фото №6

Книга Программирование: теория типов - фото №7

Книга Программирование: теория типов - фото №8

Книга Программирование: теория типов - фото №9

Книга Программирование: теория типов - фото №10

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