Lógica Formal Sem Cortes Transcendendo Possibilidades.

“... O mestre que caminha à sombra do tempo rodeado de discípulos, não dá de sua sabedoria, mas sim de sua fé e de sua ternura. Se ele for verdadeiramente sábio, não vos convidará a entrar na mansão de seu saber, mas antes vos conduzirá ao limiar de vossa própria mente.”

Com o “fragmento” do pensamento de Gibran Khalil Gibran (1883 - 1931) exposto no parágrafo precedente era eu homenageado e honrado como Paraninfo, no início de 1997, na Cerimônia de Colação de Grau da Turma de 1996 do consagrado Curso de Ciência da Computação da Pontifícia Universidade Católica do Paraná (PUCPR).

Depois de vividos os anos intensos e memoráveis da Graduação eu e os Afilhados Aderson Cleber Pifer, Andréa Costa Batistella, Andréia de Jesus, Andrey Patitucci, Cibele Keiko Yamada, Fabio Guarise, Fabrício Gabriel Olivo, Hélio Massao Toda, Joseane Spessatto, Juliana Stahlke, Luciano Vodonis, Marcio Luiz Hein, Marco Antonio de Carvalho Guapo, Marco Tadeu Carvalho, Osmar Zózimo de Souza Junior, Paulo Vinicius Wolski Radtke, Ricardo Ramos Leitão, Tayrone Matiello e Valter Yoshio Sato coroávamos, naquela celebração, a relação Professor-Aluno da forma, talvez, a mais significativa.

Como Professor daquela Turma tive a satisfação de ministrar os sempre fantásticos, embora não tão simples ou triviais, conteúdos das disciplinas de Lógica Matemática I e II nos primeiros semestres do Curso. Por considerar disciplinas fundamentais na formação do Bacharel em Ciência da Computação as mesmas foram tratadas com intensidade acadêmica desejada (muito além do elementar) e com elevado rigor científico típico sem cortes, sem atenuações, sem adequações e sem receios, dada a qualidade de raciocínio e empenho demonstrados pelo então Jovens Acadêmicos.

Que o sucesso e a perseverança sempre acompanhem os caminhos dos hoje Profissionais egressos daquela especial realidade que pudemos experimentar.

Carlos Magno Corrêa Dias
13/12/2013