Университет Беркли выложил записи лекций на YouTube

Post by **Flying Hen** » 20 Oct 2007 01:59

University of Illinois - Department of Computer Science - Distinguished Lectures

KP580BE51 · Post by **KP580BE51** » 20 Oct 2007 07:40

Flying Hen wrote:University of Illinois - Department of Computer Science - Distinguished Lectures

http://www.cs.uiuc.edu/mm/videos/dls/2006-04-10-Clarke-DLS.asx
Не лишено смысла.

Post by **Flying Hen** » 25 Oct 2007 03:49

KP580BE51 wrote:
Flying Hen wrote:University of Illinois - Department of Computer Science - Distinguished Lectures
http://www.cs.uiuc.edu/mm/videos/dls/2006-04-10-Clarke-DLS.asx
Не лишено смысла.

Интересно говорит, только непонятно, как это все можно применить в практическом программировании. Дискретную логику или драйвера можно представить в виде state machine, но как это сделать с произвольной программой?