C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3

[EDN Admin]

The great http://research.microsoft.com/en-us/um/people/gurevich/ Yuri Gurevich is back!! <img src="http://ecn.channel9.msdn.com/o9/content/images/emoticons/emotion-1.gif?v=c9" alt="Smiley Yuri is a logician, computer scientist, and inventor of http://en.wikipedia.org/wiki/Abstract_State_Machines abstract state machines . He currently works in Microsoft Research (hes a member of Wolfram Schultes RiSE team). This is the third and final part in our introductory series of lectures exploring the fundamental logical construct that powers all that we do as software engineers—the algorithm. In part 3, Dr. Gurevich teaches us about bounded complexity and the axiomatic definition of sequential algorithms . Find some time to watch this. Youll be learning about algorithms from one of the worlds premiere minds in the science of logic and algorithms. In this lecture, Yuri references a few of his academic papers, which you can find http://research.microsoft.com/en-us/um/people/gurevich/annotated.htm here . Thank you, Yuri , for taking the time to share your extensive knowledge and gentle, kind spirit with Niner Nation. We all really appreciate it! Thanks, too, to Wes Dyer and Bart De Smet for being our live audience for this lecture and asking great questions. http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Algorithms-with-Yuri-Gurevich-Introduction-and-Some-History Part 1
http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Yuri-Gurevich-Introduction-to-Algorithms-and-Computational-Complexity-2-of-n Part 2 <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:45bf25f190c24bdfb5899ebe014ba792

View the full article