Um livro texto para lgebra Aplicada Computao

Jaime Evaristo Departamento de Tecnologia da Informao Universidade Federal de Alagoas jaime@ccen.ufal.br

Resumo
O ensino de matemtica discreta (ou lgebra abstrata) para os cursos da rea de computao e informtica recomendado por todas as verses do Currculo de Referncia da Sociedade Brasileira de Computao e fortemente sugerido pelas Diretrizes Curriculares para os Cursos da rea de Computao e Informtica, da Comisso de Especialistas de Ensino de Computao e Informtica-CCEInf. O artigo a seguir apresenta o livro de nossa autoria Introduo lgebra (com aplicaes Cincia da Computao), livro texto para uma disciplina que contemple a recomendao do Currculo de Referncia e das Diretrizes Curriculares a respeito da matemtica discreta.

Abstract
The teaching of discrete mathematics (or abstract algebra) for the courses of the computing and informatic area is recommended by all the versions of the Reference s Curriculum of the Brazilian Computer Society and strongly suggested by the Curriculum s Guidelines for the Computing and Informatic Courses of the Specialist Teaching Comission on Computing and Informatics-CCEInf. The following article presents the book, written by us: Introduo lgebra (com aplicaes Cincia da Computao), class book for a discipline that observes the recommendation of the Reference Curriculum and of the Curriculum s s Guidelines regarding the discrete mathematics. Palavras-chave: matemtica discreta, lgebra abstrata, aplicaes Cincia da Computao, nmeros inteiros.

1. Introduo
Segundo as Diretrizes Curriculares para os Cursos da rea de Computao e Informtica apresentadas pela Comisso de Especialistas de Ensino de Computao e Informtica-CCEInf ao Conselho Nacional de Educao, ... a matemtica, para a rea de computao, deve ser vista como uma ferramenta a ser usada na definio formal de conceitos computacionais (linguagens, autmatos, mtodos etc.). Os modelos formais permitem definir suas propriedades e dimensionar suas instncias, dadas suas condies de contorno. Considerando que a maioria dos conceitos computacionais pertencem ao domnio do discreto, a matemtica discreta (ou tambm chamada lgebra abstrata) fortemente empregada.

No nosso entendimento, a necessidade de que um curso de graduao contemple o estudo da lgebra abstrata no se restringe apenas ao fato de que a maioria dos conceitos computacionais pertencem ao domnio do discreto e sim, sobretudo, pelo fato de que o desenvolvimento desta parte da matemtica contempla o exerccio da linguagem matemtica que , sem sombra de dvidas, a linguagem mais apropriada para a cincia, em particular a Cincia da Computao. Ou seja, ao se estudar lgebra abstrata aprende-se a ler matemtica (e, portanto, aprende-se a ler cincia); aprende-se a escrever matemtica (e, portanto, aprende-se a escrever cincia). Alm disto, o estudo da lgebra abstrata permite o desenvolvimento de vrias tcnicas de demonstraes de fatos cientficos, tcnicas estas que so utilizadas fortemente nas disciplinas que estudam os aspectos formais da Cincia da Computao. Alm disto, ainda, o estudo da lgebra abstrata propicia, de forma bastante natural, que se apresentem formas de estabelecimento de novas teorias cientficas, o que, sem nenhuma dvida, ir facilitar os egressos dos cursos da rea de Computao e Informtica que ingressarem no campo da pesquisa.

