Math 1090 A Course Information

Announcements:

(Jan 2) Unofficial grades are available. I will be available by appointment, starting January 13, if you would like to review your exam papers. Click here for unofficial course grades.

(Dec 6) I will hold OFFICE HOURS on Monday, Dec 9, from noon until 2:00.

(Nov 27) The midterm will be returned in class today. Here is some information on the performance of the class.



 List of all grades:
      
    1.0    2.0    3.5    4.0    4.0    4.0    6.5    7.0    7.0    7.0    7.0 
    8.0    8.0    9.0    9.0    9.5   11.0   11.5   12.0   13.0   13.5   13.5 
   13.5   13.5   14.0   14.0   16.0   16.5   17.0   17.0   17.0   17.0   17.5 
   17.5   17.5   18.0   18.0   18.5   19.0   19.0   19.0   19.0   20.0   20.0 
   20.0   20.0   20.5   20.5   21.0   22.0   22.0   22.5   22.5   22.5   23.0 
   23.5   23.5   24.0   24.0   24.5   24.5   25.5   26.0   26.0   26.5   26.5 
   26.5   27.0   27.5   28.0   28.5   29.0   29.0   29.0   29.5   29.5   29.5 
   30.0   30.0   30.0   30.0 
 
 Descriptive statistics:
 
                 N     MEAN   MEDIAN   TRMEAN    STDEV   SEMEAN
                81   18.438   19.000   18.671    8.023    0.891
 
               MIN      MAX       Q1       Q3
             1.000   30.000   13.250   25.000
 
 Graphical representation of grades:
 
                                .              .
                 .    :         :     :.  ::   :      .   ..:
            ..  .:   .:: :. ... ::   ::::.:::. :.:::.::..::::
          +---------+---------+---------+---------+---------+-------      
        0.0       6.0      12.0      18.0      24.0      30.0

(Nov 20) The midterm examination will be written in two rooms.

If your family name starts with one of letters A - C you must write in Curtis 110.
If your family name starts with one of letters D - Z you must write in Curtis E.

(Nov 17) Please note that there will be lectures on both Monday, December 2 and Tuesday, December 3. December 3 is officially designated Monday for the purpose of scheduling.

(Nov 14) The midterm next Friday will require basic knowledge of the Chapter 9 results.

In addition, please note that where there are conditions on free occurrences of variables which need to be verified, your reasons must indicate that you have done so.

Click to view the (* x, y | R : P ) supplement in (postscript) or (pdf).

(Nov 11) I have prepared a draft of the midterm for November 22. Click to view a pdf version of last year's.
Note that last year's midterm did not require any Chapter 9 material. The midterm for this year will have some Chapter 9 coverage.

(Oct 21) The midterm will be returned in class on Wednesday. Here is some information on the performance of the class.

 List of all grades 
      
    0.0    1.0    1.0    1.0    1.0    2.0    2.0    2.0    2.0    2.0    3.0 
    4.0    4.0    5.0    6.0    7.0    7.0    8.0    8.0    9.0    9.0    9.0 
    9.5   10.0   10.0   10.0   10.5   10.5   11.0   11.0   11.0   11.5   12.0 
   12.0   12.0   12.0   12.0   12.0   12.5   13.0   13.0   13.0   13.0   13.5 
   13.5   14.0   14.0   14.0   14.5   14.5   15.0   15.0   15.5   16.0   16.0 
   16.5   16.5   16.5   17.0   17.0   17.5   18.0   18.5   18.5   18.5   19.0 
   19.0   19.0   19.5   19.5   19.5   20.0   20.0   20.5   20.5   21.0   21.0 
   21.0   21.5   21.5   21.5   22.0   22.0   22.5   22.5   22.5   23.0   23.0 
   23.5   24.0   24.0   24.0   24.0   25.0   25.0   25.5   26.0   26.0   27.0 
   27.0   28.0   28.5   28.5   29.0   29.0   30.0   30.0   30.0 
 
 Basic descriptive statistics
 
                 N     MEAN   MEDIAN   TRMEAN    STDEV   SEMEAN
               108   15.741   16.000   15.796    7.937    0.764
 
               MIN      MAX       Q1       Q3
             0.000   30.000   10.500   21.875
 
 Graphical representation of distribution of grades
 
             .             .  : :    .    :    .
            ::           . :. : :.   :   .:  ..:  : .    .  .
          . :: . :. . :: :.::.:.::::.::..::::::::.: :: : :: :
          +---------+---------+---------+---------+---------+-------C2      
        0.0       6.0      12.0      18.0      24.0      30.0

