Similar to 一階述語論理
3
3
4
4
5
5
6
6
7
7
8
8
9
9▼-1 trends
12345679
自由変数と束縛変数
Free variables and bound variables
存在汎化
Existential generalization
存在例化
Existential instantiation
アロンゾ・チャーチ
Alonzo Church
普遍汎化
Universal generalization普遍例化
Universal instantiation
量化
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
後向き連鎖
Backward chaining
オートマトン
Automata theory
型付きラムダ計算
Typed lambda calculus
計算可能数
Computable number
計算等価性原理
A New Kind of Science#Principle of computational equivalence
計算複雑性理論
Computational complexity theory
計算モデル
Model of computation
計算論的神経科学
Computational neuroscience
計算論的哲学
Computational philosophy
決定問題
Decision problem
コルモゴロフ複雑性
Kolmogorov complexity