2. A ementa
O Currculo de Referncia 99 (CR99), aprovado no Congresso da Sociedade Brasileira de Computao realizado na Cidade do Rio de Janeiro em 1999, sugere a seguinte ementa para a disciplina lgebra Abstrata, como parte da matria Matemtica. Conjuntos. Funes. Relaes sobre conjuntos: relaes de equivalncia e de ordem. Induo matemtica. Recurso. Sistemas algbricos. Lgica e circuitos lgicos: linguagens simblicas, tabelas-verdade, equivalncia lgica, funes booleanas, diagramas de Karnaugh. Reticulados. Monides. Grupos. Anis. Teoria dos cdigos: canal binrio simtrico, cdigo de blocos, matrizes geradoras e checadoras, cdigos de grupo, cdigos de Hamming. Teoria dos domnios: ordens parciais completas, continuidade, ponto fixo, domnios, espao das funes. No nosso entendimento, e enfatizando o que foi dito na seo anterior, uma primeira disciplina para o estudo da matemtica discreta para alunos da rea de computao e informtica deveria contemplar o mnimo de conceitos algbricos para que a maior parte do seu desenvolvimento seja destinado: nfase da necessidade da conceituao formal dos elementos bsicos de uma cincia e de que todo conceito formal s pode conter elementos conceituados anteriormente; nfase da necessidade de que as assertivas cientficas sejam devidamente provadas (ou fixadas axiomaticamente); ao estudo de tcnicas de demonstrao; leitura de textos matemticos; ao estudo de tcnicas de resoluo de problemas com a possibilidade consequente do desenvolvimento de raciocnios abstratos; ao realce de aspectos histricos da cincia; s aplicaes dos conceitos matemticos Cincia da Computao. Nesta perspectiva, propomos uma primeira disciplina (sessenta horas, no mximo no terceiro semestre do curso) que contemple apenas cinco entes algbricos: conjuntos, relaes binrias, funes, anis (restrito aos anis dos inteiros e aos anis inteiros mdulo n) e

corpos (restrito ao corpo de fraes de um domnio de integridade, em particular o corpo dos nmeros racionais). Conjuntos pelo fato de que sua linguagem a base da linguagem da lgebra, alm do que permite o estabelecimento da necessidade de fixao de entes e conceitos primitivos de uma cincia; relaes binrias para que se possa, entre outras coisas, se definir os inteiros mdulo n e o corpo de fraes de um domnio de integridade; funes para que se possa, por exemplo estabelecer igualdade entre estruturas algbricas; anis para que se possa construir axiomaticamente o anel dos inteiros, apresentando o mtodo da construo axiomtica de uma teoria cientfica e, a partir do anel dos inteiros, se estude teoria dos nmeros, discutindo divisibilidade, mximo divisor comum, nmeros primos, etc., conceitos que permitem aplicaes importantes para a Cincia da Computao; e corpos para que se apresente os nmeros racionais a partir de definies, em contraposio apresentao dos nmeros inteiros que seria feita de forma axiomtica. Em relao aos outros importantes conceitos algbricos listados na ementa proposta pelo CR99, propomos que eles sejam apresentados quando da necessidade de sua aplicao (por exemplo, reticulados em computao grfica). Tendo nos semestres iniciais visto a necessidade de conceituasses formais e apreendido diversas definies abstratas, o aluno, diante da aplicao imediata, ter mais condies de absorver os novos conceitos.

3. O livro
Focando os pontos discutidos acima, o livro Introduo lgebra (com aplicaes Cincia da Computao) contm nove captulos. O primeiro deles trata de Conjunto e Funes que trs a preocupao de que nada seja utilizado sem que houvesse sido definido ou concebido como conceito primitivo anteriormente. Por exemplo, funo definida antes que sejam definidas as operaes com conjuntos (isto para que se possa definir operaes em conjuntos); para que se possa definir operaes com conjuntos, definem-se antes funes boleanas (aqui chamadas predicados) e operaes lgicas; o conjunto vazio s definido aps a definio de contradio em um conjunto. Neste sentido, o captulo contm as seguintes sees: 1.1 Conceitos e entes primitivos; 1.2 Subconjuntos; 1.3 Uma representao de conjuntos; 1.4 Igualdade de conjuntos; 1.5 Par ordenado e produto cartesiano de dois conjuntos; 1.6 Relaes Binrias; 1.7 Funes; 1.8 Outra representao de conjuntos; 1.9 Operaes em conjuntos; 1.11 Operaes com conjuntos; 1.12 Uma operao com funes; 1.13 Funes inversas; 1.14 Conjuntos finitos; 1.15 Exerccios. O captulo 2 trata da construo axiomtica dos nmeros inteiros. Na verdade, houve uma grande dvida na concepo do livro entre tratar os inteiros como conhecidos ou constru-los axiomaticamente, definindo-o como o "nico" domnio bem ordenado. Optamos pela segunda possibilidade para que o aluno seja defrontado com uma forma de se conceber uma teoria cientfica (no caso uma teoria axiomtica) e para que o aluno seja devidamente instrudo sobre a necessidade de que os entes cientficos sejam formalmente concebidos. Com este objetivo o captulo estuda basicamente os anis e, para tal, contm as seguintes sees: 2.1 Teoria axiomtica; 2.2 Anis; 2.3 Elementos inversveis; 2.4 Anis isomorfos; 2.5 Domnio de integridade; 2.6 Anis ordenados; 2.7 Domnio bem ordenado; 2.8 Exerccio. O captulo 3 apresenta algumas propriedades bsicas dos inteiros (por exemplo, no existe inteiro entre 0 e 1) e o Princpio da Induo Matemtica, importante mtodo para demonstraes de assertivas envolvendo os inteiros. O captulo contm as seguintes sees: 3.1 Duas propriedades bsicas; 3.2 Valor absoluto; 3.3 Induo matemtica; 3.4 Mltiplos de um elemento de um anel; 3.5 Exerccios.

