Navigation section

sequential algorithms

About this tag
This tag covers content related to sequential algorithms, including lectures from Microsoft Research on the axiomatic definition of sequential algorithms and bounded complexity. The material explores fundamental logical constructs that underpin software engineering, with a focus on abstract state machines and computational complexity. Discussions are rooted in computer science theory and are relevant to understanding algorithm design and analysis.
  1. News

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

    The great Link Removed is back!! Link Removed Yuri is a logician, computer scientist, and inventor of abstract state machines. He currently works in Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the third and final part in our introductory series of lectures...
    • News
    • Thread
    • abstract state machines academic papers algorithms audience bounded complexity complexity education learning lecture logic microsoft research niner nation research team sequential algorithms software development yuri gurevich
    • Replies: 0
    • Forum: Live RSS Feeds
Back
Top