7. At the conference, in the classroom


  • By far the most widely used/widely recommended LaTeX presentation package is beamer.cls (Till Tantau, 2003-07: maintained by Vedran Miletić and Joseph Wright). Every logic talk with slides that I’ve been to in the last few years has evidently used this package.
  • For other LaTeX presentation options, see Screen Presentation Tools (Michael Wiedmann’s comprehensive comparison page, revised in 2014).

Problem sets

  • probsoln.sty (Nicola Talbot, 2000-12): simple package for generating problems sheets — and answer sheets — by selecting from problems and solutions defined in another file).
  • exercise.sty (Paul Pichaureau 2004-09): flexible package for setting out exercises/answers in various documents.
  • exam.sty (Philip Hirschhorn 1994-2011): a nice option in you want to maintain a single document which, with a single toggle,  both prints a preamble-and-exercises set, and a set of exercises-and-solutions. (This is what I have chosen to use for my Gödel book exercises).

Links checked 30 January 2016

Leave a Reply

Your email address will not be published. Required fields are marked *