Para que sejam utilizados em demonstraes dos captulos seguintes (inclusive em aplicaes da lgebra Cincia da Computao) e considerando que o livro se destina tambm a alunos de outras reas do conhecimento (Matemtica, principalmente), o captulo 4 apresenta, informalmente, algoritmos e estabelece uma linguagem algortmica bsica (seis comandos apenas) que permitem (nos captulos seguintes) o desenvolvimento de algoritmos que demonstram a existncia de inteiros que verificam alguma propriedade. O captulo 5 trata da representao dos nmeros inteiros. Nele discutida a diviso euclidiana e, a partir dela, se mostra que os inteiros podem ser representados a partir de um nmero finito deles. So os sistemas de numerao. Apresenta, tambm, a representao interna dos nos computadores e discute as razes pelas quais existe uma diferena de 32 entre os cdigos ASCII de uma letra maiscula e da sua minscula correspondente; pelas quais o cdigo ASCII de A 65 (e no 1, ou 10, ou 20). Apresenta, ainda, utilizando a representao do inteiro no sistema binrio, um algoritmo para o clculo de potncias mais rpido do que aquele obtido diretamente da definio de potncia. Para atingir estes objetivos, o captulo contm as sees 5.1 Diviso euclidiana; 5.2 Sistemas de numerao; 5.3 Representao em computadores; 5.4 Potncias Parte II; 5.5 Exerccios. O Teorema Fundamental da Aritmtica o objeto de estudo do captulo 6. Para tal discutido o conceito de mximo divisor comum e apresentado, com as devidas justificativas, o algoritmo de Euclides. discutido, tambm, o importante conceito de nmero primo e so apresentados alguns algoritmos (entre eles o Crivo de Eratstenes) para obteno de nmeros deste tipo. Apresenta, ainda, a ineficincia dos algoritmos para fatorao de inteiros e alguns aspectos histricos sobre a busca de uma frmula para obteno de nmeros primos. Isto, e algumas coisas mais, obtido atravs das sees 6.1 Mximo divisor comum; 6.2 Nmeros primos; 6.3 Divisor primo de um inteiro; 6.4 Nmeros primos - Parte II; 6.5 Fatorao nica; 6.6 Nmeros primos - Parte III; 6.7 Exerccios. O captulo 7 discute a aritmtica modular. discutido ento a relao de equivalncia congruncia mdulo n, cujas classes de equivalncia geram o anel dos inteiros mdulo n, o que permite a apresentao de anis diferentes, intrinsecamente, do anel dos inteiros. Como aplicao da congruncia mdulo n, o captulo apresenta formalmente fatos matemticos que nos so ensinados (sem nenhuma justificativa) nas sries iniciais do ensino fundamental como critrios de divisibilidade e a famosa prova dos nove". O captulo contm ainda um estudo das congruncias lineares que permite a obteno de inversos de elementos de anis Zn, uma apresentao da funo de Euler e, como no podia deixar de conter, uma apresentao breve dos aspectos histricos envolvendo o ltimo Teorema de Fermat. As sees deste captulo so: 7.1 Congruncias; 7.2 Aplicaes: critrios de divisibilidade; 7.3 Aplicao: prova dos nove; 7.4 Potncias mdulo n; 7.5 Os anis Zn; 7.6 Congruncias lineares; 7.7 A funo de Euler; 7.8 O ltimo Teorema de Fermat; 7.9 Exerccios. O captulo que segue apresenta uma maravilhosa aplicao da lgebra abstrata Cincia da Computao: o mtodo de criptografia RSA. A todas as etapas para aplicao deste mtodo (codificao, decodificao, assinaturas eletrnicas) so apresentadas e algebricamente justificadas pela aplicao de teoremas e conceitos discutidos nos captulos anteriores. Finalmente, o captulo 9 trata de corpos, em particular do corpo dos nmeros racionais. So apresentados nmeros que no so racionais e alguns fatos a respeito do quociente e do resto da diviso euclidiana de dois inteiros. Alm disto, para estimar a

