Показать виджеты
Скрыть виджеты
23 декабря 2024 активны на платформе
51 357 -43
Преподавателей
639 878 -783
Студентов
Версия для слабовидящих

Корзина

Позиций
Стоимость 0
Перейти в корзину
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

ПРОГРАММИРОВАНИЕ: ТЕОРИЯ ТИПОВ

Используют: 55 вузов 15 преподавателей 48 студентов
бакалавриат магистратура специалитет аспирантура
4 зачетных единицы
144 академ/часа
8 часов в неделю
Доступно к покупке
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
Скачивание контента в
PDF недоступно
Скачивание контента в PDF недоступно
  • О курсе
  • Авторы
  • Программа курса
  • Методика

О курсе

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Технические науки и информационные технологии / Программирование
Дисциплины
Направления подготовки/Специальности/Профессии
27.03.05 Инноватика,
44.03.01 Педагогическое образование,
44.03.01.08 Педагогическое образование (Информатика),
01.03.02 Прикладная математика и информатика,
01.04.03 Механика и математическое моделирование,
02.04.01 Математика и компьютерные науки,
10.05.01 Компьютерная безопасность,
10.05.02 Информационная безопасность телекоммуникационных систем,
10.05.03 Информационная безопасность автоматизированных систем,
10.05.04 Информационно-аналитические системы безопасности,
10.05.05 Безопасность информационных технологий в правоохранительной сфере,
12.04.03 Фотоника и оптоинформатика,
27.03.04 Управление в технических системах,
27.04.05 Инноватика,
30.05.03 Медицинская кибернетика,
44.03.04 Профессиональное обучение (по отраслям),
44.03.05 Педагогическое образование (с двумя профилями подготовки),
45.03.04 Интеллектуальные системы в гуманитарной сфере,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
10.05.07 Противодействие техническим разведкам,
09.03.01 Информатика и вычислительная техника,
10.03.01 Информационная безопасность,
09.03.04 Программная инженерия,
09.03.03 Прикладная информатика,
02.03.03 Математическое обеспечение и администрирование информационных систем,
09.03.02 Информационные системы и технологии,
27.03.02 Управление качеством,
38.03.05 Бизнес-информатика,
09.04.03 Прикладная информатика,
01.04.04 Прикладная математика,
09.04.01 Информатика и вычислительная техника,
09.04.04 Программная инженерия,
10.05.06 Криптография,
06.06.01 Биологические науки,
44.04.01.08 Педагогическое образование (Информатика),
11.03.01 Радиотехника,
11.03.03 Конструирование и технология электронных средств,
11.03.04 Электроника и наноэлектроника,
11.04.04 Электроника и наноэлектроника,
11.05.01 Радиоэлектронные системы и комплексы,
11.05.02 Специальные радиотехнические системы,
12.03.01 Приборостроение,
12.03.02 Оптотехника,
12.03.03 Фотоника и оптоинформатика,
12.03.04 Биотехнические системы и технологии,
12.03.05 Лазерная техника и лазерные технологии,
12.05.01 Электронные и оптико-электронные приборы и системы специального назначения,
13.03.01 Теплоэнергетика и теплотехника,
13.03.02 Электроэнергетика и электротехника,
13.03.03 Энергетическое машиностроение,
15.03.01 Машиностроение,
15.03.02 Технологические машины и оборудование,
15.03.03 Прикладная механика,
15.03.04 Автоматизация технологических процессов и производств,
15.03.05 Конструкторско-технологическое обеспечение машиностроительных производств,
15.03.06 Мехатроника и робототехника,
15.05.01 Проектирование технологических машин и комплексов,
16.04.01 Техническая физика,
20.03.01 Техносферная безопасность,
21.03.01 Нефтегазовое дело,
21.05.04 Горное дело,
22.03.01 Материаловедение и технологии материалов,
23.03.01 Технология транспортных процессов,
23.03.02 Наземные транспортно-технологические комплексы,
23.03.03 Эксплуатация транспортно-технологических машин и комплексов,
23.05.01 Наземные транспортно-технологические средства,
23.05.02 Транспортные средства специального назначения,
23.05.05 Системы обеспечения движения поездов,
24.03.03 Баллистика и гидроаэродинамика,
26.03.02 Кораблестроение, океанотехника и системотехника объектов морской инфраструктуры,
38.05.02 Таможенное дело,
11.05.04 Инфокоммуникационные технологии и системы специальной связи,
13.05.01 Тепло- и электрообеспечение специальных технических систем и объектов,
13.05.02 Специальные электромеханические системы,
11.03.02 Инфокоммуникационные технологии и системы связи,
38.03.03 Управление персоналом,
38.03.02 Менеджмент,
45.03.03 Фундаментальная и прикладная лингвистика,
38.04.02 Менеджмент,
11.05.03 Применение и эксплуатация средств и систем специального мониторинга,
15.05.02 Роботехника военного и специального назначения,
01.03.03 Механика и математическое моделирование,
01.05.01 Фундаментальные математика и механика,
02.03.01 Математика и компьютерные науки,
02.03.02 Фундаментальная информатика и информационные технологии,
03.03.01 Прикладные математика и физика,
03.03.03 Радиофизика,
03.05.01 Астрономия,
04.03.01 Химия,
04.03.02 Химия, физика и механика материалов,
04.05.01 Фундаментальная и прикладная химия,
05.03.01 Геология,
05.03.03 Картография и геоинформатика,
05.03.04 Гидрометеорология,
05.03.05 Прикладная гидрометеорология,
06.03.02 Почвоведение,
06.05.01 Биоинженерия и биоинформатика,
07.03.01 Архитектура,
07.03.02 Реконструкция и реставрация архитектурного наследия,
07.03.03 Дизайн архитектурной среды,
07.03.04 Градостроительство,
08.04.01 Строительство,
08.05.01 Строительство уникальных зданий и сооружений,
23.05.06 Строительство железных дорог, мостов и транспортных тоннелей,
08.05.02 Строительство, эксплуатация, восстановление и техническое прикрытие автомобильных дорог, мостов и тоннелей,
14.03.01 Ядерная энергетика и теплофизика,
14.03.02 Ядерные физика и технологии,
14.05.01 Ядерные реакторы и материалы,
14.05.02 Атомные станции: проектирование, эксплуатация и инжиниринг,
14.05.03 Технологии разделения изотопов и ядерное топливо,
16.03.01 Техническая физика,
16.03.02 Высокотехнологические плазменные и энергетические установки,
16.03.03 Холодильная, криогенная техника и системы жизнеобеспечения,
16.05.01 Специальные системы жизнеобеспечения,
17.03.01 Корабельное вооружение,
17.05.01 Боеприпасы и взрыватели,
17.05.02 Стрелково-пушечное, артиллерийское и ракетное оружие,
17.05.03 Проектирование, производство и испытание корабельного вооружения и информационно-управляющих систем,
18.03.01 Химическая технология,
18.03.02 Энерго- и ресурсосберегающие процессы в химической технологии, нефтехимии и биотехнологии,
18.05.01 Химическая технология энергонасыщенных материалов и изделий,
18.05.02 Химическая технология материалов современной энергетики,
19.03.01 Биотехнология,
19.03.02 Продукты питания из растительного сырья,
19.03.03 Продукты питания животного происхождения,
19.03.04 Технология продукции и организация общественного питания,
20.03.02 Природообустройство и водопользование,
20.05.01 Пожарная безопасность,
21.03.02 Землеустройство и кадастры,
21.03.03 Геодезия и дистанционное зондирование,
21.05.01 Прикладная геодезия,
21.05.02 Прикладная геология,
21.05.03 Технология геологической разведки,
21.05.05 Физические процессы горного или нефтегазового производства,
22.03.02 Металлургия,
23.05.03 Подвижной состав железных дорог,
23.05.04 Эксплуатация железных дорог,
24.03.01 Ракетные комплексы и космонавтика,
24.03.02 Системы управления движением и навигация,
24.03.04 Авиастроение,
24.03.05 Двигатели летательных аппаратов,
24.05.01 Проектирование, производство и эксплуатация ракет и ракетно-космических комплексов,
24.05.02 Проектирование авиационных и ракетных двигателей,
24.05.03 Испытание летательных аппаратов,
24.05.04 Навигационно-баллистическое обеспечение применения космической техники,
24.05.05 Интегрированные системы летательных аппаратов,
24.05.06 Системы управления летательными аппаратами,
24.05.07 Самолето- и вертолетостроение,
25.03.01 Техническая эксплуатация летательных аппаратов и двигателей,
25.03.02 Техническая эксплуатация авиационных электросистем и пилотажно-навигационных комплексов,
25.03.03 Аэронавигация,
25.03.04 Эксплуатация аэропортов и обеспечение полетов воздушных судов,
25.05.01 Техническая эксплуатация и восстановление боевых летательных аппаратов и двигателей,
25.05.02 Техническая эксплуатация и восстановление электросистем и пилотажно-навигационных комплексов боевых летательных аппаратов,
25.05.03 Техническая эксплуатация транспортного радиооборудования,
25.05.04 Летная эксплуатация и применение авиационных комплексов,
25.05.05 Эксплуатация воздушных судов и организация воздушного движения,
26.03.01 Управление водным транспортом и гидрографическое обеспечение судоходства,
26.05.01 Проектирование и постройка кораблей, судов и объектов океанотехники,
26.05.02 Проектирование, изготовление и ремонт энергетических установок и систем автоматизации кораблей и судов,
26.05.03 Строительство, ремонт и поисково-спасательное обеспечение надводных кораблей и подводных лодок,
26.05.04 Применение и эксплуатация технических систем надводных кораблей и подводных лодок,
26.05.05 Судовождение,
26.05.06 Эксплуатация судовых энергетических установок,
26.05.07 Эксплуатация судового электрооборудования и средств автоматики,
27.03.01 Стандартизация и метрология,
27.03.03 Системный анализ и управление,
27.05.01 Специальные организационно-технические системы,
28.03.01 Нанотехнологии и микросистемная техника,
28.03.02 Наноинженерия,
28.03.03 Наноматериалы,
29.03.01 Технология изделий легкой промышленности,
29.03.02 Технологии и проектирование текстильных изделий,
29.03.03 Технология полиграфического и упаковочного производства,
29.03.04 Технология художественной обработки материалов,
29.03.05 Конструирование изделий легкой промышленности,
30.05.01 Медицинская биохимия,
30.05.02 Медицинская биофизика,
35.03.01 Лесное дело,
35.03.02 Технология лесозаготовительных и деревоперерабатывающих производств,
35.03.03 Агрохимия и агропочвоведение,
35.03.04 Агрономия,
35.03.05 Садоводство,
35.03.06 Агроинженерия,
35.03.07 Технология производства и переработки сельскохозяйственной продукции,
35.03.08 Водные биоресурсы и аквакультура,
35.03.09 Промышленное рыболовство,
35.03.10 Ландшафтная архитектура,
14.05.04 Электроника и автоматика физических установок,
27.05.02 Метрологическое обеспечение вооружения и военной техники,
01.03.01 Математика,
05.03.02 География,
01.03.04 Прикладная математика,
03.03.02 Физика,
05.03.06 Экология и природопользование,
38.03.01 Экономика,
06.03.01 Биология,
44.04.01 Педагогическое образование,
01.03.05 Статистика,
35.03.11 Гидромелиорация,
05.05.01 Метеорология специального назначения,
05.05.02 Военная картография,
17.05.04 Технологии веществ и материалов в вооружении и военной технике,
26.03.03 Водные пути, порты и гидротехнические сооружения,
21.05.06 Нефтегазовые техника и технологии,
44.04.01.01 Педагогическое образование (Безопасность жизнедеятельности),
44.04.01.02 Педагогическое образование (Биология),
44.04.01.03 Педагогическое образование (География),
44.04.01.04 Педагогическое образование (Дополнительное образование),
44.04.01.05 Педагогическое образование (Дошкольное образование),
44.04.01.06 Педагогическое образование (Изобразительное искусство),
44.04.01.07 Педагогическое образование (Иностранные языки),
44.04.01.09 Педагогическое образование (История),
44.04.01.10 Педагогическое образование (Математика),
44.04.01.11 Педагогическое образование (Музыка),
44.04.01.12 Педагогическое образование (Начальное образование),
44.04.01.13 Педагогическое образование (Обществознание, экономика, право),
44.04.01.14 Педагогическое образование (Русский язык и литература),
44.04.01.15 Педагогическое образование (Технологии),
44.04.01.16 Педагогическое образование (Физика),
44.04.01.17 Педагогическое образование (Физическая культура),
44.04.01.18 Педагогическое образование (Химия)
Свернуть
Еще 218

