Category:計算機科学における論理

Prolog

Logic gate

Logic family

Linear logic

Sequential logic

Denotational semantics

Anti-unification

Forward chaining

Intuitionistic type theory

Unification (computer science)

Successor function

Hoare logic