Math 2510 (Section 410) Homepage

News & Announcements

05/01 Test #2's answer key is posted here.

04/24 Here's a sample "research paper" ... Source: classical_ring.tex and yosef.jpg
 
      Other LaTeX examples can be found here.

04/15 Final Project Guidelines [Source: (.tex)]

      We'll discuss final projects in more detail on Monday.
      
      sharelatex.com = a free online LaTeX compiler/editor.
      
      miktex.org = A free LaTeX compiler for PCs.
      
      mactex = A free LaTeX distribution for MACs.

04/07 I have tentatively planned on having Test #2 next Wednesday. 
      Instead of a final homework set, I thought I would just point
      everyone to the final homework set from the last time I taught
      this class: Old Homeworks 5 and 6.

      Please do this homework as if you were going to turn it in (it
      overlaps with your homework 5 some, so you've already done a 
      couple of these) and then instead of turning it in for a grade,
      we can go over these problems in class as preparation for Test #2.

      In addition, you can find old test #2 here.

      Test #2 will cover Chapters 4 & 5 as well as the handout on equivalence
      relations and partial orders. Don't worry about cardnality, the euclidean 
      algorithm, or additional number theory stuff. You are responsible for modular
      arithmetic (as covered in the relations handout).

03/31 The Euclidean Algorithm and Basic Number Theory (.pdf) [Source: (.tex)]

03/24 Equivalence Relations and Partial Orders (.pdf) [Source: (.tex)]

03/23 Test #1's answer key has been posted here. Thanks Noah!!!

03/20 Homework #5 (.pdf) is due Monday, March 30th. [Source: (.tex)]

02/20 The Cantor-Schroder-Bernstein Theorem and ZFC Axioms

      Homework #4 (.pdf) is due Friday before spring break (Mar. 6th). [Source: (.tex)]

      We will have Test #1 next Friday (Feb. 27th). It will cover chapters 1-3. We'll leave
      chapter 4 until the next test. Expect in-class and take-home portions of the test. You will be
      given copies of the handouts:

      System L and System K

      as part of the in-class portion of the test. You can find an old test here.

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

02/06 Homework #3 (.pdf) is due next Monday (Feb. 16th). [Source: (.tex)]

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

      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. 
      
      Adequacy of the Sheffer Stroke and the Wikipedia's article
      
      Proof Systems: Resolution and Tableau and the Wikipedia's article on Tableau and Resolution
      
      The Operation of Car Lights in Propositional Logic
      
      Predicate Logic: Resolution, Tableau, and Email
      
      A Little Modal Logic and the Wikipedia's article

01/26 Homework #2 (.pdf) is due next Monday (Feb. 2nd). [Source: (.tex)]

01/23 Summary sheet for proofs in System K.

01/20 Homework #1 (.pdf) is due next Monday (Jan. 27th). [Source: (.tex)]

01/16 Finished chapter 1. Prove as many of the theorem in L as possible. Use the deduction
      theorem if necessary. See if you can prove them without it as well.

      Friday's office hour at 10-11am has been moved to 8-9am.

01/14 Summary sheet for proofs in System L.

01/13 Covered sections 1.2 - 1.4. 
 
      Adequacy of the Sheffer Stroke and the Wikipedia's article

01/12 Note: Only covered section 1.1.

01/08 Syllabus, schedule, & homework pages updated.

01/06 Course Information:
      MAT 2510 Section 410
      MTWF 11:00am - 11:50am
      WA 108

      Final Exam Date/Time: Friday, May 8 from 3:00PM - 5:30PM
 
      Any questions about this class? 
      Send me an email at cookwj@appstate.edu