Math1090 Math 1090: Logic for Computer Science
                                    Jeff Edmonds: Fall 2021 (A)

Not Registered?: Though Jeff is eager to welcome you, enrollments are NOT managed by him.
Requests should be directed to the EECS Undergraduate office ug@eecs.yorku.ca.
If you are not enrolled yet, feel free to participate in all classes and tests.
Requests to be added our EClass should be directed to audit@eecs.yorku.ca
You don't need the eclass till the first test. And even then not if you have a partner in the class.
Attend (and participate) in class zoom.


Jeff, Readme, * Syllabus *,      Thoughts, Times, Dates, Course Description,
Mental Health, EClass, Zoom, Forum, Partner, Videos, Discord

Partipate: (About group work)
       - Please turn on your cameras and talk with me. It is much more fun that way.
       - Sorry. I will never remember your name. I do remember faces.
       - Sorry, I have been unable to read the chat as I lecture,
          if someone asks a good question speak up.
       - Participate in the forum. Ask and answer questions there.
       - Please give fill out the online course evaluations at from Nov ~20 to Dec ~4.
       - Please give me feed back with any way I can improve things for you.
Tests & No Exam:
       - I leave open the option to change the number, weights, and dates of the tests.
       - Open book. I will try to make the questions hard to Google. And I ask you not to search for the question.
       - To honor differences in schedules, you will be given 24hrs to write each test.
       - You and your partner submit one solution to crowdmark.
Partner:
       - All tests will be done in pairs.
       - Working from home, I don't want people isolated.
       - Given some people are bound to work with others, I want it to be fair to everyone.
       - The best way to learn the material is the teach others.
       - It does mean less marking for the TAs.
       - If your partner really does not work out, you are not forced to add his name to your work,
          but give him enough warning
       - You can study the material with as many people as you like,
          but please don't share test answers with anyone except your partner.
       - And DO NOT submit work that was not 100% done by you and your named partner.
       - The idea is to do the work together - NOT to split the work.
       - If you start answering questions before adding your partner's name
          crowdmark does not allow you to add their name. Don't panic.
          The person whose name IS on the work should email their partner's name to me
            - AFTER the marks appear on eclass which will be after remarking settles.
       - If you REALLY can't handle having a partner, I suppose I wont force you.
       - If you are looking for a partner, either put or take a name in the "I need a partner list".
       - Please do NOT email me ANYTHING about your partner. You are adults. Handle it.
Tutorial: We will go over the test questions DURING the test.
Final Mark   1/n [Sum(T1,...,Tn) + 0.5 Max(T1,...,Tn) - 0.5 Min(T1,...,Tn)]
       - The best test mark will be 1.5 worth 1.5 and your worst 0.5.
Remarking: I hate dealing with remarking.
       Please read the solution set carefully and talk to your friends before you bother me.
       Because if you are not justified in getting more marks then I may well lower your mark.
Belling:
       - Generally, marks have been low and need to be raised.
         In fact half the class often gets zero on the first test of each unit,
         because they don't trust the steps and panic.
       - In my first Math1090, 60% got A and I had to lower 20% to a B+.
       - Hence for the record I will state:
         - This score means NOTHING other than your ranking.
         - I will partition the class into A+, A, B+,.. as I will.
         - I will scale the tests so that their averages are the same.
         - I leave open the option of raising any one's mark
            who actually turns on their camera and talks to me
            and leaves me feeling more enthusiastic.
         - I leave open the option of lowering any one's mark
            who ask for more marks without reasonable justification.
20%:
         - Any question (or entire test) that you do not hand in will be given 20%.
         - Any answer that is worth less than a blank page is given 0%
Texts:
       - Syllabus and Course Material
       - George Tourlakis. Mathematical Logic, Wiley. [Not required for Jeff's section]

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.