Math 1090

Participation	5%	Talk to me in person
Test #1	25%	Wed Feb 4 in class
Test #2	25%	Wed March 11 in class
Exam	50%	April 8-24

I thought test 1 was not hard. 33/77=42% failed it.
Only 1/3 of the class comes to class.
Only 5 people talk to me in class and deserve to get any class participation marks.
Only 5 talk to me in tutorials.
Learning Logic might well be the most important thing to compete with AI.
I know I said I tend to pass most people, but my leaning now is to fail the 1/3 that I am allowed to fail.

If you want any test remarked, mail it to me with "1090 remark" in the subject.
If it is wrong, then you got it wrong a second time and I WILL take off marks ... even if your mark is already zero.

We really have not learned much.
There is the and-or-not-implies purple table.
There is the prover adversary oracle purple table game.
There is parsing the sentence so that the game can follow the parse tree.
There is KNOWING forall x exists y is a function from x to y.
There is knowing how to prove something is valid by proving it is true in an arbitrary model.
There is knowing how to prove it is not valid by constructing a model in which it is not true.
There is being able to provide a model to a two year old so that she intuitively understands why a statement is true.
There is writing a forall/exists statement to express what you want to say about computer science, geometry, integers, .....

All the best.