- Любовные романы
- Фантастика и фэнтези
- Приключения
- Детективы и триллеры
- Наука, образование
- Документальное
- Проза
- Детская литература
- Дом и семья
- Бизнес
- Религия и духовность
- Справочная литература
- Старинная литература
- Статьи
- Юмор
- Компьютеры, интернет
- Поэзия и драмматургия
- ВСЕ ЖАНРЫ
СЛУЧАЙНЫЙ КОММЕНТАРИЙ
# 1872, книга: Краткая история Русского Флотаавтор: Феодосий Фёдорович Веселаго
"Краткая история Русского Флота" Феодосия Веселаго - незаменимый источник знаний о захватывающей и славной истории российского флота. Эта книга, впервые опубликованная в 1893 году и переизданная в 2015 году, предоставляет исчерпывающий обзор морской истории России с ранних времен до конца 19 века. В своей книге Веселаго прослеживает развитие русского флота от его истоков при князе Олеге до грандиозных достижений Петра Великого и последующих императоров. Он освещает ключевые...
СЛУЧАЙНАЯ КНИГА
 |
| Евгений Ильичев - Прибытие Жанр: Самиздат, сетевая литература Год издания: 2023 Серия: Магеллан |
Ирина Андреевна Кудрявцева , Михаил Владимирович Швецкий - Программирование. Теория типов. Учебное пособие для вузов
2-е издание, переработанное и дополненное | Название: | Программирование. Теория типов. Учебное пособие для вузов |
Автор: | Ирина Андреевна Кудрявцева , Михаил Владимирович Швецкий | |
Жанр: | Учебники и пособия ВУЗов, Учебники и самоучители по компьютеру, Программирование: прочее | |
Изадано в серии: | Высшее образование | |
Издательство: | Юрайт | |
Год издания: | 2022 | |
ISBN: | 9785534110883 | |
Отзывы: | Комментировать | |
Рейтинг: | ||
Поделись книгой с друзьями! Помощь сайту: донат на оплату сервера | ||
Краткое содержание книги "Программирование. Теория типов. Учебное пособие для вузов"
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике.
Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP).
Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования.
Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Читаем онлайн "Программирование. Теория типов. Учебное пособие для вузов". Главная страница.
- 1
- 1
Книги схожие с «Программирование. Теория типов. Учебное пособие для вузов» по жанру, серии, автору или названию:
 |
| Дмитрий Николаевич Решетов - Детали машин: Учебник для студентов машиностроительных и механических специальностей вузов.— 4-е... Жанр: Детали машин Год издания: 1989 |
 |
| П. Г. Гузенков - Детали машин: Учеб. для вузов. — 4-е изд., испр. Жанр: Детали машин Год издания: 1986 |
 |
| Наталья Николаевна Агибалова - Технология и установки переработки нефти и газа. Свойства нефти и нефтепродуктов : учебное пособие Жанр: Нефтегазовая и угольная промышленности Год издания: 2020 Серия: Учебники для вузов. Специальная литература |
Другие книги из серии «Высшее образование»:
 |
| Юрий Николаевич Лапыгин - Теория организации: учебное пособие Жанр: Научная литература Год издания: 2008 Серия: Высшее образование |
 |
| Андрей Петрович Кашкаров - Электронные фокусы для любознательных детей Жанр: Детская образовательная литература Год издания: 2013 Серия: Высшее образование |
 |
| Валентин Васильевич Марилов - Общая психопатология Жанр: Медицина Год издания: 2002 Серия: Высшее образование |
 |
| Владимир Иванович Бузов - Новейшая история стран Азии и Африки (1945-2004) Жанр: История Азии Год издания: 2005 Серия: Высшее образование |
