ENGENHARIA LÓGICA (LOGIC ENGINEERING): um Projeto de Inovação.

  

Categoria: 
Grupo de Pesquisa (CAPES/CNPq).

Título da categoria: 
ENGENHARIA LÓGICA.

Setor:
Empreendedorismo e Inovação, Tecnologias e Desenvolvimento de Produtos (de Consumo), Tecnologia de Gestão.

Palavras-Chave:
Cálculos Lógicos. Análise Inferencial. Métodos e Técnicas Inferenciais.

Objetivos:
Desenvolver Tecnologia Analítica de Decisão Otimizada centrada na Lógica Formal (nos Cálculos Lógicos e na Álgebra da Lógica), na Teoria da Argumentação Dedutiva e na Análise Inferencial para a Enunciação, Avaliação e Resolução de Problemas, Processos ou Serviços do Mundo Real (em geral) e da Indústria (em particular), estabelecendo os respectivos Métodos e Técnicas.

Motivação:
Possibilitar o estabelecimento de aproximações efetivas entre a Indústria e a Academia, entre a Ciência e a Tecnologia. Somente quando a Indústria e a Academia se unirem para a solução de problemas do mundo real será possibilitado promover a geração de conhecimento útil e necessário para o desenvolvimento adequado de nossa Nação e para a melhoria de vida das Pessoas.

Benefícios:
Otimização. Consistência dos processos diretivos. Impedimento de ocorrências de erros lógicos (de contradi­ções). Produção de resultados necessários. Novas possibilidades de ação ou direcionamentos. Possibilidades da empresa seguir dinâmicas diferenciadas e mais eficientes. A realidade da empresa é equacionada de forma consistente e lógica.

Projetos/Parcerias já realizadas:
Cálculo Lógico e Análise Lógica de Funções Enunciativas. Análise de Argumentos Dedutivos em Lógica Mate­mática. Lógica Matemática Proposicional e Predicativa. Matemática Computacional. Lógica do Conhecimento Científico. Métodos Matemáticos e Computacionais Aplicados. Lógica Matemática Aplicada à Teoria da Argu­mentação Dedutiva.

Pesquisador/Coordenador Responsável:
Carlos Magno Corrêa Dias.

Câmpus:
Curitiba.

Category: 
Research Group (CAPES/CNPq).

Category Title: 
LOGIC ENGINEERING.

Sector: 
Technology management.

Key words:
Logical Calculations. Inferential Analysis. Methods and Techniques Inferences.

Objectives:
Develop Analytical Technology Optimized Decision focused on formal logic (in Calculation Logic and Algebra of Logic), in Argumentation Theory and Deductive Inferential Analysis for Utterance, Assessment and Trou­bleshooting, Processes and Services Real World (in general) and Industry (in particular), establishing their me­thods and techniques.

Motivation:
Enable the establishment of effective approaches between Industry and Academia, between Science and Te­chnology.Only when the Industry and Academia come together to solve real-world problems will be allowed to promote the generation of useful knowledge and necessary for the proper development of our nation and for the betterment of the People.

Benefits:
Optimization. Process consistency directors. Prevention of occurrences of logical errors (contradictions). Pro­duce required results. New possibilities of action or directions. Possibilities of the company following dynamic differentiated and more efficient. The reality of business is equated consistently and logically.

Projects/Partnerships Made:
Calculation and Analysis Logic Logic Functions enunciation. Review of Deductive Arguments in Mathematical Logic. Mathematical Logic Propositional and predicate. Computational Mathematics. Logic of Scientific Know­ledge. Mathematical Methods and Applied Computing. Mathematical Logic Applied to Deductive Argumenta­tion Theory.

Responsible/CoordinatorResearcher:
Carlos Magno Corrêa Dias.

Câmpus: 
Curitiba.

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.


Carlos Magno Corrêa Dias
08/09/2015