deniok: (Default)
deniok ([personal profile] deniok) wrote2013-07-03 01:30 am
  • Add Memory
  • Share This Entry
Entry tags:

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

А вот, кстати, что у нас в CS Клубе будет в конце сентября. Джон Хариссон прочитает 5 лекций про автоматическое доказательство теорем. Я считаю, что это замечательно.
Flat | Top-Level Comments Only

[identity profile] thesz.livejournal.com 2013-07-02 10:01 pm (UTC)(link)
Да.

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

[identity profile] deni-ok.livejournal.com 2013-07-02 10:10 pm (UTC)(link)
Я решил не озвучивать эти подробности в теле поста.

[identity profile] deni-ok.livejournal.com 2013-09-20 05:55 am (UTC)(link)
Вывесили аннотацию.
Flat | Top-Level Comments Only