|
|
This model was developed by Bibi Hussain in her third year project in 2000-2001. It illustrates the construction of two types of lattice: boolean lattices (as represented by the powerset B3 of a 3 element set) and free distributive lattices [FDLs] (as represented by monotone boolean functions with 3 arguments or equivalently propositions involving 3 variables and the connectives AND and OR). The model animates set union and intersection in B3, and displays the correspondence between elements of FDL3 and decreasing subsets of B3. Each decreasing family of subsets X determines a unique monotone boolean function that takes the value 0 on all the characteristic vectors associated with sets in X. [WMB]
| fdl3Hussain2001 is available locally within DCS at /dcs/emp/empublic/projects/fdl3Hussain2001 |
| Download fdl3Hussain2001.tar.gz Uncompressed, fdl3Hussain2001 is 37.3 Kbytes (in 12 files). Your download will be smaller as it will be compressed. Help on extracting the files from the download. |
README.txt |
1893 | 08:40 PM Aug 29 2002 | 09:53 AM Apr 02 2007 |
README.txt~ |
1870 | 08:23 PM Aug 29 2002 | 09:53 AM Apr 02 2007 |
README.xml |
1242 | 08:41 PM Aug 29 2002 | 09:53 AM Apr 02 2007 |
Run.e |
96 | 08:36 PM Aug 29 2002 | 09:53 AM Apr 02 2007 |
fdl3.e |
3970 | 06:59 AM Mar 12 2002 | 09:53 AM Apr 02 2007 |
fdl3BibiHussain2000.txt |
1339 | 11:43 AM Aug 20 2002 | 09:53 AM Apr 02 2007 |
fdl3screenshot2.gif |
15162 | 08:43 PM Aug 29 2002 | 09:53 AM Apr 02 2007 |
lattice.e |
3003 | 02:55 PM Jul 29 2002 | 09:53 AM Apr 02 2007 |
latticeWin.d |
1113 | 09:47 AM May 03 2002 | 09:53 AM Apr 02 2007 |
wmbsupp.e |
137 | 08:20 AM Jul 27 2002 | 09:53 AM Apr 02 2007 |
wmbsupp.script |
711 | 10:45 PM Aug 16 2002 | 09:53 AM Apr 02 2007 |
xyPanel.s |
7664 | 06:32 PM Apr 23 2002 | 09:53 AM Apr 02 2007 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
