Integrando os Repositórios da Tecnológica.

Há mais de 5 (cinco) anos, em 16 de março de 2016, tive a grata satisfação e o privilégio de participar da inauguração oficial da Biblioteca da Sede Ecoville do Câmpus Curitiba da Tecnológica (Universidade Tecnológica Federal do Paraná - UTFPR).

Em funcionamento desde 2011, a Biblioteca da Sede Ecoville do Câmpus Curitiba da TECNOLÓGICA é uma das 13 Bibliotecas da UTFPR que integram o Sistema de Bibliotecas (SIBI) da UTFPR e tem seu acervo constantemente atualizado e ampliado.

Nas diversas Bibliotecas do Sistema UTFPR tenho vários de meus livros e artigos científicos publicados em revistas integrando os correspondentes acervos.

Além das suas Bibliotecas a Tecnológica (UTFPR) mantém Repositórios de Produção Acadêmica e Científica que estão organizados no PIAA (Portal de Informação em Acesso Aberto) que constitui uma ferramenta desenvolvida para a promoção do acesso e ampliação da visibilidade da produção da UTFPR.

Fazem parte do PIAA o RIUT (Repositório Institucional da UTFPR) o ROCA (Repositório de outras Coleções Abertas) e o PERI (Periódicos Científicos da UTFPR).

No RIUT estão reunidos artigos publicados em periódicos ou anais de eventos, teses e dissertações, bem como livros e capítulos de livros cujos autores são servidores ou acadêmicos da UTFPR.

Já no ROCA estão reunidos trabalhos de conclusão de curso, monografias de especialização, recursos educacionais abertos e produção audiovisual e registros iconográficos de servidores ou acadêmicos da UTFPR.

No PERI estão disponibilizados Periódicos Científicos vinculados aos Câmpus da UTFPR cujo gerenciamento seja de Conselho Editorial Próprio apoiado pelo Comitê Gestor do PERI.

Nestes Repositórios tenho, também, depositados para consulta uma série de meus trabalhos publicados.

No RIUT, por exemplo, tenho referência a sete de meus trabalhos; quais sejam:

- Lógica matemática: uma introdução ao cálculo proposicional
https://portaldeinformacao.utfpr.edu.br/Record/riut-1-419
http://repositorio.utfpr.edu.br/jspui/handle/1/419
http://repositorio.utfpr.edu.br/jspui/bitstream/1/419/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf
* DIAS, Carlos Magno Corrêa. Lógica matemática: uma introdução ao cálculo proposicional. Revista Acadêmica, Puc-PR, Curitiba, v. 2, n. 3, p. 11-15, mar. 1991. ISSN: 0103-989X.

- A matemática e suas concepções: considerações basilares sobre os fundamentos da matemática
https://portaldeinformacao.utfpr.edu.br/Record/riut-1-421
http://repositorio.utfpr.edu.br/jspui/handle/1/421
http://repositorio.utfpr.edu.br/jspui/bitstream/1/421/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1992.pdf
* DIAS, Carlos Magno Corrêa. A matemática e suas concepções: considerações basilares sobre os fundamentos da matemática. Revista Acadêmica, Puc-PR, Curitiba, v. 3, n. 5, p. 15-18, mar. 1992. ISSN: 0103-989X.

- As leis lógicas do pensar coerente
https://portaldeinformacao.utfpr.edu.br/Record/riut-1-420
http://repositorio.utfpr.edu.br/jspui/handle/1/420
http://repositorio.utfpr.edu.br/jspui/bitstream/1/420/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1991.pdf
* DIAS, Carlos Magno Corrêa. As leis lógicas do pensar coerente. Revista Acadêmica, Puc-PR, Curitiba, v. 2, n. 4, p. 12-15, set. 1991. ISSN: 0103-989X.

- Silogística: uma introdução à lógica dos enunciados categóricos
https://portaldeinformacao.utfpr.edu.br/Record/riut-1-425
http://repositorio.utfpr.edu.br/jspui/handle/1/425
http://repositorio.utfpr.edu.br/jspui/bitstream/1/425/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1995.pdf
* DIAS, Carlos Magno Corrêa. Silogística: uma introdução à lógica dos enunciados categóricos. Revista Acadêmica, Puc-PR, Curitiba, v. 6, n. 11, p. 33-44, mar. 1995. ISSN: 0103-989X.

- Álgebra booleana e lógica digital: uma aplicação da lógica matemática
https://portaldeinformacao.utfpr.edu.br/Record/riut-1-424
http://repositorio.utfpr.edu.br/jspui/handle/1/424
http://repositorio.utfpr.edu.br/jspui/bitstream/1/424/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1994.pdf
* DIAS, Carlos Magno Corrêa. Álgebra booleana e lógica digital: uma aplicação da lógica matemática. Revista Acadêmica, Puc-PR, Curitiba, v. 5, n. 10, p. 47-56, set. 1994. ISSN: 0103-989X.

