*math

В чём разница между теорией категорий и алгебраической теорией категорий
?

#tfzfzi

6 comments

Когда, восседая за своей вычислительной машиной, я приступаю к написанию моей программы, ГОСПОДА, мой упругий РАЦИО охватывает жуткое, сладчайшее волнение, чресла мои разгораются разноцветными огнями, а подмышки начинают источать дивный, мужественный аромат. Что может быть величественнее декартово-замкнутой ... more →

#thsooz

1 comment

Кстати, набыдлил полиморфных посетов https://github.com/dmalikov/posets
Полезность примерно нулевая
!

#tooitn

1 comment

Прокатился сегодня в мгу, побывал на семинаре «дискретная математика и её
приложения». Рассказывал про биполигоны и хаскелл.

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

#onseos

6 comments

Напомните, пожалуйста, хороший учебник по основам дифференциальных уравнений.

#oensio

16 comments

Существует ли какой-нибудь конструктивный (не переборный) алгоритм генерации
бинарных отношений на заданном множестве?

Набыдленный перебор(*) не удовлетворяет ни по скорости, ни по сжираемой памяти.

Вопросы:
- в какой структуре данных представлять бинарное отношение?
- можно ли сделать перебор проще?
- можно ... more →

#oeints

17 comments