MTH110 |
Additional Tilomino Notation for Assignments | |
Note that you will be expected to be able to answer questions on Tilomino in the midterm and final exams.
The sections on this page are in order.
This means that in order to understand a specific section, you will need
to read the sections that precede it.
Tilomino Notation
In some of the assignment questions
you will be asked to translate statements to
or from "Tilomino". By this, we mean that you may use any of the functions,
logical connectives, and quantifiers defined in Tilomino. Alternatively
you may use the standard logical symbols for connectives and quantifiers
if you wish. However, if you wish to input a statement into Tilomino you
must use the syntax of the Tilomino program.
Additional Tile Notation
Here is some additional notation for tiles that you will need
for your assignments.
This notation will not work on the version of Tilomino.
Remember: this notation is only for your assignment description and writeup.
It will not work in Tilomino.
In many of the assignment questions, you will only work on one world at a time, so simple tile notation (e.g. a, b, c, (6,8)) will be enough.
However, in some of the questions we will need to discuss tiles in more than one world. This will be problematic because the same tile names (e.g. a, b, c) are used from one world to another even though tiles of the same name in different worlds are not the same. For example even though the All Here world has a large square called a in position (8,8) and the All Here Revisited world also has a large square called a in that same position, these two tiles are not the same, simply because they are in different worlds.
Therefore, if we want to discuss a collection of tiles from different worlds, we need a more precise naming mechanism for tiles that not only names the tile that is being discussed but also the world containing this tile.
The notation used is:
For example:
For the earlier example above, [A:a] refers to tile a in the All Here world, whereas [H:a] refers to tile a in the All Here Revisited world.
Remember: this notation is only for your assignment description and writeup. It will not work in Tilomino.
For a general introduction to the set theory concepts needed to understand this section, please read section 5.1 of the Epp textbook pages 255 to 262.
Of course, worlds can also be defined using the generalized tile notation: For example, 2 = Two By Two = { [2:a], [2:b], [2:c], [2:(8,4)] }
Remember: this notation is only for your assignment description and writeup.
It will not work in Tilomino.
In addition to the Tilomino worlds just described, some of the assignment questions will refer to the following sets:
Remember: this notation is only for your assignment description and writeup. It will not work in Tilomino.
Given any tile x and any w TILOMINOUNIVERSE, define
For example: ROWOF(e,B)=7 and COLOF(e,B)=3 but ROWOF(e,2)=0 and COLOF(e,2)=0 because there is no e tile in world 2.
Remember: this notation is only for your assignment description and writeup.
It will not work in Tilomino.
If x < y we say that x has a lower name than y and that y has a higher name than x.
Remember: this notation is only for your assignment description and writeup. It will not work in Tilomino.
Maintained by Peter Danziger.
This page is best viewed with Mozilla Firefox.
Last modified
Friday, 07-Oct-2005 09:51:47 EDT