Reasoning

Computation

Kind: representation

Record: reasoning:representation-computation

Canonical: Reasoning

algorithms and programs

Listed in Reasoning records, after Dynamical Systems and before Category Theory.

Concept

  • Computation

Grounded by

  • ITERATE
  • FOR
  • EACH
  • WHILE
  • TRY
  • CATCH
  • EXCEPT
  • FINALLY
  • UNTIL
  • BREAK
  • CONTINUE
  • GOTO
  • START
  • END
  • LOOP
  • STEP
  • QUEUE
  • for_loop
  • try_catch

Concept of

  • Computational Representation

Linked from

  • The nodes
  • action
  • control_flow
  • coordination
  • statement