- Руководства по пользованию программами
- Программирование
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Книга Программирование: теория типов (Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович); ЮРАЙТ, 2022
2409
Издатель: Юрайт
ISBN: 9785534153828
EAN: 9785534153828
Книги: Компьютеры, интернет, информатика
ID: 13967321
Добавлено: 03.12.2023
Описание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Теоретические основы программирования", содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Пособие предназначено для преподавателей, аспирантов и студентов факультетов образовательных учреждений среднего профессионального образования компьютерных наук и информационных технологий.
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Книга Программирование: теория типов (Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович); ЮРАЙТ, 2022»
По данным нашего сервиса товар предлагался к продаже в 4 магазинах. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 2409 р. до 2409 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: ЛитРес. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-534-15382-8 |
| Автор(ы) | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
| Автор | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
| Вес, в граммах | 801 |
| Возрастное ограничение | 16+ |
| Год издания | 2022 |
| Издатель | ЮРАЙТ |
| Издательство | Юрайт |
| Кол-во страниц | 653 |
| Количество книг | 1000 |
| Количество страниц | 653 |
| Назначение | для технических ВУЗов |
| Размеры | 70x100/16 |
| Серия | Профессиональное образование |
| Тип обложки | мягкая |
| Формат | 70*100/16 |
| Язык издания | Русский |
Где купить (1)
Цена от 2409 руб до 2409 руб в 1 магазине
Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.
Похожие предложения вы можете найти в нашей подборке:
Книги: Программирование, Базы данных - издательство "Юрайт"
Книги: Программирование, Базы данных с ценой 1927-2890 р.
| Магазин | Цена | Наличие |
|---|---|---|
| ЛитРес 5/5 | обновлено 19.09.2025 | |
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Мегамаркет | 3212 | 14.11.2024 |
| Яндекс.Маркет | 3061 | 27.06.2024 |
| OZON | 2617 | 24.06.2024 |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Книга Программирование: теория типов (Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович); ЮРАЙТ, 2022» можно купить с кешбеком в 1 магазине: ЛитРес
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Книги: Программирование, Базы данных - издательство "Юрайт"
Категория 1927 р. - 2890 р.
Компьютеры, интернет, информатика - издательство "Юрайт" »
Книги: Программирование, Базы данных
Категория 1927 р. - 2890 р.
