Similar to 導出原理
抽象解釈
Abstract interpretation
チューリングマシン
Turing machine▲1 trends
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
ホーア論理
Hoare logic
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system
同一性
Identity (philosophy)排中律
Law of excluded middle
背理法
Proof by contradiction
フレーゲの定理
Frege's theorem無矛盾律
Law of noncontradiction
Wikipedia:井戸端/subj/芸能人の本名は原則非記載とすべきでは
Wikipedia:井戸端/subj/権利関係が不明な写真の添付
Wikipedia:井戸端/subj/テレビ局の制作スタッフなどの記事は不適当では?
Wikipedia:井戸端/subj/ウィキペディア日本語版の会計情報
Wikipedia:井戸端/subj/文字の画像の著作権
Wikipedia:井戸端/subj/出典の適格性
Wikipedia:井戸端/subj/アルファベットが連続する人名の区切り文字について
