Mechatronics Engineering Methodology of systemic codification of logical formal reasoning, in solving applied problems

  • Pedro Ramiro Brito Portero
  • Published 2017


The logic is one of the formal reasoning tools most subjects of the career of Mechatronics Engineering, especially of those that are more related to mathematics and programming. The use of a formal systemic coding promotes the definition of modern structured in different levels of abstraction, and facilitates the reasoning assigning a technically… (More)


12 Figures and Tables