home *** CD-ROM | disk | FTP | other *** search
/ Math Solutions 1995 October / Math_Solutions_CD-ROM_Walnut_Creek_October_1995.iso / pc / msdos / discrete / files.bbs < prev    next >
Encoding:
File List  |  1995-08-13  |  750 b   |  16 lines
  1.  Math Solutions CDROM, August 1995.  Walnut Creek CDROM.
  2.  -------------------------------------------------------
  3.  Discrete Mathematics
  4.  path: \msdos\discrete 
  5.  -------------------------------------------------------
  6. catbox1.zip  A collection of 11 programs mostly concerned with graph theory. Disk 1/2
  7. catbox2.zip  A collection of 11 programs mostly concerned with graph theory. Disk 2/2
  8. isetl.zip    Interactive math. language based on sets.
  9. isetldoc.zip Documentation for isetl.zip.
  10. isetlsrc.zip Source code for isetl.zip.
  11. jkpropc.zip  Propositional Logic Program.
  12. jkxpres.zip  Extended Precision Integers.
  13. truth.zip    Generates truth tables.
  14. venn.zip     Displays Venn diagrams.
  15. voting.zip   Illustrations of four voting schemes.
  16.