Description
O presente texto tem por objetivo introduzir conceitos e tcnicas bsicas de Matemtica que so essenciais em diversas reas da Engenharia Informtica e da Cincia da Computao. Em particular, introduzem-se os conhecimentos matemticos elementares que so a base dos fundamentos matemticos da computao e da anlise de algoritmos. Por essa razo, este texto destina-se sobretudo a alunos do primeiro ano de cursos universitrios nessas reas. Procura-se familiarizar o leitor com a linguagem e raciocnio matemticos e introduzir alguns dos conceitos e estruturas que so fundamentais em Cincia e Tecnologia, tais como conjuntos, relaes, funes, estruturas algbricas e relacionais (e seus morfismos). Apresentam-se ainda definies recursivas e sua fundamentao e utilizao, bem como tcnicas de demonstrao por induo. Particular ateno dada ao que se convenciona chamar Matemtica do discreto, tendo sido escolhidos como tpicos privilegiados de aplicao a anlise de algoritmos, recursivos e imperativos, com estudo do seu comportamento assimpttico e a demonstrao de algumas propriedades de programas. No se assumem pr-requisitos de Matemtica para alm dos assuntos lecionados no Ensino Secundrio.