Программа курса

Свернуть все темы
Развернуть все темы

Введение

Время прохождения 119 минут
Свернуть
Развернуть тему

Часть 3. МОНОМОРФНЫЕ ТИПЫ (СИСТЕМА λ->)

Время прохождения 2465 минут
Свернуть
Развернуть тему

Часть 4. ПОЛИМОРФНЫЕ ТИПЫ (СИСТЕМА λ2)

Время прохождения 1758 минут
Свернуть
Развернуть тему

Часть 5. λ-КУБ БАРЕНДРЕГТА

Время прохождения 1389 минут
Свернуть
Развернуть тему

Часть 6. ИНТУИЦИОНИСТСКИЕ ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ

Время прохождения 1484 минуты
Свернуть
Развернуть тему

Литература

Время прохождения 106 минут
Свернуть
Развернуть тему

Новые издания по дисциплине "Программирование" и смежным дисциплинам

Время прохождения 40 минут
Свернуть
Развернуть тему

Завершение курса

Время прохождения 0 минут
Свернуть
Развернуть тему

Методика

Укажите параметры рабочей программы
Теория типов
Есть вопросы? Напишите нам

Материалы курса

Лекции22
Тесты26
Задания26

Поделиться курсом

Подписка от 349 ₽/мес.
Этот курс и более
11 148 других учебников
и курсов будут доступны
при покупке личной
подписки

Курсы по теме: