7. In the classroom

Presentations.

  • 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.
    • The Beamer manual is long and complicated: there is a minimal LaTeX for Logicians User Guide for Beamer.
    • Beamer by Example, PracTeX journal article by Andrew Mertz and William Slough.
    • There are links to further tutorials on this Wikipedia Beamer page.
    • The Beamer theme that I use is logictheme.sty. Save that as a textile called logictheme.sty, or whatever. Place the file somewhere LaTeX can find it (a copy in the folder with your presentation file will work, of course). Call by \usepackage{logic theme}.
  • For other LaTeX presentation options, see Screen Presentation Tools (Michael Wiedmann’s comprehensive comparison page, nearly revised in 2012).
  • Mathfonts.pdf: beamer presentation showing usage of various fonts in presentations.
  • Mac OS X users using Keynote presentations and wanting to insert just a little logical material can use the LaTeX Equation Editor.

Problem sets

  • probsoln.sty (Nicola Talbot, 2000-11): 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.

Leave a Reply

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

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>