- Любовные романы
- Фантастика и фэнтези
- Приключения
- Детективы и триллеры
- Наука, образование
- Документальное
- Проза
- Детская литература
- Дом и семья
- Бизнес
- Религия и духовность
- Справочная литература
- Старинная литература
- Статьи
- Юмор
- Компьютеры, интернет
- Поэзия и драмматургия
- ВСЕ ЖАНРЫ
Очень понравилась книга
СЛУЧАЙНАЯ КНИГА
 |
| Журнал «Юный натуралист» - Юный натуралист 1936 №2 Жанр: Природа и животные Год издания: 1936 Серия: «Юный натуралист» |
Ирина Андреевна Кудрявцева , Михаил Владимирович Швецкий - Программирование. Теория типов. Учебное пособие для вузов
2-е издание, переработанное и дополненное | Название: | Программирование. Теория типов. Учебное пособие для вузов |
Автор: | Ирина Андреевна Кудрявцева , Михаил Владимирович Швецкий | |
Жанр: | Учебники и пособия ВУЗов, Учебники и самоучители по компьютеру, Программирование: прочее | |
Изадано в серии: | Высшее образование | |
Издательство: | Юрайт | |
Год издания: | 2022 | |
ISBN: | 9785534110883 | |
Отзывы: | Комментировать | |
Рейтинг: | ||
Поделись книгой с друзьями! Помощь сайту: донат на оплату сервера | ||
Краткое содержание книги "Программирование. Теория типов. Учебное пособие для вузов"
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике.
Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP).
Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования.
Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Читаем онлайн "Программирование. Теория типов. Учебное пособие для вузов". Главная страница.
- 1
- 1
Книги схожие с «Программирование. Теория типов. Учебное пособие для вузов» по жанру, серии, автору или названию:
 |
| А. Б. Путилин - Вычислительная техника и программирование в измерительных информационных системах: учебное пособие... Жанр: Аппаратное обеспечение, компьютерное железо Год издания: 2006 Серия: Высшее образование |
 |
| Е. Я. Юдин, С. В. Белов - Охрана труда в машиностроении: Учебник для машиностроительных вузов. - 2-е изд., перераб. и доп. Жанр: Безопасность жизнедеятельности и охрана труда Год издания: 1983 |
 |
| Александр Ханиевич Шень - Программирование: теоремы и задачи Жанр: Программирование: прочее Год издания: 2017 |
Другие книги из серии «Высшее образование»:
 |
| Ольга Владимировна Дмитриева, Сергей Викторович Новиков, Александр Серафимович Маныкин - Всеобщая история Жанр: История: прочее Год издания: 2010 Серия: Высшее образование |
 |
| Олег Самигулович Вадутов - Электроника. Математические основы обработки сигналов Жанр: Электроника, микроэлектроника, схемотехника Год издания: 2022 Серия: Высшее образование |
 |
| Игорь Петрович Агабекян - Английский язык для бакалавров Жанр: Иностранные языки Год издания: 2012 Серия: Высшее образование |
|
| Ирина Андреевна Кудрявцева, Михаил Владимирович Швецкий - Программирование. Теория типов. Учебное пособие для вузов Жанр: Учебники и самоучители по компьютеру Год издания: 2022 Серия: Высшее образование |
