← All posts tagged CS

jtootf
? CS solved ищется алгоритм поиска циклов в ненаправленном графе с определением вложенности (цикл, состоящий из двух циклов с общими рёбрами, должен классифицироваться как их объединение, а не как новый цикл). что можете посоветовать?
jtootf
Lisp programming CS CL, который застрял со своим нетипизированным лямбда-исчислением в 50-х годах прошлого века
Статическая типизация — это просто частный случай макросов. Только типизация, в отличии от макросов, не дает
соответствующей гибкости для доказательства гарантии корректности и несет нехилый оверхед

via linux.org.ru
jtootf
CS fp logic.pdmi.ras.ru — лекции по системам типизации лямбда-исчисления в CS-клубе ПОМИ. всячески рекомендую, Денис очень хорошо объясняет
jtootf
CS math ilyaraz.livejournal.com — весной в Москву приезжает Андрей Гольдберг (автор Тех Самых Алгоритмов для поиска максимального потока), прочтёт курс лекций по кратчайшим путям и потоковым задачам. о том, как посетить данные лекции, написано по ссылке