Elementos de Matematica Discreta

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.