Lesen Sie nur auf Litres

Das Buch kann nicht als Datei heruntergeladen werden, kann aber in unserer App oder online auf der Website gelesen werden.

Основной контент книги Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов
Text PDF

Umfang 653 Seiten

2022 Jahr

0+

Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов

Lesen Sie nur auf Litres

Das Buch kann nicht als Datei heruntergeladen werden, kann aber in unserer App oder online auf der Website gelesen werden.

€25,23

Über das Buch

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

Вредные грызуны. Учебник для вузов
Вячеслав Владимирович Гриценко
Text PDF
Средний рейтинг 0 на основе 0 оценок
Text PDF
Средний рейтинг 0 на основе 0 оценок
Einloggen, um das Buch zu bewerten und eine Bewertung zu hinterlassen
Buch Михаила Владимировича Швецкого, Ирины Андреевны Кудрявцевой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов» — online auf der Website lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
Altersbeschränkung:
0+
Veröffentlichungsdatum auf Litres:
10 Januar 2022
Datum der Schreibbeendigung:
2022
Umfang:
653 S.
ISBN:
9785534110883
Gesamtgröße:
4.5 МБ
Gesamtanzahl der Seiten:
653
Rechteinhaber:
ЮРАЙТ