@Book{carmo12b,
  Title                    = {Elementos de Matem{\'a}tica Discreta},
  Author                   = {Carmo, J.~ and Gouveia, P.~ and Dion{\'\i}sio, F.~},
  Publisher                = {College Publications},
  Year                     = {2013},
  Series                   = {Cadernos de Lógica e Computação},
  Volume                   = {5},
  Abstract                 = {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 universityá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&eacure;bricas e relacionais (e seus morfismos). Apresentam-se ainda defineções recursivas e sua fundamentação e utilização, bem como t&eacue;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.},
  Owner                    = {jluis},
  Timestamp                = {2013.01.07}
}