везде Расширенный поиск
книги Компьютеры и Интернет Программирование

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

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

Код 5316868

  • ISBN: 9785534153828
  • 652 страницы
  • январь 2022
  • Юрайт
  • 801 г
Бумажная книга

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

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

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

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

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

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

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

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

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

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

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

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

Я слышал, ты красишь дома. Исповедь киллера мафии "Ирландца"
Я слышал, ты красишь дома. Исповедь киллера... бумажная книга
Чарльз Брандт
Нет в продаже
Когда домом правит зоопарк
Когда домом правит зоопарк бумажная книга
Лана Самарина
2
Нет в продаже
Ключи от заколдованного замка
Ключи от заколдованного замка бумажная книга
К. С. Бадигин
12.77 USD
В корзину
Город
Город бумажная книга
Клиффорд Саймак
Нет в продаже
Поиск и оценка линейного персонала: Повышение эффективности и снижение затрат
Поиск и оценка линейного персонала: Повышение... бумажная книга
Светлана Иванова
Нет в продаже
Изголовье из трав
Изголовье из трав бумажная книга
Нацумэ
Нет в продаже

Просмотренные товары