User:Modelpractice

Modelpractice

Gottlob Frege, SEP: Frege-Hilbert controversy

George Boole

Finite model theory, Structure (mathematical logic), SEP: Models in science

IWI: Model SEP: Modeling and Model Theory

Formal concept analysis, Computational complexity theory

Modular decomposition, Connected component (graph theory)

Abstraction, SEP: Abstract Objects

Refinement_(computing)

Diagrammatic_reasoning

Analogy Quantifier_elimination

Computational thinking Formal methods

Supervenience, SEP: Supervenience

SEP: Properties, SEP: Emergent Properties

SEP: Modality Metaphysical necessity

Formal specification, Semantics_(computer_science), SEP: Epistemology of Computer Science