maths.experiments || [Main Index] || [ MATHS ] || [Notation] || [Copyright] || [Contents] || [Source Text] || [Dictionary]
Last updated: Sat Sep 12 17:01:37 PDT 2015

Contents

    MATHS Experiments

    Motivation

    This page serves as a starting page for various experiments and new ideas to extend Dr. Botting's MATHS tools.

    Boxes

      This is a box. What can we do with it?

    Lexemes

    Here is a quick list of key words used in MATHS, as borrowed from Dr. Botting's introduction to MATHS.
    key wordpurpose
    CloseTerminate the last Net, Set, Let, List, Open
    For, forIntroduses quantifiers: all, some, 1, 0..1, ...
    funFunction
    LetIntroduces a temporary assumption used to prove something else
    ListStart an ordered sequential list
    mapIndicates a map, function, \lambda
    NetIntroduces a collection of variables and constraints
    OpenOpen a subsection of the document
    relRelation
    RowAn n-tpl of items separated by tabs in a Table
    Set, setIntroduces an unordered set of items
    TableA table: an relation defined as a set of rows

    . . . . . . . . . ( end of section MATHS Experiments) <<Contents | Index>>