Journal home page
Submit an item
Download style files
In this article, we share our experience with PracTeX readers about LaTeX and the toolbox that the students of Formal Logic of the Master in Computer Science from the Federal University of Santa Catarina (UFSC) in Brazil are using to prepare handouts, books, articles, dissertations, and to solve exercises. We present some tools we have found useful for students who are developing projects in Formal Logic: a proof style, some useful sites, styles of numbering, and referencing of proclamations, references in BibTeX format and directions reading. The work done in this area requires a certain formality and rigor, and we believe that these can be successfully achieved by the use of LaTeX.
Este artigo tem o objetivo de compartilhar a nossa experiência sobre LaTeX e apresentar a caixa de ferramentas que os alunos da disciplina de Lógica Formal do Mestrado em Ciência da Computação da Universidade Federal de Santa Catarina (UFSC) utilizam para elaborar apostilas, livros didáticos, artigos, dissertações de mestrado e resolver exercícios. Apresentamos algumas ferramentas que consideramos úteis para os alunos que estão desenvolvendo trabalhos na área de Lógica Formal: estilos de provas, sítios úteis, estilos de numeração e referenciação de proclamações, referências bibliográfias em formato BibTeX e indicações de leitura. Os trabalhos desenvolvidos nessa área necessitam de um certo formalismo e rigor; nós creditamos que tais características podem ser alcançadas através do LaTeX.
Aracele Garcia has a M.S. in Computer Science from the Department of Informatics and Statistics of the Federal University of Santa Catarina, Brazil. She was awarded her masters degree in the area of Formal Logic. During her studies her advisor was Arthur Buchsbaum, who encouraged her to learn LaTeX. For more details, please visit Aracele's site at http://www.inf.ufsc.br/~aracele, and her CV at http://lattes.cnpq.br/4653358157110108.
Arthur Buchsbaum is an Associate Professor of Logic and Discrete Mathematics at the Department of Informatics and Statistics of the Federal University of Santa Catarina, Brazil. He started using LaTeX in 1992, and gradually realized how important it is for composing well structured papers and books. He loves logic not just as an academic activity, but mainly as a powerful tool for learning how to think in a precise way, and to avoid being limited by preconceived ideas. Visit Arthur's professional site at http://www.inf.ufsc.br/~arthur.
You can contact the authors by sending an email to or
Page generated June 9, 2010 ; TUG home page; search; contact webmaster.