Algorithms: Correctness and Complexity (Engi-5892) 2020

Useful Links

Incompuability of problems

Intractible problems

Graph Search

 

Complexity

Recursive descent parsing

Proof outline logic

Dafny

Design by contract

Dynamic checking

Static checking

 

(c) Theodore Norvell