Меню

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

  • Издатель: Юрайт
  • ISBN: 9785534153828

  • EAN: 9785534153828

  • Книги: Компьютеры, интернет, информатика
  • ID:13967321
Где купить

Описание Характеристики Цены Отзывы (0)

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

Последняя известная цена от 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

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

О книге


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


Отзывы (0)


Смотреть отзывы на Яндекс.Маркете
Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Базы данных Юрайт

Категория 45 р. - 67 р.

Интеллектуальные системы и технологии 2-е изд., пер. и доп. Учебник и практикум для вузов
0/5 от 49 р.
Сети и телекоммуникации 2-е изд., пер. и доп. Учебник и практикум для вузов
0/5 от 46 р.
Информационные технологии в менеджменте (управлении) 3-е изд., пер. и доп. Учебник и практикум для в…
0/5 от 47 р.
Теория и методика обучения информатике 3-е изд., пер. и доп. Учебное пособие для вузов
0/5 от 47 р.
Информационные технологии в экономике и управлении 4-е изд., пер. и доп. Учебник для СПО
0/5 от 54 р.
Архитектура ЭВМ и систем 2-е изд., испр. и доп. Учебник для вузов
0/5 от 50 р.
Информационные технологии в экономике и управлении 4-е изд., пер. и доп. Учебник для вузов
0/5 от 54 р.
Моделирование систем и процессов 2-е изд., пер. и доп. Учебник для вузов
0/5 от 50 р.
Базы данных: проектирование. Учебник для академического бакалавриата
0/5 47 р.
Распределенные системы. Учебное пособие для вузов
3/5 от 50 р.
Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов
0/5 от 51 р.
Книга Программирование: теория типов
0/5 от 56 р.
Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО
0/5 от 51 р.
Сети и телекоммуникации 2-е изд., пер. и доп. Учебник и практикум для СПО
0/5 от 46 р.
update
Все Компьютеры, интернет, информатика Юрайт »

Книги: Базы данных

Категория 45 р. - 67 р.

Agile Data Warehouse Design. Гибкий дизайн хранения данных: на англ. яз.
0/5 от 45 р.
Бизнес и информационные технологии для систем управления предприятием на базе SAP. Учебное пособие
0/5 от 57 р.
Проектирование информационных систем
0/5 от 61 р.
Данные: хранение и обработка
0/5 47 р.
SQL для чайников
0/5 от 49 р.
Statistics for Big Data For Dummies
0/5 55 р.
Access 2013 For Dummies
0/5 60 р.
Access 2003 For Dummies
0/5 63 р.
Teach Yourself VISUALLY Microsoft Office Access 2007
0/5 60 р.
Основы технологий баз данных. Учебное пособие
5/5 от 61 р.
ИнновацииSQL SERVER 2019
0/5 от 47 р.
Проектирование и реализация систем управления базами данных
0/5 от 64 р.
Blockchain Data Analytics For Dummies
0/5 66 р.
Изучаем SQL. Генерация, выборка и обработка данных
4/5 от 53 р.
Проектирование и реализация баз данных в СУБД MySQL с использ. MySQL Workbench Уч. пос. (СПО) Мартиш…
0/5 47 р.
Информационные системы и базы данных. Учебное пособие
0/5 от 50 р.
Базы данных. Проектирование и разработка информационных систем с использованием СУБД MySQL и языка
0/5 от 53 р.
Основы робототехники. Учебное пособие
0/5 от 48 р.
update

Книги: Базы данных: другие издатели

⬆ ❤ закладки (0) ✔ сравнение (0)

12 ms