热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

逻辑学入门：从Sequent演算开始

2025-01-22

本文是逻辑学系列文章的第一篇，介绍了Sequent演算这一重要的逻辑推理系统。作者通过Gentzen的序贯式记法，讲解了如何用符号表示推理过程，并解释了推论规则、推导树以及元变量的概念。文章还比较了Sequent演算、Sequent自然演绎和自然演绎三种系统，并讨论了一侧序贯演算和直觉主义逻辑。最后，作者简要介绍了直觉主义逻辑的证明项及其与simply-typed lambda calculus的关系。

阅读更多
(ryanbrewer.dev)
开发 Sequent演算 类型论

范畴论入门

2024-12-04

本文旨在提供范畴论的入门指南，涵盖了范畴、函子、自然变换、单子、对偶、极限、colimit等核心概念，并结合集合论、类型论、函数式编程等领域进行了深入浅出的解释，强调了范畴论的哲学思想和数学本质。文章鼓励读者通过绘图和思考来理解这些抽象概念，并推荐了一些学习资源。

阅读更多
(ryanbrewer.dev)
9
未分类