Zapis dowodowy metody

Cellular Automata

Cellular automata (CA) is a grid-based computational simulation model, first formalized by John von Neumann and Stanislaw Ulam in the 1940s–1950s and brought to wide attention by John Conway's Game of Life (1970) and Stephen Wolfram's systematic classification (2002), in which a lattice of cells — each holding a finite discrete state — evolves in discrete time steps according to local neighborhood interaction rules, causing complex global patterns to emerge from simple local specifications.

Sources recorded, not reviewed

Zapis źródłowy

Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.

Cellular Automata (CA)

Taksonomiczny zapis metody · process-pipeline / simulation

Wolfram, S. (2002). A New Kind of Science. Wolfram Media. · ISBN 978-1579550080
White, R. & Engelen, G. (2000). High-Resolution Integrated Modelling of the Spatial Dynamics of Urban and Regional Systems. Computers, Environment and Urban Systems, 24(5), 383–400. · DOI 10.1016/S0198-9715(00)00012-0

Otwórz pełną metodę

Wyselekcjonowane twierdzenia

Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.

Brak wyselekcjonowanych twierdzeń

Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.

Powiązane metody

Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.

Same method familyAgent-Based Modelingmachine-suggested · Relational suggestion, not evidence.Same method familyDiscrete-Event Simulationmachine-suggested · Relational suggestion, not evidence.See alsoMONTE-CARLO-SIMULATIONmachine-suggested · Relational suggestion, not evidence.Same method familyNetwork Diffusion Modelsmachine-suggested · Relational suggestion, not evidence.Same method familySystem Dynamicsmachine-suggested · Relational suggestion, not evidence.