Keywords:
behaviours of concurrent systems,
model-based design,
contradiction in purpose,
contradiction in strategy, logic of actions, temporal logic,
mathematics regulation,
incidental information,
debugging designs,
core logic,
formalism
Martin, Jean-Claude. "A Necessary Renewal of Mathematics Education." Mathematics for All 13.4 (1994): 13. Available from <
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.216.910&rep=rep1&type=pdf#page=16 >. access on 28 June 2016.
Temporal logic of actions. Available from <
https://en.wikipedia.org/wiki/Temporal_logic_of_actions >. access on 23 May 2019.
http://www.google.com.br/search?hl=pt-BR&q=orientation+social+human+%22logical+reasoning%22&btnG=Pesquisar
Number of topics:
14
Number of topics:
0
Number of topics:
3
Number of topics:
0
--
GregorioIvanoff - 13 Apr 2016
to top