• Syllabus
• Schedule
• Homework
• AsULearn (Online gradebook, chatroom, etc.)

News & Announcements

04/06 Final Project Guidelines

04/02 Test #2 is due next Friday (April 9th).
      
      Please write up (neatly) solutions for all of the problems (even the
      ones you did in the in-class part). 

03/22 Homework Sets #5 and #6 
      Problems 1-4 due Friday.
      Problems 5-8 due Wednesday.

03/19 Test #2 will be held Friday, April 2nd.

03/03 The Cantor-Schroder-Bernstein Theorem

      Homework Set #4 due Wednesday, March 17th.

03/02 ZFC Axioms

02/23 (-1)^n and sin(n) diverge

02/12 Homework Set #3 due Friday, February 19th.

02/05 Here are some random bits coming from homeworks
      from a course I took in grad school called 
      "Computational Applied Logic". If you find any of
      this stuff interesting, maybe we can take some time
      in class to explore it further. [By the way, I will
      give you a printed copy of these handouts on Monday.]
      Adequacy of the Sheffer Stroke
      Proof Systems: Resolution and Tableau
      The Operation of Car Lights in Propositional Logic
      Predicate Logic: Resolution, Tableau, and Email
      A Little Modal Logic

01/29 Homework Set #2 due Friday, February 5th.

01/27 Summary sheets for proofs in...
      System L
      System K
      Systems E and PA

01/15 Homework Set #1 due Friday, January 22nd.

      Please note: If the homework #1 webpage doesn't print well, you
      can download a package of fonts to help things look better.
      The fonts (and installation instructions) can be found here.
      
      For PCs: PC jsMath fonts
      For Macs: Mac jsMath fonts

01/08 Syllabus, schedule, and homework posted.

01/07 Course Information:
      MAT 2510 Section 410
      MTWF 12:00pm - 12:50pm
      WA 303A

08/25 Syllabus, suggested homework and schedule pages 
      to be posted ?early January?

      Any questions about this class? 
      Send me an email at cookwj@appstate.edu