Skip to main content navigation
parent site logoSite logo

Projects archive / Monotone Boolean Functions in 4 variables

Code:mbf4Beynon2003
Title:Monotone Boolean Functions in 4 variables
Authors:Meurig Beynon, Chris Roe
Date:Jun-2003
Type:model
Funding:Acad - Academic research
Short description:Lattices, Boolean Functions and CPL maps
EM Technologies:tkeden, %eden, %scout, %donald, %eddi
Keywords:education, geometry
empublic references:fdl4Beynon2002, fdl3Hussain2001, cubesymWong2001
EMpress references:147, pap074, **Chris R's PhD Thesis** - add when done
Web site references:
Previous locations:
Tour:Index.htm

This model builds on the fdl4Beynon2002 model, fixes some of the problems that were found in the model and makes some improvements to the display of the model that make it easier to use and the visualisation easier to comprehend. This model contains three components, the free distributive lattice FDL4, the lattice of subsets of {1,2,3,4} and the symmetric group S4. The model has at least two different purposes: as a concrete artefact from which to learn about lattice theory; as an experimental environment in which mathematical research into relationships between abstract mathematical objects can be undertaken (by adding to the model and exploring connections).

mbf4Beynon2003 is available locally within DCS at /dcs/emp/empublic/projects/mbf4Beynon2003
Download mbf4Beynon2003.tar.gz
Uncompressed, mbf4Beynon2003 is 531.4 Kbytes (in 54 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
Index.htm 4212 11:29 AM Jan 12 2004 12:19 PM Jul 27 2017
README.xml 1540 02:10 PM Jan 08 2004 12:19 PM Jul 27 2017
Run.e 776 03:36 PM Jan 08 2004 12:19 PM Jul 27 2017
UsingFDL4_README.txt 295 05:03 PM Jan 08 2004 12:19 PM Jul 27 2017
screenshot.gif 119283 04:54 PM Jan 08 2004 12:19 PM Jul 27 2017
userguide.txt 2658 09:42 AM May 23 2001 12:19 PM Jul 27 2017
S4/ 4096 04:30 PM Jan 08 2004 12:19 PM Jul 27 2017
fdl4Beynon2002/ 4096 03:37 PM Jan 08 2004 12:19 PM Jul 27 2017
join_S4_FDL4/ 4096 03:31 PM Jan 08 2004 12:19 PM Jul 27 2017

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.