%10 indirim al
Bu kitabı önerin ve arkadaşınız kitabı satın aldığında ₺76,25 kazanın.
metinPDF
Cilt 653 sayfalar
2022 yıl
Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов
₺762,48
Kitap hakkında
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Türler ve etiketler
Yorum gönderin
Giriş, kitabı değerlendirin ve yorum bırakın
Kitap açıklaması
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Kitab Михаила Владимировича Швецкого, Ирины Андреевны Кудрявцевой «Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş sınırı:
0+Litres'teki yayın tarihi:
10 ocak 2022Yazıldığı tarih:
2022Hacim:
653 s. ISBN:
9785534110883Toplam boyut:
4.5 МБToplam sayfa sayısı:
653Telif hakkı:
ЮРАЙТ
