Project: Logic Applied to Nanoscience.

      

Category:
Research Group (CAPES/CNPq).

Development Sector:
Electroeletronics and Electronic Instrumentation.

Objectives:
Structure Calculation Logic for the institution of a formal logic applied to the Nanoscience and Nanotechnology (in general) and Nanomachines (in particular) focused on the generation Deductive Inferential Analysis of Pro­ducts, Services or dependent processes of fundamental determinants and corresponding structures that will ensure Completeness, Consistency and Correctness Logic. The main motivation for the development of the project in reference is the possibility of building a correspon­ding formal calculation that will logically and formally evaluate the corresponding arguments which may be developed in Nanoscience.

Benefits:
Faster and more intense will be generated real-world applications. Building nanomáquimas will be heavily fa­vored. Dissipation of previous redundancies and increase efficiency. Promoting greater competitiveness. Prior development of methods and techniques consistent to ensure space-saving and energy, and increased produc­tivity.

Responsible/Coordinator Researcher:
Carlos Magno Corrêa Dias.

In “Catálogo de inovação (Innovation catalog) - Universidade Tecnológica Federal do Paraná”. Curitiba: Ed. UTFPR, 2011. ISSN impresso 2178-4000. ISSN CD ROM 2237-4000. Catálogo de Inovação - UTFPR.

16/09/2015