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.