diff --git a/README.md b/README.md index 4d93bb4..7e8d9b7 100644 --- a/README.md +++ b/README.md @@ -353,6 +353,11 @@ if you are struggling, you can find a physics MOOC or utilize the materials from formal languages; Turing machines; computability; +event-driven concurrency; +automata; +distributed shared memory; +consensus algorithms; +state machine replication; computational geometry theory; propositional logic; relational logic; @@ -365,6 +370,8 @@ Courses | Duration | Effort | Prerequisites :-- | :--: | :--: | :--: [Introduction to Logic](https://www.coursera.org/learn/logic-introduction) | 10 weeks | 4-8 hours/week | set theory [Automata Theory](https://lagunita.stanford.edu/courses/course-v1:ComputerScience+Automata+Fall2016/about) | 8 weeks | 10 hours/week | discrete mathematics, logic, algorithms +[Reliable Distributed Systems, Part 1](https://www.edx.org/course/reliable-distributed-algorithms-part-1-kthx-id2203-1x) | 5 weeks | 5 hours/week | Scala, intermediate CS +[Reliable Distributed Systems, Part 2](https://www.edx.org/course/reliable-distributed-algorithms-part-2-kthx-id2203-2x) | 5 weeks | 5 hours/week | Part 1 [Computational Geometry](https://www.edx.org/course/computational-geometry-tsinghuax-70240183x) | 16 weeks | 8 hours/week | algorithms, C++ [Introduction to Formal Concept Analysis](https://www.coursera.org/learn/formal-concept-analysis) | 6 weeks | 4-6 hours/week | logic, probability [Game Theory](https://www.coursera.org/learn/game-theory-1) | 8 weeks | x hours/week | mathematical thinking, probability, calculus