(Oct 15) The midterm examination will be written in two rooms.

If your family name starts with one of letters A - H you must write in Curtis M.
If your family name starts with one of letters I - Z you must write in Curtis E.

(Oct 10) I have posted three old midterms (with solutions) in pdf format. Click for

(Oct 2) Homework 2 questions have now been posted.

(Sep 15) Problem 1(b) on HW 1 should read

Is ((p ==> q) ==> p) ==> p a tautology? Justify.
The version available from the link below has been corrected.

Lecturer: Eli Brettler
Office: South 508 Ross
Telephone: 736-5250 Extension 66321
E-mail: brettler@mathstat.yorku.ca
WWW: http://www.math.yorku.ca/Who/Faculty/Brettler/
Normal Office hours: MW 12:00 noon - 1:00 p.m. and by appointment

Lectures: MWF 9:30 - 10:20 in CLH E

Tutorials: M 10:30 in N501 Ross, T 11:30 in N 501 Ross, W 12:30 in N 501 Ross

Text: Gries and Schneider, A Logical Approach to Discrete Math.

Syllabus: The core consists of the Kemeny, Snell, Thompson supplement and Chapters 2, 3, 4, 6.2, 8, 9 of the text.

Professor Kemeny's 1983 Lectures are available in RealPlayer format.

Homework:

These homework problems will be collected for grading. Groupwork is permitted and (in most cases) encouraged. Group assignments may be handed in. Assignments are submitted by placing them in the Assignment Box to be found next to the elevators, North Ross 5th Floor. My normal practice is to collect the papers then post solutions. Late assignments are not accepted.

Assignment 1 due Sept. 20 at Noon (corrected Sep 15): Available in (postscript) and (pdf).
Solutions will be available in (postscript) and (pdf) once the papers have been collected.
Assignment 2 due Oct. 11 at Noon: Available in (postscript) and (pdf).
Solutions will be available in (postscript) and (pdf) once the papers have been collected.
Assignment 3 now due Nov. 4 at Noon: Available in (postscript) and (pdf).
Solutions will be available in (postscript) and (pdf) once the papers have been collected.
Assignment 4 due Nov. 15 at Noon: Available in (postscript) and (pdf).
Solutions will be available in (postscript) and (pdf) once the papers have been collected.
Assignment 5 due Dec. 3 at Noon: Available in (postscript) and (pdf).
Solutions will be available in (postscript) and (pdf) once the papers have been collected.

To view and print pdf you need the free Acrobat reader.

Evaluation:

Graded Assignments various dates (see above) 15%

Class Tests October 18, November 22 30%

Final Exam Examination Period 55%

Alternate Grading Scheme: Assignments 15%, Class Tests 55%, Final Exam 30%.
The scheme which gives the higher grade will be used in each case.

Note: There will be no makeups for missed tests. If you miss a test and provide a certificate indicating clearly that you were unable to write the test for reasons beyond your personal control, the weight of the test will be transferred to the final exam. Otherwise, the mark for the missed test will be 0.

The last date to drop the course without academic penalty is November 8 It is extremely important to realistically assess your course performance prior to this date.

Tests

Test 1: October 18 Solutions in postscript or pdf are available.

Test 2: November 22 Solutions in postscript or pdf are available.

Resources:

A Model Proof in the Logic E in (html) and (postscript) and (pdf).

Professor Ganong's notes supplementing the text's treatment of CONtextual substitution and the extended Leibniz rules.
Click for his CONtextual substitution supplement and his Leibniz supplement

Eli Brettler

Last modified: Thu Jan 2 12:57:40 EST 2003

Graded Assignments	various dates (see above)	15%
Class Tests	October 18, November 22	30%
Final Exam	Examination Period	55%