2,619
次編輯
「型別理論與形式證明筆記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 105： | 行 105： | ||
# judgement（判斷）形如<math display="inline">\Gamma \vdash M:\sigma</math>，其中左邊的<math display="inline">\Gamma</math>是上下文，右邊的<math display="inline">M:\sigma</math>是statement | # judgement（判斷）形如<math display="inline">\Gamma \vdash M:\sigma</math>，其中左邊的<math display="inline">\Gamma</math>是上下文，右邊的<math display="inline">M:\sigma</math>是statement | ||
= | =附註：本筆記使用的邏輯推演排版法= | ||
原本的書使用的排版法如下，類似[https://en.wikipedia.org/wiki/Fitch_notation Fitch的表示法(Fitch notation)]，雖然可以用HTML硬畫，但是很不好當筆記使用： | 原本的書使用的排版法如下，類似[https://en.wikipedia.org/wiki/Fitch_notation Fitch的表示法(Fitch notation)]，雖然可以用HTML硬畫，但是很不好當筆記使用： | ||
<div> | <div> | ||