Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.

O presente texto tem por objetivo introduzir conceitos e tecnicas basicas de Matematica que sao essenciais em diversas areas da Engenharia Informatica e da Ciencia da Computacao. Em particular, introduzem-se os conhecimentos matematicos elementares que sao a base dos fundamentos matematicos da computacao e da analise de algoritmos. Por essa razao, este texto destina-se sobretudo a alunos do primeiro ano de cursos universitarios nessas areas. Procura-se familiarizar o leitor com a linguagem e raciocinio matematicos e introduzir alguns dos conceitos e estruturas que sao fundamentais em Ciencia e Tecnologia, tais como conjuntos, relacoes, funcoes, estruturas algebricas e relacionais (e seus morfismos). Apresentam-se ainda definicoes recursivas e sua fundamentacao e utilizacao, bem como tecnicas de demonstracao por inducao. Particular atencao e dada ao que se convenciona chamar Matematica do discreto, tendo sido escolhidos como topicos privilegiados de aplicacao a analise de algoritmos, recursivos e imperativos, com estudo do seu comportamento assimptotico e a demonstracao de algumas propriedades de programas. Nao se assumem pre-requisitos de Matematica para alem dos assuntos lecionados no Ensino Secundario.