EMBER_CLI_FASTBOOT_BODY

Петр Нулевой и теория категорий

About the course

В этом курсе вы познакомитесь с базовыми понятиями теории категорий. Вы узнаете что такое категория, функтор и монада. Вы научитесь понимать коммутативные диаграммы. После прохождения курса вам будет проще понять современные языки программирования, такие как Agda, Coq и Idris.

Едва ли возможно научиться без практики, поэтому в качестве домашних заданий вам будет предложено довольно много задач, в которых вы сможете потренировать своё умение доказывать теоремы. Ваши решения будут проверяться автоматической системой, поэтому вы будете получать быструю обратную связь. В силу большого количества участников курса, преподаватели не смогут давать индивидуальных советов по каждой программе, но если у вас будут возникать проблемы, то их всегда можно обсудить с однокурсниками в комментариях к задачам.

Также в курсе присутствует несколько задач повышенной сложности, которые являются необязательными для прохождения курса, однако желающие смогут поломать голову над придумыванием алгоритмов и реализацией программ к этим задачам.

Instructors

  1. 111231231244214124124

Курс посвящен базовым понятиям теории категорий.

Workload:
146 часов в неделю
Language:
Русский
Certificate:
Not issuing

About the course

В этом курсе вы познакомитесь с базовыми понятиями теории категорий. Вы узнаете что такое категория, функтор и монада. Вы научитесь понимать коммутативные диаграммы. После прохождения курса вам будет проще понять современные языки программирования, такие как Agda, Coq и Idris.

Едва ли возможно научиться без практики, поэтому в качестве домашних заданий вам будет предложено довольно много задач, в которых вы сможете потренировать своё умение доказывать теоремы. Ваши решения будут проверяться автоматической системой, поэтому вы будете получать быструю обратную связь. В силу большого количества участников курса, преподаватели не смогут давать индивидуальных советов по каждой программе, но если у вас будут возникать проблемы, то их всегда можно обсудить с однокурсниками в комментариях к задачам.

Также в курсе присутствует несколько задач повышенной сложности, которые являются необязательными для прохождения курса, однако желающие смогут поломать голову над придумыванием алгоритмов и реализацией программ к этим задачам.

Requirements

Курс рассчитан на самую широкую аудиторию и не требует специальных знаний. Для пользователей, заинтересованных в более глубоком изучении материала, в конце большинства уроков приводятся ссылки для самостоятельного изучения.

Target audience

Школьники и студенты, а также все заинтересованные в изучении теории категорий

This course is entirely free. All content is available now.