Artigos sobre Lógica Formal Disponibilizados no RIUT.

É com grata satisfação que informo a disponibilização no Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) de Artigos sobre Lógica Formal (Lógica Matemática e Lógica Digital) de minha autoria publicados na Revista Acadêmica da Pontifícia Universidade Católica do Paraná (PUCPR) em anos passados.

Tornar disponível à comunidade estes meus trabalhos vem cumprir parte do lema “O Conhecimento é da Humanidade e é para a Humanidade” que defendo e proclamo.

Convido todos a acessar e ler, então, os seguintes Artigos:

A matemática e suas concepções considerações basilares sobre os fundamentos da matemática
http://repositorio.utfpr.edu.br/jspui/bitstream/1/421/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1992.pdf

Álgebra booleana e lógica digital uma aplicação da lógica matemática
http://repositorio.utfpr.edu.br/jspui/bitstream/1/424/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1994.pdf

As leis lógicas do pensar coerente
http://repositorio.utfpr.edu.br/jspui/bitstream/1/420/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf

Escorço Histórico da Lógica Matemática
http://repositorio.utfpr.edu.br/jspui/bitstream/1/423/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1994.pdf

Lógica matemática: uma introdução ao cálculo proposicional
http://repositorio.utfpr.edu.br/jspui/bitstream/1/419/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf

Silogística uma introdução à lógica dos enunciados categóricos
http://repositorio.utfpr.edu.br/jspui/bitstream/1/425/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1995.pdf

Teoria da argumentação e análise inferencial em lógica matemática
http://repositorio.utfpr.edu.br/jspui/bitstream/1/422/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdf

Carlos Magno Corrêa Dias
02/03/2013