本站页面(多半)转载自萌娘百科的同名页面,依CC BY-NC-SA 3.0引入,贡献者可以在历史页查询。
因各种原因页面内容可能和源页面有所出入,非本站特有页面内容请以萌娘百科为准。
因各种原因页面内容可能和源页面有所出入,非本站特有页面内容请以萌娘百科为准。
- 你好~!欢迎来到萌娘百科镜像站!如需查看或编辑,请联系本站管理员注册账号。
- 本镜像站和其他萌娘百科的镜像站无关,请注意分别。
Coq(ProofCafe)
跳到导航
跳到搜索
Coq是twitter上活動「言語擬人化学園もの」的角色,由ちょまど創作,現在為日本名古屋工作小組ProofCafe的看板娘。
簡介
Coq的創作原型為同名的一種用於驗證定理的證明是否正確的計算機工具。
髮飾「∀」「∃」代表一階邏輯的邏輯符號中的量化符號,「∀」為全稱量詞(universal quantifier),「∃」為存在量詞(existential quantifier)
「β」形狀的髪帶λ演算(lambda calculus)的函數概念β-归约
|
外部链接
proofcafe:http://proofcafe.org/wiki/