https://github.com/Coq-zh/SF-zh

《软件基础》中译版 Software Foundations Chinese Translation
https://github.com/Coq-zh/SF-zh

chinese-translation coq translation

Last synced: about 1 month ago
JSON representation

《软件基础》中译版 Software Foundations Chinese Translation

• Host: GitHub
• URL: https://github.com/Coq-zh/SF-zh
• Owner: Coq-zh
• Created: 2018-04-04T03:45:53.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-03-14T05:34:55.000Z (over 2 years ago)
• Last Synced: 2024-11-05T06:42:36.039Z (about 1 month ago)
• Topics: chinese-translation, coq, translation
• Language: HTML
• Homepage: https://Coq-zh.github.io/SF-zh/
• Size: 905 MB
• Stars: 920
• Watchers: 53
• Forks: 67
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

• awesome-hacking-lists - Coq-zh/SF-zh - 《软件基础》中译版 Software Foundations Chinese Translation (HTML)

README

        
# 软件基础（中译版）

[![CircleCI](https://circleci.com/gh/Coq-zh/SF-zh.svg?style=svg)](https://circleci.com/gh/Coq-zh/SF-zh)

Chinese translation of _[Software Foundations](https://softwarefoundations.cis.upenn.edu/)_

**注意：正文编译自上游代码库，只接受 Issue；PR 对象仅限说明文档、测试脚本等。**

《软件基础》系列教材（英文名 _Software Foundations_）由 Benjamin C. Pierce 教授等多位作者合著。丛书分为《逻辑基础》、《程序语言基础》、《函数算法验证》、《QuickChick：软件特性测试》诸卷，深入浅出地介绍了可靠软件的数理逻辑基础。

本书可供高年级本科生、研究生、科研工作者及同等学力的广大读者学习参考。阅读此书不需具备逻辑学、程序语言等背景知识，但一定的数学基础有助于理解书中内容。

**歡迎有志之士參與翻譯及繁體中文版製作，詳見 Coq 中文論壇[告示](//coq.discourse.group/t/topic/156)。**

也歡迎各位讀者[來此](//coq.discourse.group/c/coq-in-chinese/chinese-translation)參與翻譯相關討論。

首卷《逻辑基础》初译完毕，亟待审校；次卷《程序语言基础》正在翻译中。此处发布的译文为 Alpha 版，错误纰漏在所难免，恳请广大读者以 Issue 等形式批评指正。

[**请勿公开发布习题解答**](https://coq-zh.github.io/SF-zh/lf-current/Preface.html#lab10)

[**Please do not post solutions to the exercises in a public place.**](https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html#lab10)