Программирование: теория типов 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
149,777.98 руб.
High Precision Cnc Router Machine Milling Tools Lathe Milling Machine Combo Self Centering Vises Touch Probe
aliexpress.com
3,236.01 руб.
ShugaFairy Poppy Bjd 1/4 Doll Body Manga Girls Y2k Summer Punk Style Delicate Romantic Gift Movable BJD Dolls
aliexpress.com
1,446.71 руб.
Женская винтажная клетчатая Свободная рубашка в стиле Харадзюку, осенняя Толстая Теплая Флисовая блузка большого размера с длинным рукаво...
aliexpress.ru
52.27 руб.
Creative Hobby YoYo LED Light Classic Toys Children Games Yo Yo Professional Practice Juggling Amateur Show Toys Kids Gift
aliexpress.com
5,277.81 руб.
Часы наручные MINIFOUCS Мужские кварцевые, спортивные брендовые Роскошные Аналоговые водонепроницаемые Модные с хронографом, с золотым стальн...
aliexpress.ru
201.04 руб.
ИД декорации, простая лампа Mubarak, изысканные деревянные светодиодные лампы в форме звезды
aliexpress.ru
1,027.74 руб.
DAKATU 10pcs Replacement FOB Key Case For Peugeot 307 MAN Transponder Key Shell (HU83 Blade With Groove)
aliexpress.com
157.62 руб.
Насос омывателя лобового стекла для Honda Accord, Civic, Suzuki Grand Vitara 38512SDAA01, M68B
aliexpress.ru
1,219.94 руб.
Черная коробка сопротивления, железный переменный резистор 0-9999,9 Ом 165x125x60 мм для физического обучения
aliexpress.ru
7,178.09 руб.
Wanptek DC Lab Power Supply Adjustable 30V 10A USB Programmable Voltage Stabilizer Laboratory Bench Switching Power Source
aliexpress.com
1,524.72 руб.
Оригинальные Подвески AURAREIKI в форме чашки для зубной щетки, Необычные модные подвески для браслета с бусинами, ювелирные подвески
aliexpress.com
1,063.12 руб.
Summer Fashion Wild Mesh Short Sleeve Shirt Dress Women 2022 Solid Patchwork Gauze Dresses Robe Femme Casual Party Midi Dress
aliexpress.ru
1,863.28 руб.
Autumn Ruffle Long Sleeve 2 Piece Outfits For Women Sexy Solid Color Lace-up V-neck Top With Floor Length Trouser Plus Size Set
aliexpress.com
213.11 руб.
Лучшие предложения плата MP3 декодера 5 в усилитель мощности 2x3 Вт Bluetooth 5,0 декодер с функцией вызова FM радио модуль с поддержкой MP3/USB Functi
aliexpress.ru
74.79 руб.
Материнская плата с гибким кабелем громкости для Huawei Honor 20 Lite, громкий динамик, наушники, Micro usb зарядная плата
aliexpress.ru
742.26 руб.
Настольная корзина для хранения, прямоугольная корзина для хранения в ванной комнате, настольный держатель для кистей для макияжа, Настоль...
aliexpress.ru
1,288.29 руб.
Активный емкостный сенсорный экран Умная Ручка стилус волшебный карандаш для рисования для мобильного телефона Android iPad Samsung Аксессуары для ...
aliexpress.ru
6,168.84 руб.
Brush Ink Art Calligraph Album QI GONG Ancient Chinese poetry couplet Book
aliexpress.com
11,283.41 руб.
DA0U82MB6D0 For HP Pavillion 14-N I5-4200U 740M 2GB Laptop motherboard SR170 N14P-GV2-S-A1 DDR3 Notebook Mainboard
aliexpress.com
2,596.69 руб.
Seaside Holiday Beach Women's Sanya Travel Loose off Shoulder Long off-the-Shoulder Strap Dress
aliexpress.com
381.94 руб.
Очки для плавания MadWave TECHNO II M042804 (поликарбонат, силикон, цвета в ассортименте)
prom.ua
1,815.03 руб.
K3NE Realistic Doll Kit 18 Inch Unpainted Unfinished Newborn Sleeping Baby Lifelike Body Soft Vinyl Accessories
aliexpress.com
3,536.77 руб.
Leopard Print Mini Dress Women Fashion Square Collar Long Sleeve Casual Boho Beach Plus Size Sexy Elegant Party Dresses Femme
aliexpress.com
589.46 руб.
ZLinKJ 1PCS Bathroom Toilet Stainless Steel Paper holder Roll Holder Tissue Bar Holder Restroom Toilet Suction Cup Paper holder
aliexpress.com
2,591.06 руб.
2020spring and Summer New Large Women's Dress Korean Literature and Art Solid Round Neck Waist with Loose Cotton and Linen Dress
aliexpress.com
28.95 руб.
DIY Food Safe Silicone Ice Cream Scoop Molds Frozen Maker Molds Popsicle Homemade Freezer Ice Lolly Mould
aliexpress.com
2,673.08 руб.
ST X - NUCLEO - IKS01A1 LSM6DS03 Environmental Sensor Expansion Board for UNO R3
everbuying.net
1,051.06 руб.
SAAB Never Underestimate an Old Man Mens T Shirt Size S - 5XL Black T shirt 100% Cotton For Man T shirt printing
aliexpress.com