eficincia do algoritmo de Euclides (mantendo a mxima de que nada que no foi definido antes pode ser utilizado) apresentado uma "pesquisa" em matemtica, onde "novas" funes so definidas, com "novos" conceitos sendo estabelecidos. Isto tudo discutido nas sees 9.1 Introduo; 9.2 O corpo de fraes de um domnio de integridade; 9.3 Os nmeros racionais; 9.4 "Nmeros" no racionais; 9.5 Diviso euclidiana - Parte II; 9.6 O algoritmo de Euclides Parte II; 9.7 Exerccios.

4. Exerccios e Manual de Solues

Para que o aluno possa sedimentar os conceitos apresentados, exercitar tcnicas de demonstrao e aprender a escrever matemtica, o livro contm (sem a contabilizao de itens) 126 exerccios, a maioria do tipo "mostre que". As solues dos exerccios esto reunidas num exemplar denominado Manual de Solues, disponvel via mensagem eletrnica encaminhada ao autor (jaime@ccen.ufal.br).

5. Consideraes finais
Naturalmente, um novo livro no pode ser simplesmente mais um livro. Um novo livro deve ter uma identidade prpria que o diferencie dos demais livros existentes. Neste sentido, entendemos que o livro aqui apresentado se diferencia dos livros existentes nos seguintes pontos: 1. Ordenao prpria na apresentao dos tpicos normalmente estudados em Conjuntos e Funes, com o objetivo de que nenhum conceito no fixado anteriormente seja utilizado; 2. Maior detalhamento das demonstraes das proposies matemtica, com o objetivo de que o leitor aprenda a ler matemtica e desenvolva tcnicas de demonstrao de fatos cientficos; 3. Justificativas de fatos introdutrios interessantes da Cincia da Computao, geralmente, no discutidos pela literatura desta Cincia; 4. Apresentao de uma aplicao prtica toda baseada em fatos fundamentais da matemtica; 5. Apresentao dos resultados de uma pesquisa (aspas devido ao nvel de profundidade) matemtica, com estabelecimento de novos conceitos e de proposies decorrentes destes novo conceitos; 6. Disponibilizao das solues de todos os exerccios propostos. As idias postas no livro vm sendo aplicadas acerca de trs anos, estando o mesmo sendo utilizado no corrente semestre com alunos do terceiro semestre do Curso de Cincia da Computao da Universidade Federal de Alagoas com resultados, em relao aos seus objetivos, bastante satisfatrios, melhores do que os resultados obtidos quando as idias eram aplicadas baseadas em outros livros textos.

Bibliografia
Evaristo, J, Introduo Informtica (com aplicaes Cincia da Computao). EDUFAL, Macei, 1999. Currculo de Referncia da SBC para os Cursos de Graduao em Computao, verso 1999, www.sbc.org.br/educao. Diretrizes Curriculares de Cursos da rea de Computao http://www.mec.gov.br/nivemod/educsupe/diretriz.shtm#diretrizes e Informtica,