This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.) whose behaviour is subject to ideal constraints that may not always be fulfilled in practice. The papers range from theoretical studies of the logical and conceptual tools needed, to studies of various applications. The set of papers collected in this book should be of interest to investigators working in a variety of fields, from philosophy, logic and legal theory to artificial intelligence, computer and management sciences, since it covers topics ranging from theoretical research on foundational issues in deontic and action logics, defeasible reasoning, decision theory, ethical theory, and legal theory, to research on a variety of issues relevant to applications connected with expert systems in the law, document specification, automation of defeasible reasoning, specification of responsibilities and powers in organizations, normative systems specification, confidentiality in database systems, and a host of other applications.

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.