Горячая линия
24 марта 2023 активны на платформе
48 174 +22
Преподавателя
462 490 +367
Студентов
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020

Корзина

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

ПРОГРАММИРОВАНИЕ. ФУНКЦИОНАЛЬНЫЙ ПОДХОД

Используют: 51 вуз 24 преподавателя 45 студентов
бакалавриат магистратура специалитет аспирантура
342 зачетных единицы
72 академ/часа
4 часа в неделю
Доступно к покупке
  • О курсе
  • Авторы
  • Программа курса

О курсе

Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Компьютеры. Интернет. Информатика. / Программирование
Дисциплины
Информатика и программирование , Программирование , Программирование и программное обеспечение информационных технологий , Функциональное программирование , Теория и технология программирования , Логическое программирование , Функциональное и логическое программирование , Методы программирования , Информатика и основы программирования , Функциональное программирование и интеллектуальные системы , Основы программирования , Прикладное программирование , Программирование для ЭВМ , Программирование: языки, методы и технологии , Введение в программирование , Основы информатики и программирования , Логическое и функциональное программирование , Основы программирования и информатики , Введение в функциональное и логическое программирование , Языки программирования функциональных парадигм , Рекурсивно-логическое и функциональное программирование , Введение в функциональное программирование , Основы логического программирования , Языки функционального программирования , Введение в функциональный анализ , Функциональное программирование и , Функциональные языки программирования , Функционально-логические языки программирования , Основы функционального программирования и интеллектуальные системы , Основы функционального программирования , Локально-рекурсивные алгоритмы , Функциональное программирование и интеллектуальные информационные системы , Функциональное программирование и интеллектуальные ИС , Объектно-функциональное программирование , Логические основы функционального программирования
Направления подготовки/Специальности/Профессии
10.05.05 Безопасность информационных технологий в правоохранительной сфере,
27.03.05 Инноватика,
10.03.01 Информационная безопасность,
43.03.01 Сервис,
01.03.02 Прикладная математика и информатика,
01.04.02 Прикладная математика и информатика,
01.04.03 Механика и математическое моделирование,
02.03.01 Математика и компьютерные науки,
02.03.02 Фундаментальная информатика и информационные технологии,
02.04.01 Математика и компьютерные науки,
02.04.02 Фундаментальная информатика и информационные технологии,
10.05.03 Информационная безопасность автоматизированных систем,
11.03.03 Конструирование и технология электронных средств,
11.03.04 Электроника и наноэлектроника,
11.04.04 Электроника и наноэлектроника,
12.03.01 Приборостроение,
12.04.03 Фотоника и оптоинформатика,
13.03.01 Теплоэнергетика и теплотехника,
13.03.02 Электроэнергетика и электротехника,
13.03.03 Энергетическое машиностроение,
15.03.02 Технологические машины и оборудование,
15.03.04 Автоматизация технологических процессов и производств,
15.03.05 Конструкторско-технологическое обеспечение машиностроительных производств,
15.03.06 Мехатроника и робототехника,
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 Кораблестроение, океанотехника и системотехника объектов морской инфраструктуры,
27.03.03 Системный анализ и управление,
27.03.04 Управление в технических системах,
27.04.05 Инноватика,
30.05.01 Медицинская биохимия,
30.05.02 Медицинская биофизика,
30.05.03 Медицинская кибернетика,
38.05.01 Экономическая безопасность,
38.05.02 Таможенное дело,
42.03.05 Медиакоммуникации,
44.03.04 Профессиональное обучение (по отраслям),
44.03.05 Педагогическое образование (с двумя профилями подготовки),
45.03.04 Интеллектуальные системы в гуманитарной сфере,
09.03.01 Информатика и вычислительная техника,
01.03.04 Прикладная математика,
09.03.04 Программная инженерия,
11.03.02 Инфокоммуникационные технологии и системы связи,
38.03.03 Управление персоналом,
09.03.03 Прикладная информатика,
45.03.02 Лингвистика,
02.03.03 Математическое обеспечение и администрирование информационных систем,
09.03.02 Информационные системы и технологии,
38.03.01 Экономика,
27.03.02 Управление качеством,
38.03.02 Менеджмент,
45.03.03 Фундаментальная и прикладная лингвистика,
38.03.05 Бизнес-информатика,
44.03.01 Педагогическое образование,
09.04.03 Прикладная информатика,
06.04.01 Биология,
44.04.01 Педагогическое образование,
01.04.04 Прикладная математика,
09.04.01 Информатика и вычислительная техника,
38.04.02 Менеджмент,
09.04.04 Программная инженерия,
38.03.04 Государственное и муниципальное управление,
06.06.01 Биологические науки,
01.03.03 Механика и математическое моделирование,
03.03.03 Радиофизика,
03.05.01 Астрономия,
05.03.01 Геология,
06.05.01 Биоинженерия и биоинформатика,
08.03.01 Строительство,
08.05.01 Строительство уникальных зданий и сооружений,
10.05.01 Компьютерная безопасность,
10.05.02 Информационная безопасность телекоммуникационных систем,
10.05.04 Информационно-аналитические системы безопасности,
11.03.01 Радиотехника,
11.05.01 Радиоэлектронные системы и комплексы,
11.05.02 Специальные радиотехнические системы,
15.03.01 Машиностроение,
15.03.03 Прикладная механика,
17.05.01 Боеприпасы и взрыватели,
19.03.02 Продукты питания из растительного сырья,
19.03.03 Продукты питания животного происхождения,
19.03.04 Технология продукции и организация общественного питания,
20.05.01 Пожарная безопасность,
21.03.02 Землеустройство и кадастры,
21.05.02 Прикладная геология,
22.03.02 Металлургия,
24.03.01 Ракетные комплексы и космонавтика,
24.05.01 Проектирование, производство и эксплуатация ракет и ракетно-космических комплексов,
24.05.02 Проектирование авиационных и ракетных двигателей,
24.05.06 Системы управления летательными аппаратами,
50.03.01 Искусства и гуманитарные науки,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
10.05.07 Противодействие техническим разведкам,
11.05.04 Инфокоммуникационные технологии и системы специальной связи,
01.03.01 Математика,
42.03.02 Журналистика,
39.03.01 Социология,
03.03.02 Физика,
10.05.06 Криптография,
11.05.03 Применение и эксплуатация средств и систем специального мониторинга,
01.05.01 Фундаментальные математика и механика,
03.03.01 Прикладные математика и физика,
04.03.01 Химия,
04.03.02 Химия, физика и механика материалов,
04.05.01 Фундаментальная и прикладная химия,
05.03.03 Картография и геоинформатика,
05.03.04 Гидрометеорология,
05.03.05 Прикладная гидрометеорология,
06.03.02 Почвоведение,
07.03.01 Архитектура,
07.03.02 Реконструкция и реставрация архитектурного наследия,
07.03.03 Дизайн архитектурной среды,
07.03.04 Градостроительство,
08.04.01 Строительство,
23.05.06 Строительство железных дорог, мостов и транспортных тоннелей,
08.05.02 Строительство, эксплуатация, восстановление и техническое прикрытие автомобильных дорог, мостов и тоннелей,
12.03.02 Оптотехника,
12.03.03 Фотоника и оптоинформатика,
12.03.04 Биотехнические системы и технологии,
12.03.05 Лазерная техника и лазерные технологии,
12.05.01 Электронные и оптико-электронные приборы и системы специального назначения,
14.03.01 Ядерная энергетика и теплофизика,
14.03.02 Ядерные физика и технологии,
14.05.01 Ядерные реакторы и материалы,
14.05.02 Атомные станции: проектирование, эксплуатация и инжиниринг,
14.05.03 Технологии разделения изотопов и ядерное топливо,
15.05.01 Проектирование технологических машин и комплексов,
16.03.01 Техническая физика,
16.03.02 Высокотехнологические плазменные и энергетические установки,
16.03.03 Холодильная, криогенная техника и системы жизнеобеспечения,
16.05.01 Специальные системы жизнеобеспечения,
17.03.01 Корабельное вооружение,
17.05.02 Стрелково-пушечное, артиллерийское и ракетное оружие,
17.05.03 Проектирование, производство и испытание корабельного вооружения и информационно-управляющих систем,
18.03.01 Химическая технология,
18.03.02 Энерго- и ресурсосберегающие процессы в химической технологии, нефтехимии и биотехнологии,
18.05.01 Химическая технология энергонасыщенных материалов и изделий,
18.05.02 Химическая технология материалов современной энергетики,
19.03.01 Биотехнология,
20.03.02 Природообустройство и водопользование,
21.03.03 Геодезия и дистанционное зондирование,
21.05.01 Прикладная геодезия,
21.05.03 Технология геологической разведки,
21.05.05 Физические процессы горного или нефтегазового производства,
23.05.03 Подвижной состав железных дорог,
23.05.04 Эксплуатация железных дорог,
24.03.02 Системы управления движением и навигация,
24.03.04 Авиастроение,
24.03.05 Двигатели летательных аппаратов,
24.05.03 Испытание летательных аппаратов,
24.05.04 Навигационно-баллистическое обеспечение применения космической техники,
24.05.05 Интегрированные системы летательных аппаратов,
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.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 Конструирование изделий легкой промышленности,
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 Ландшафтная архитектура,
13.05.01 Тепло- и электрообеспечение специальных технических систем и объектов,
13.05.02 Специальные электромеханические системы,
14.05.04 Электроника и автоматика физических установок,
27.05.02 Метрологическое обеспечение вооружения и военной техники,
05.03.02 География,
05.03.06 Экология и природопользование,
06.03.01 Биология,
01.03.05 Статистика,
35.03.11 Гидромелиорация,
05.05.01 Метеорология специального назначения,
05.05.02 Военная картография,
17.05.04 Технологии веществ и материалов в вооружении и военной технике,
26.03.03 Водные пути, порты и гидротехнические сооружения,
15.05.02 Роботехника военного и специального назначения,
21.05.06 Нефтегазовые техника и технологии
Свернуть
Еще 211

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

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

Предисловие

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

Итоговые вопросы

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

Приложение

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

Особенности инсталляции интегрированной среды разработки Visual Studio .NET

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

Библиография

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

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

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

Методика

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

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

Лекции22
Тесты4

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

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

Используют: 230 вузов 169 преподавателей 414 студентов