A série de livros intitulada Pensamento Matemático @ Ciência da Computação é aqui iniciada, no INE-UFSC, aberta aos que lidam com matemática, lógica e ciência da computação, possivel de se publicar livros, no template do ABNTeX2, dentro da liberdade de edição do autor na Agência Brasileira do ISBN, do serviço de catalogação da BU-UFSC e da projeção do sistema Repositório Institucional da UFSC. A ideia é reunir materiais em forma livros que mostrem a utilização da matemática e da lógica, aplicadas à ciência da computação em todos os seus segmentos. Afinal, toda a ciência da computação foi construída com base na Matemática e na Lógica. O que é essencial nesta coleção é mostrar como os conceitos da matemática e da lógica influiram e serviram (ou que influem e servem) no surgimento e construção da ciência da computação. A intenção do conhecimento aqui exposto é servir de apoio em disciplinas de matemática, lógica ou computação teórica. Numa tentativa de acrescentar o conhecimento sobre as raízes e a evolução da ciência da computação, o material exposto deve proporcionar uma visão que outros livros, que tratam de temas específicos, não contemplam do ponto de vista histórico, conceitual e aplicado.