Elementos de Matematica Discreta - Carmo, Jose

. .

Résumé :
O presente texto tem por objetivo introduzir conceitos e t?cnicas b?sicas de Matem?tica que s?o essenciais em diversas ?reas da Engenharia Inform?tica e da Ci?ncia da Computa??o. Em particular, introduzem-se os conhecimentos matem?ticos elementares que s?o a base dos fundamentos matem?ticos da computa??o e da an?lise de algoritmos. Por essa raz?o, este texto destina-se sobretudo a alunos do primeiro ano de cursos universit?rios nessas ?reas. Procura-se familiarizar o leitor com a linguagem e racioc?nio matem?ticos e introduzir alguns dos conceitos e estruturas que s?o fundamentais em Ci?ncia e Tecnologia, tais como conjuntos, rela??es, fun??es, estruturas alg?bricas e relacionais (e seus morfismos). Apresentam-se ainda defini??es recursivas e sua fundamenta??o e utiliza??o, bem como t?cnicas de demonstra??o por indu??o. Particular aten??o ? dada ao que se convenciona chamar Matem?tica do discreto, tendo sido escolhidos como t?picos privilegiados de aplica??o a an?lise de algoritmos, recursivos e imperativos, com estudo do seu comportamento assimpt?tico e a demonstra??o de algumas propriedades de programas. N?o se assumem pr?-requisitos de Matem?tica para al?m dos assuntos lecionados no Ensino Secund?rio.