Fundamentos da Lógica Formal Sempre Impulsionando Trajetórias.

“Àqueles que nos transmitiram seus conhecimentos e experiências profissionais e de vida com dedicação e carinho, àqueles que nos guiaram para além das teorias, das filosofias e das técnicas, expressamos os nossos maiores agradecimentos e o nosso profundo respeito que sempre serão poucos diante do muito que nos foi oferecido.”

Relembro, com satisfação sempre renovada, os dizeres do parágrafo precedente os quais constituíram a especial homenagem que recebi dos JOVENS Formandos da Turma de 1993 do Curso de Bacharelado em Ciência da Computação da renomada e internacional Pontifícia Universidade Católica do Paraná (PUCPR).

Lá no início da década de 1990 tive a grata satisfação e o ímpar privilégio de desenvolver fortemente e com acentuado rigor científico os Fundamentos da Lógica Formal Dedutiva focando a tomada de Decisão Lógica para garantir Otimização e Consistência do Raciocínio Dedutivo Analítico tão necessário no Curso de Ciência da Computação.

Recuperar na “lembrança” semelhantes registros com júbilo e ter tido a oportunidade de participar da formação daqueles Afilhados, hoje Profissionais que fazem a diferença no Mercado, “não tem preço” e nos fazem seguir sempre em frente, “ao infinito e além”, muito além.

Carlos Magno Corrêa Dias
24/11/2013