Category: образование

Лекции по гомотопической теории типов (Санкт-Петербург)

6 февраля в 19:00 на 4-м этаже бизнес-центра "Таймс" (рядом с Кантемировским мостом) на базе института биоинформатики JetBrains стартует курс лекций Валерия Исаева (СПбАУ), напрямую посвященный гомотопической теории типов.

Первую лекцию можно посмотреть вот здесь:
calm

Дописал книжку

Выкладываю книжку по функциональному программированию на Haskell, написанную по курсу из 8 лекций. Иллюстрации авторские, наслаждайтесь :). Упражнения можно использовать для самообразования при изучении языка, ну и в учебном процессе, понятно дело - теперь не буду выдумывать задания на зачет из головы, и у студентов появится возможность заучить все билеты :).

MakeevGA-Haskell.doc
MakeevGA-Haskell.pdf
MakeevGA-Haskell on google docs

Замечания, исправления и доброжелательные :) комментарии приветствуются.

P.S. По сравнению с прошлой версией дописал главу про волка-козу-капусту и исправил те замечания, которые люди уже успели прислать, за что им большое спасибо.

Новый учебник по Haskell

Добрый день!

Написал книгу о Haskell [1]. Учебник, от азов до среднего уровня.
Девиз книги: просто о сложном. Много примеров, постоянное обращение
к интерпретатору, простой язык (скорее запись речи, чем книжный стиль).
Я бы хотел, чтобы любой желающий изучить Haskell (скорее всего, пока
не подозревающий о haskell-cafe, ru_declarative, ru_lambda и тд) мог легко
найти её в сети, скачать и получить удовольствие от программирования на
Haskell. Книга состоит из пдф-файла и примеров к главам. Подскажите,
пожалуйста, как это организовать.

Антон

[1] https://github.com/anton-k/ru-haskell-book
work photo

Перевод "Introduction to functional programming"

Сегодня был переведен последний кусок текста в проекте перевода на русский язык курса лекций Introduction to functional programming Джона Харрисона. Теперь наступает этап вычитки этого документа, и после этого, его можно будет использовать (вместе с презентациями) для обучения функциональному программированию.
Можно скачать это руководство как в виде PDF-файла, так и в виде исходных текстов. Заинтересованные люди - присоединяйтесь к вычитке!
светлое будущее

Задачка по ФП.

_darkus_ часто публикует интересные задачки к курсу "Функциональное программирование".
Хочу предложить полезную для студентов задачку - вычислить определитель матрицы. Помимо тренировки в программировании, еще и повод линейную алгебру вспомнить :-).
Collapse )
Можно задачу обобщить - искать характеристический многочлен.

PS Предлогаю создать здесь что-то типа сборника задач. Может быть будет полезно не только преподавателям и студентам.