Discrete Mathematics Resources
Computer & Information Systems, Robert Morris University

Software

• Logic Programming: SWI-Prolog - available in Moon Campus and Pittsburgh Center labs; to download: http://www.swi-prolog.org/ - for Prolog instruction, see Prolog excerpts from Winfried Karl Grassmann and Jean-Paul Temblay, Logic and Discrete Mathematics: A Computer Science Perspective (Prentice Hall, 1996) in Topic 2: Logic of your supplementary text: Valerie J. Harvey, Brian Harris, E. Gregory Holdan, Mark M. Maxwell, David F. Wood, eds., Discrete Mathematics Applications for Information Systems Professionals (Pearson, 2003).
• Microsoft Word - Insert - Symbol - Symbols - select font: symbol for most work, see also Lucida Sans Unicode
• Microsoft Word - Insert - Symbol - Symbols - select font: Zed (source: Richard Jones (Computing Laboratory, University of Kent at Canterbury, Canterbury, UK) - symbols for the ISO Z model-based specification language; see www.cs.kent.ac.uk/people/staff/rej/Zedfont/latest/
• Microsoft Word - Insert - Object - Microsoft Equation 3.0 (to edit logic and set theory statements) (or MathType 5.0) - note overbar option in both Microsoft Equation and MathType for negation and complementation (both overbar and double overbar supported). To enhance Microsoft Word and Microsoft Equation 3.0 with MathType 5.0, see: http://www.mathtype.com/en/products/ee/
• Microsoft Word - Drawing Toolbar - Insert Diagram or Organizational Chart - Select Venn Diagram to create 2-set and 3-set and other Venn diagrams. Other options if available to you for Venn and Euler diagrams: SmartDraw, Visio.
• Logic software from the Center for the Study of Language and Information at Stanford University; see http://www-csli.stanford.edu/hp/ See also [BAR2002]. Tarski's World (Jon Barwise, John Etchemendy and Dave Barker-Plummer in collaboration with Albert Liu, Center for the Study of Language and Information (CSLI), Stanford University): please follow instructions for the CSLI Tarski's World 5.3 pilot project; use to carry out logic assignments.
• Demonstration WinLogiLab, by Charles Hacker, Electronics and Signal Processing Group, Griffith University, Gold Coast, Queensland, Australia: http://www.gu.edu.au/school/eng/mmt/WinLLab.html for practice with logic gates and combinatorial circuit select module DigTrace; for number system conversions of numbers, select module BaseCon; for Finite State Machines, select module StateMach. Use print screen technique to hand in hard copy assignments.
• Petri Nets: www.daimi.au.dk/PetriNets

Contact: Valerie J. Harvey, RT(R), PhD, C&IS, RMU