Good news, everybody:
I will create an account for each student on the
Fedora Linux server storm.cis.fordham.edu.
You will use this account
to learn the rudiments of the Linux operating system,
and to create a little website by writing in HTML, the “Hypertext
Markup Language”.
We can relate the construction of this website to the topics of this course
(the Structures of Computer Science) by emphasizing that a document in
HTML is an example of a tree structure:
it consists of little things nested inside of bigger ones.
Fordham says: “On Tuesday February 18th, ALL classes follow a Monday schedule. There WILL BE NO TUESDAY classes.”
In class today,
we used Venn diagrams to prove one of DeMorgan’s laws
on p. 22 of the textbook:
(A ∪ B)' = A' ∩ B'
See pp. 4– 6 of
these notes.
Now prove the other law of DeMorgan on p. 22 in the same way:
(A ∩ B)' = A' ∪ B'
Make Venn diagrams of the two sets
(A ∩ B)'
and
A' ∪ B'
and show that they have the same territory.
Extra credit for serious students:
write a proof in symbols that
(A ∩ B)' = A' ∪ B'
like the proof
on page 6 of
the notes.
Log into the Linux server storm.cis.fordham.edu
and
practice the Linux commands in
these notes:
pwd,
cd,
ls,
more,
touch,
mv,
cp,
rm,
and
wget.
Practice editing a file with the
vi
editor.