(Blank Abstract)
The information in this module is
outdated. Please see
my
course for a table of contents.
This page meant to be viewed with a MathML-enabled browser.
If you see(x. (P(
x )(y. (P(
y )))))
as a nice version of(forall x . (P(x) ->(exists y . (P(y) v phi))))
you're doing okay;If you further seeas a nice version of
(scriptA |- scriptB)you're set!
If not, see our description of
browser support .
At Rice on the CSNet, use
mozilla
.
Preferably, use version 1.1, as currently available on Solaris 8 machines.On frosty.cs, version 1.1 is the default.
On other Solaris 8 machines, version 1.1 is not yet the default, butavailable via
/opt1/mozilla-1.1/sunos5/bin/mozilla
.
In general, to view TeachLogic web pages,
you'll need a browser that supports the following features:
-
Cascading Style Sheets (CSS) -- Most recent browsers support CSS sufficiently well.
-
MathML -- Some browsers support MathML sufficiently well.
However, most (all?) do not fully support Unicode Plane 1numerical entity references, which includes most
mathematical alphanumeric characters.
-
Math-oriented fonts
Which browsers support these features?
The above links provide more details, but here's a summary ofsome browsers.
-
Mozilla and
Netscape (version 7.0)
-- Both work, except some characters (Unicode Plane 1)don't appear correctly.
-
Internet Explorer is not yet an option,
even with the
MathPlayer plug-in to view MathML.
IE won't display pages with some characters (Unicode Plane 1).
Alternatively, PDF versions of the web pages are also provided via
the Base module's index .