Приложение
для AndroidПолное описание
| УДК | |
| 004.42(075.8) |
| ББК | |
| 32.973я73 |
Кл.слова (ненормированные): Программирование -- Компьютерные и информационные науки -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Программирование на ЭВМ -- Теория типов
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
https://urait.ru/bcode/587340
https://urait.ru/book/cover/800F802E-928F-47DA-A15F-658842A48C15
Кол-во выдач 0
Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов. - 652 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов. - 652 с. - Текст : электронный.
Коничев, Александр Сергеевич. Молекулярная биология. Практикум. - 169 с. - Текст : электронный.Михельсон, Анна Вильгельмовна. Физическая оптика. - 70 с. - Текст : электронный.Антонян, Юрий Миранович. Криминология. - 388 с. - Текст : электронный.Лебедева, Людмила Владимировна. Организационное консультирование. - 154 с. - Текст : электронный.Андреев, Владимир Васильевич. Теория горения и взрыва: высокоэнергетические материалы. - 325 с. - Текст : электронный.Деев, Виктор Иосифович. Ядерные реакторы с водой сверхкритического давления (основы теплового расчета). - 156 с. - Текст : электронный.Волегов, Алексей Сергеевич. Метрология и измерительная техника: электронные средства измерений электрических величин. - 103 с. - Текст : электронный.Замятина, Оксана Михайловна. Вычислительные системы, сети и телекоммуникации. Моделирование сетей. - 167 с. - Текст : электронный.Терёхин, Вячеслав Борисович. Компьютерное моделирование систем электропривода постоянного и переменного тока в Simulink. - 306 с. - Текст : электронный.Спиридонова, Екатерина Анатольевна. Создание стартапов. - 187 с. - Текст : электронный.Скворцов, Владимир Федорович. Технология конструкционных материалов. Основы размерного анализа. - 79 с. - Текст : электронный.Ягодин, Валерий Владимирович. Основы спортивной этики. - 111 с. - Текст : электронный.Емельянов, Борис Владимирович. История русской философии XX века. - 249 с. - Текст : электронный.Емельянова, Ирина Никитична. Основы научной деятельности студента. Магистерская диссертация. - 107 с. - Текст : электронный.Кузнецов, Игорь Николаевич. Ведение деловой документации. - 259 с. - Текст : электронный.Григорьев, Михаил Викторович. Проектирование информационных систем. - 278 с. - Текст : электронный.Антипова, Людмила Васильевна. Анатомия и гистология сельскохозяйственных животных. - 388 с. - Текст : электронный.Васильева, Инна Витальевна. Психодиагностика персонала. - 120 с. - Текст : электронный.Пивоваров, Даниил Валентинович. Религиоведение. Вера бахаи: история, вероучение, культ. - 158 с. - Текст : электронный.Селиванов, Виктор Вениаминович. Туристские ресурсы региона. Крым. - 195 с. - Текст : электронный.
Показать все результатыГуляева, Сабина Тахировна. Web-разработки в asp. Net web forms. - 134 с. - Текст : электронный.Тузовский, Анатолий Федорович. Объектно-ориентированное программирование. - 213 с. - Текст : электронный.Кувшинов, Дмитрий Рустамович. Программирование на c. - 83 с. - Текст : электронный.Гниденко, Ирина Геннадиевна. Технологии и методы программирования. - 241 с. - Текст : электронный.Маркин, Александр Васильевич. Программирование на SQL. - 805 с. - Текст : электронный.Зыков, Сергей Викторович. Программирование. Функциональный подход. - 150 с. - Текст : электронный.Боев, Василий Дмитриевич. Моделирование в среде AnyLogic. - 298 с. - Текст : электронный.Зыков, Сергей Викторович. Программирование. - 285 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов. - 652 с. - Текст : электронный.Якимов, Сергей Петрович. Структурное программирование. - 342 с. - Текст : электронный.Огнева, Марина Валентиновна. Программирование на языке С++: практический курс. - 342 с. - Текст : электронный.Холоднов, Владислав Алексеевич. Методы оптимизации в химической технологии: компьютерные программы для многоцелевой оптимизации. - 195 с. - Текст : электронный.Зыков, Сергей Викторович. Объектно-ориентированное программирование. - 151 с. - Текст : электронный.Федоров, Дмитрий Юрьевич. Программирование на Python. - 166 с. - Текст : электронный.
Просмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация