Lena Volzhina и теория категорий

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

About this course

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

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

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

Who is this course for

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

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

Course content

loading...
Free

Share this course