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

Корзина

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

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

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

О курсе

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Пособие предназначено для преподавателей, аспирантов и студентов факультетов образовательных учреждений среднего профессионального образования компьютерных наук и информационных технологий.
Базовый учебник
Серия
Профессиональное образование
Тематика/подтематика
Технические науки и информационные технологии / Программирование
Дисциплины
Направления подготовки/Специальности/Профессии
10.02.04 Обеспечение информационной безопасности телекоммуникационных систем,
10.02.01 Организация и технология защиты информации,
11.02.18.П Системы радиосвязи, мобильной связи и телерадиовещания [ранее 11.02.08 Средства связи с подвижными объектами и 11.02.10 Радиосвязь, радиовещание и телевидение] (профессионалитет),
27.02.04.П Автоматические системы управления (профессионалитет),
09.02.07.П Информационные системы и программирование (профессионалитет),
44.02.02.П Преподавание в начальных классах (профессионалитет),
11.02.18 Системы радиосвязи, мобильной связи и телерадиовещания [ранее 11.02.08 Средства связи с подвижными объектами и 11.02.10 Радиосвязь, радиовещание и телевидение],
10.02.05 Обеспечение информационной безопасности автоматизированных систем,
09.02.06 Сетевое и системное администрирование,
09.02.07 Информационные системы и программирование,
18.01.03 Аппаратчик-оператор экологических установок,
11.02.09 Многоканальные телекоммуникационные системы,
09.02.03 Программирование в компьютерных системах,
15.02.07 Автоматизация технологических процессов и производств (по отраслям),
27.02.04 Автоматические системы управления,
44.02.02 Преподавание в начальных классах,
11.02.01 Радиоаппаратостроение,
11.02.11 Сети связи и системы коммутации,
09.02.05 Прикладная информатика (по отраслям),
09.02.01 Компьютерные системы и комплексы
Свернуть
Еще 16

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

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

Введение

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

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

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

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

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

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

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

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

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

Литература

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

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

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

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

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

Методика

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

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

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

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

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

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