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.