File tree Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Original file line number Diff line number Diff line change @@ -353,6 +353,11 @@ if you are struggling, you can find a physics MOOC or utilize the materials from
353
353
formal languages;
354
354
Turing machines;
355
355
computability;
356
+ event-driven concurrency;
357
+ automata;
358
+ distributed shared memory;
359
+ consensus algorithms;
360
+ state machine replication;
356
361
computational geometry theory;
357
362
propositional logic;
358
363
relational logic;
@@ -365,6 +370,8 @@ Courses | Duration | Effort | Prerequisites
365
370
:-- | :--: | :--: | :--:
366
371
[ Introduction to Logic] ( https://www.coursera.org/learn/logic-introduction ) | 10 weeks | 4-8 hours/week | set theory
367
372
[ Automata Theory] ( https://lagunita.stanford.edu/courses/course-v1:ComputerScience+Automata+Fall2016/about ) | 8 weeks | 10 hours/week | discrete mathematics, logic, algorithms
373
+ [ 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
374
+ [ 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
368
375
[ Computational Geometry] ( https://www.edx.org/course/computational-geometry-tsinghuax-70240183x ) | 16 weeks | 8 hours/week | algorithms, C++
369
376
[ Introduction to Formal Concept Analysis] ( https://www.coursera.org/learn/formal-concept-analysis ) | 6 weeks | 4-6 hours/week | logic, probability
370
377
[ Game Theory] ( https://www.coursera.org/learn/game-theory-1 ) | 8 weeks | x hours/week | mathematical thinking, probability, calculus
You can’t perform that action at this time.
0 commit comments