Best Logic & formal methods Videos

「Logic & formal methods」下面有33部被不同的人、在不同月份推荐过的视频。挑的时候先看对象：入门6部，适合还没学过的人；进阶18部，适合已经懂术语的人；普通向6部，按兴趣就能看；更硬的3部，留给想看推导或细节的人。这一类数量最多的是演讲，所以它们的共同点是一位讲者把一个判断讲完，例子是为了撑住这个判断。常出现的频道包括Strange Loop Conference、jasonofthel33t、Veritasium。目录给这个主题划的范围是：Logic and formal verification: proof assistants, Coq, Lean, TLA+, type theory and proofs, SAT solvers, model checking, program correctness, foundations of mathematics, set theory.如果只看三部，就从《Brian Beckman: Don't fear the Monad》开始，它负责把问题讲出画面；然后看《28c3: The Science of Insecurity》，换一种讲法或例子；最后看《"Propositions as Types" by Philip Wadler》，留给已经有基础的人。页面按每页24部切开，顺序看的是被推荐跨越了多少个月，不是播放量。每条标题下面那一句是这部片子自己的内容说明，用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看，把引用当成只是拿来举例，把批评留下来对照，不要把每条评论都当成同一力度。