Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов
Description
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Technical Details
| age: | 0 |
| author: | Михаил Владимирович Швецкий |
| genres_list: | 5273,5312,5670 |
| ISBN: | 9785534110883 |
| lang: | ru |
| litres_isbn: | 978-5-04-412133-1 |
| publisher: | ЮРАЙТ |
| series: | Высшее образование |
| Type: | book |
| year: | 2022 |
| Форматы: |
Price history chart & currency exchange rate
Customers also viewed
2%
4,950.00 руб.
Response by Dr. Stavro, Укрепляющий крем для тела (для всех типов кожи), 150 мл, 150 мл
itab.pro
1%
1,450.00 руб.
Biomins, Витамин Е (комплекс токоферолов и токотриенолов), капсулы, 60 шт., капсулы, 60 шт.
itab.pro
-12%
1%
3,440.00 руб.
Увлажняющий шампунь Davines "Well-Being", для всех типов волос, 250 мл
bunnyhill.ru
1%
~ 2,140.00 руб.
Rotary Candle Holder the Decorations Around the е Will Reflect Light and Around the Nearby Walls and Ceiling
walmart.com
+25%
1%
739.00 руб.
Eqville, Комплекс детский (Омега-3 с витаминами Е и Д (малина и травы), капсулы, 120 шт., капсулы, 120 шт.
itab.pro
+20%
1%
725.00 руб.
Eqville, Комплекс детский (Омега-3 с витаминами Е и Д) со вкусом клубники, капсулы, 120 шт., капсулы, 120 шт.
itab.pro
+4%
1%
1,427.00 руб.
Простые решения, Липосомальный витамин С с витамином Е, капсулы, 60 шт., капсулы, 60 шт.
itab.pro
1%
2,850.00 руб.
Liposomal Vitamins, Коэнзим Q10 + Витамин Е, жидкость, 50 мл, жидкость, 50 мл
itab.pro
1%
6,890.00 руб.
XUYONI, Органическая тонер-сыворотка для интенсивного увлажнения и восстановления (для всех типов кожи), жидкость, 50 мл, жидкость, 50 мл
itab.pro
+2%
1%
749.00 руб.
RINFOLTIL, Шампунь против выпадения и для роста волос «EXPERT» (для всех типов волос), 200 мл, 200 мл
itab.pro
+5%
1%
~ 685.00 руб.
Автомобильный масляный пресс ure Калибр 0 ~ 100 PSI 2 "52 мм Универсальный Белый светодиодный дымовой объектив 12 В Масляный Пресс-метр с датчиком 1/...
aliexpress.ru
+11%
1%
~ 2,890.00 руб.
ZECAA Topaz Jewerly Ring With Natural Swiss Blue Topaz Gemstone 10*10mm Silver Topaz Ring For Wedding Party Lady Gift
aliexpress.ru
+1%
1%
2,100.00 руб.
Колодки тормозные передние Audi Q5 08>17 Porsche Macan 14>18 Miles E100380
goods.ru
1%
~ 2,090.00 руб.
Смарт-часы XIAOMI с сенсорным экраном 2022 дюйма, пульсометром и тонометром
aliexpress.ru
1%
~ 77.50 руб.
USB-C OTG Adapter Cable for For Samsung Galaxy S20 S21 A52 A72 A21s A42 A32 5G A50 A70 A51 A71 A12 Type-C OTG Cable Converter
aliexpress.com
1%
~ 2,550.00 руб.
Модное однотонное Сетчатое Прозрачное платье с запахом на бедрах 2023 элегантное повседневвечерние ское вечернее платье пикантное облегающ...
aliexpress.ru
+4%
1%
~ 710.00 руб.
Get Coupons Gift Men's Cute Graphic T Shirt Kawaii Little Cats Printed Tshirt Game Of Paws Wholesale Men Tee Shirt For Student
aliexpress.com
+3%
1%
~ 16,460.00 руб.
100% Совершенно новые Товары в наличии на складе 6ES7315-2AG10-0AB0
aliexpress.ru
-1%
1%
~ 12,190.00 руб.
For RE211156 18816-3583 19416-5554 John Deere Hydraulic Solenoid Valve Excavator
aliexpress.com
