DISCRETE MATHEMATICS 1.0 ------------------------ This file is the place to start looking at the project Discrete Mathematics (version 1.0) for 'webMathematica'. This software is released as FREEWARE. Below you'll find 1. ABSTRACT 2. THE FILES YOU SHOULD GET 3. SYSTEM REQUIREMENTS 4. INSTALLING DISCRETE MATHEMATICS 5. LIMITATIONS 6. ACKNOWLEDGEMENTS 7. DISCLAIMER --- Further enquires should be addressed to: Nicolae.Nicorovici@uts.edu.au Geoff.H.Smith@uts.edu.au ------------------------------------------------------------------------- 1. ABSTRACT ----------- The aim of this self-learning package is to use the software packages 'webMathematica' and 'Mathematica', to understand certain aspects of discrete mathematics. The project is divided into three main modules, namely: - set theory, - functions, - logic and truth tables. 2. THE FILES YOU SHOULD GET --------------------------- On the diskette you should find the following items: DiscreteMaths.zip Archive of MSP files SetTheory.zip Archive of Mathematica packages ReadMe.txt This file Install_DiscreteMaths.nb Mathematica notebook with installation details The last version of DISCRETE MATHEMATICS can be downloaded at URL http://library.wolfram.com/database/MathSource/4531/ 3. SYSTEM REQUIREMENTS ---------------------- Operating system WINDOWS 98, NT, ME, 2000 or XP. Other requirements Internet Explorer (Version 5.0 or later), Mathematica (Version 4.0 or later). In order to support MSPs (Mathematica Server Pages) you will need a standalone servlet engine such as Apache Tomcat, and a license for webMathematica. This is the simplest type of site to set up. Details about installation of these components can be found in the documentation of webMathematica (http://www.wolfram.com). 4. INSTALLING DISCRETE MATHEMATICS ---------------------------------- You have to install the MSP files and Mathematica packages, respectively, in the directories: C:\Program Files\Wolfram Research\Mathematica\4.0\AddOns\Applications\MSP\MSPScripts\DiscreteMaths and C:\Program Files\Wolfram Research\Mathematica\4.0\AddOns\Applications\SetTheory If the subdirectories "DiscreteMaths" and "SetTheory" do not exist you have to create them, so if you have directories with these names, on the path, please change the name of your directory; in the present form the system does not work on other path. Details about installation are given in the notebook "Install_DiscreteMaths.nb". Then, start the HTTP server and Internet Explorer, type the URL: http://localhost:8080/webMathematica/MSP/DiscreteMaths/Main.msp in the Address box on the toolbar of the browser, and follow the links to more detailed explanations and exercises. 5. LIMITATIONS -------------- Some known limitations are: - Due to some difficulties in setting the fonts, you have to use Internet Explorer. The Netscape browser cannot recognize all the Mathematica fonts. - This a first version of our project. It is not fully optimized and we are working to improve it. - When you start the exercises for "Random Venn Diagrams" and check your answer, the package will also show a hint which, generally, is a relatively complicate expression. This is because the package used to simplify logical expressions does not always work and has been switched off. 6. ACKNOWLEDGEMENTS ------------------- The mathematica packages "Logic$exs$01.m" and "Logic$exs$02.m" are using the package "Logic.m" by M. J. Watson (Electronic Supplement of Mathematica Journal Vol. 1, Issue 1 (1990)). This project has been supported by a 1998 National Teaching Development Grant. Helpful suggestions from Tom Wickham-Jones are also acknowledged. 7. DISCLAIMER ------------- THIS SOFTWARE AND THE ACCOMPANYING FILES ARE DISTRIBUTED "AS IS" AND WITHOUT ANY WARRANTIES WHETHER EXPRESSED OR IMPLIED. NO REPONSIBILITIES FOR POSSIBLE DAMAGES OR EVEN FUNCTIONALITY CAN BE TAKEN. THE USER MUST ASSUME THE ENTIRE RISK OF USING THIS PROGRAM.