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

Logic gate

Prolog

Linear logic

Hoare logic

Logic family

Intuitionistic type theory

Sequential logic

Unification (computer science)

Successor function

Anti-unification

Forward chaining

Denotational semantics