- Teoria da argumentação e análise inferencial em lógica matemática
https://portaldeinformacao.utfpr.edu.br/Record/riut-1-422
http://repositorio.utfpr.edu.br/jspui/handle/1/422
http://repositorio.utfpr.edu.br/jspui/bitstream/1/422/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1993.pdf
* DIAS, Carlos Magno Corrêa. Teoria da argumentação e análise inferencial em lógica matemática. Revista Acadêmica, Puc-PR, Curitiba, v. 4, n. 7, p. 9-15, mar. 1993. ISSN: 0103-989X.

- Escorço Histórico da Lógica Matemática
https://portaldeinformacao.utfpr.edu.br/Record/riut-1-423
http://repositorio.utfpr.edu.br/jspui/handle/1/423
http://repositorio.utfpr.edu.br/jspui/bitstream/1/423/1/REV.%20ACAD._Dias%2c%20Carlos%20Magno%20Corr%c3%aaa_1994.pdf
* DIAS, Carlos Magno Corrêa. Escorço histórico da lógica matemática. Revista Acadêmica, Puc-PR, Curitiba, v. 5, n. 9, p. 39-42, mar. 1994. ISSN: 0103-989X.

Já no PERI tenho oito artigos registrados que publiquei na Revista Tecnologia & Humanismo da UTFPR (então CEFET-PR) - ISSN: 0103-7064; quais sejam:

- São antinomias os paradoxos matemáticos?
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6329
http://periodicos.utfpr.edu.br/rth/article/view/6329
https://periodicos.utfpr.edu.br/rth/article/view/6329/3980
* DIAS, Carlos Magno Corrêa. São antinomias os paradoxos matemáticos? Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 16, p. 7-23, 2002. ISSN: 0103-7064.

- Silogística: uma introdução à lógica dos enunciados categóricos
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6598
http://periodicos.utfpr.edu.br/rth/article/view/6598
https://periodicos.utfpr.edu.br/rth/article/view/6598/4249
* DIAS, Carlos Magno Corrêa. Silogística: uma introdução à lógica dos enunciados categóricos. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 19, p. 41-53, 1999. ISSN: 0103-7064.

- Cálculo diferencial e integral através do Maple V
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6212
http://periodicos.utfpr.edu.br/rth/article/view/6212
https://periodicos.utfpr.edu.br/rth/article/view/6212/3863
* DIAS, Carlos Magno Corrêa. Cálculo diferencial e integral através do Maple V. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 26, p. 102-123, 2004. ISSN: 0103-7064.

- Teorema de Schröder-Bernstein e Teorema de Georg Cantor
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6340
http://periodicos.utfpr.edu.br/rth/article/view/6340
https://periodicos.utfpr.edu.br/rth/article/view/6340/3991
* DIAS, Carlos Magno Corrêa. Teorema de Schröder-Bernstein e Teorema de Georg Cantor. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 24, p. 8-27, 2003. ISSN: 0103-7064.

- Prolegômenos sobre a filosofia da matemática
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6518
http://periodicos.utfpr.edu.br/rth/article/view/6518
https://periodicos.utfpr.edu.br/rth/article/view/6518/4169
* DIAS, Carlos Magno Corrêa. Prolegômenos sobre a filosofia da matemática. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 16, p. 52-62, 1996. ISSN: 0103-7064.

- Argumentos dedutivos: análise inferencial e teoria da argumentação em lógica matemática
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6496
http://periodicos.utfpr.edu.br/rth/article/view/6496
https://periodicos.utfpr.edu.br/rth/article/view/6496/4147
* DIAS, Carlos Magno Corrêa. Argumentos dedutivos: análise inferencial e teoria da argumentação em lógica matemática. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, n. 18, p. 26-38, 1998. ISSN: 0103-7064.

- Lógica digital: uma interpretação da lógica matemática
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6523
http://periodicos.utfpr.edu.br/rth/article/view/6523
https://periodicos.utfpr.edu.br/rth/article/view/6523/4174
* DIAS, Carlos Magno Corrêa. Lógica digital: uma interpretação da lógica matemática. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 15, p. 26-42, 1996. ISSN: 0103-7064.

- Lógica matemática: um sistema científico de raciocínio
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6546
http://periodicos.utfpr.edu.br/rth/article/view/6546
https://periodicos.utfpr.edu.br/rth/article/view/6546/4197
* DIAS, Carlos Magno Corrêa. Lógica matemática: um sistema científico de raciocínio. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 11, p. 23-30, 1993. ISSN: 0103-7064.

- O curso de engenharia industrial elétrica: ênfase eletrônica/telecomunicações da UTFPR
https://portaldeinformacao.utfpr.edu.br/Record/peri-article-6464
http://periodicos.utfpr.edu.br/rth/article/view/6464
https://periodicos.utfpr.edu.br/rth/article/view/6464/4115
* DIAS, Carlos Magno Corrêa et al. O curso de engenharia industrial elétrica: ênfase eletrônica/telecomunicações da UTFPR. Revista Tecnologia & Humanismo, Cefet-PR, Curitiba, v. 22, n. 35, p. 68-98, 2008. ISSN: 0103-7064.

As Bibliotecas são o repositório do conhecimento humano para multiplicar infinitas possibilidades.

Carlos Magno Corrêa Dias
18/03/2021