Анонс: Джон Хариссон, Автоматическое доказательство теорем

[deni_ok]

А вот, кстати, что у нас в CS Клубе будет в конце сентября. Джон Хариссон прочитает 5 лекций про автоматическое доказательство теорем. Я считаю, что это замечательно. Originally posted at http://deniok.dreamwidth.org/50747.html. Feel free to comment here or there.

Comments

[thesz]

Да.

В курсе будут "Лекция 1", 2, 3, 4 и 5. ;)

[deni_ok]

Я решил не озвучивать эти подробности в теле поста.

[deni_ok]

Вывесили аннотацию.