Comp 131: Logic and Computation

Content and Aims of COMP 131

What's New

  • ==>

    On Projects

  • Demo Schedule
  • I will hold an office hour Sunday, 4-6pm in my office (Sc 635), to discuss project choices (and anything else you want).

  • Meeting in my office (635 SC) Monday, Dec 8, at 7 pm to discuss projects. Students who have not already met with me on Sunday or worked out with me by email what they are doing should attend. I will give hints, resources, some worked out code to add to you programs.

    email me if you are unable to attend to set up an appointment

  • Other office hours
  • 7:45-9:30pm Tue
  • 9-11pm Wed.

  • You must mail your final choice of project (and who you are working with) to jlipton@wesleyan.edu, with subject heading

    COMP 131 PROJECT PLAN

    By Monday night.

  • I will put up a schedule of demos for Dec. 11-12, in my office. Prior to this meeting all members of a group should individually mail me your code, and an email with subject

    COMP 131 FINAL PROJECT

    If you are writing a paper or doing a logic problem, then bring it to the meeting.

  • ==>
    possible candidates for final projects

    •
  • ==>
    The latest version of the ML handout, with new sections on list recursion, patterns and data types. To be read this week. Also, work the exercises.
  • ==>
    More Sample code and (also) the improved ML handout for Lab no. 2 (Nov. 4, 9PM, SC 74)
  • A clearer description of what's required in Homework 3 (look at the last problem)
  • Slides on predicate logic
  • p1 and p2 of solutions to Midterm I.
  • Midterm 1 for any students who want to turn in a revised version for a few extra points.
  • ==>
  • Read Handout on Induction
  • Read 82-203 in GEB. Pay special attention to 181-203.
  • Read Handout on Sets, cardinality and the Halting Problem
  • Lab next tuesday

    •

    Not so new (older postings on this page)

  • On MIDTERM 1
  • Moved to Oct 30, in class (after break)
  • Oct 23 class will be a review of topics for Midterm 1 and discussion of solutions to HW 2.
  • Corrected HW 2 available: in a box outside the door of my office (after 2:30pm today).
  • Topics that will be covered in Midterm 1

    •
  • HW 2 due by the end of the day, Oct. 16 (slipped under the door of my office Sci 635)
  • A chart of natural deduction proof rules.
  • New and improved Handout 2.5 on strategies for building proofs.

  • An FAQ (frequenty asked questions) file that has questions and answers about homework 1 in it. It discusses the parse tree example I gave you. There should be a pair of parentheses around not (B and C). Please put it in. See me comments on the faq page.

  • New due dates, reading and handouts. See Syllabus below.

  • Tue. 8-10pm is now our official lab time in Sc 74 (or sometimes 72). We have this slot all semester for homework help sessions and the occasional lab lecture. Just right now we have nothing scheduled, because we are not programming yet. The point is to make sure that we are all agreed on this time. We will probably hold a lab session 3-4 times this semester, once we start programming. The specific dates will be announced on the syllabus, below.
  • For intricate legal reasons, the textbook Gödel, Escher,Bach cannot be handled by the bookstore. You must order the book directly through Amazon or another source, right away! This is actually good news since the price is much lower.

    See the list of publishers on the right hand side of this web page for example.

  • Read Handout 1.
  • ==> Note syllabus change: Start in on Handout 2.
  • ==> Note syllabus change:
    WHEN THE BOOKS ARRIVE in the bookstore, Read 1-41 in GEB.
    The reading assignment in this book has been moved to week #3 (by which time the books should have arrived)
    Pay special attention to 33-41

    • Resources

    Syllabus

    WeekDateTopicReadingHWRemarks
    1-2 Sept. 2-4 Introduction to the Course Handout 1 on Logic.
    2 S9-11 Logic and Computation: a first look Handout 2
    3 S16 guest lecture GEB:1-41. Continue reading Handout 2
    Sept. 18
    NO CLASS
    4 S 23-25 The ML Programming Language (In lab). More Natural deduction. Handout on the ML programming language.HW 1, due Oct. 7
    Start thinking about HW 2 as soon as it is posted.
    5S 30, Oct. 2 Sets and Induction. More on Natural Deduction.
    6 Oct. 7-9 More on Sets and Induction. More on Natural Deduction. Programming in ML. GEB pp. 1-74., Handout 3, pp. 1-7 in Handout on Sets HW 1, due Oct. 7
    7 Oct. 14-16 Programming in ML. Topics from GEB. HW 2 due Oct. 16 by the end of the day, under the door of my office.
    9 Oct. 30
    Midterm I
    10 Nov. 4-6 Programming in ML. Topics from GEB (pp.82-203) Handout on ML
    Handout on Induction
    Handout on Sets     		Lab # 2 on Nov. 4, 9 pm
    11 Nov. 11-13 Programming in ML. Recursion. Induction and Sets (cont). Topics from GEB.(cont) ∀ ∃, Sets Start reading Slides on predicate logic
    12 Nov. 18-20 Programming in ML. Lists and Recursion in ML HW 3 due Nov. 20
    13 Nov. 25 Programming in ML. More Lists and Recursion in ML
    No. 27
    Thanksgiving: NO CLASS
    14 Dec. 2
    Midterm II

    Calendar

    
        September
Su Mo Tu We Th Fr Sa
    1  2  3  4  5  6
 7  8  9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30

       October               November               December
Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa
          1  2  3  4                      1       1  2  3  4  ----
 5  6  7  8  9 10 11    2  3  4  5  6  7  8   --(f.proj)- 11 12 --
12 13 14 15 16 17 18    9 10 11 12 13 14 15   --------------------
19 20 21 22 23 24---   16 17 18 19 20 21 22   --------------------
--FB---- 29 30 31      23 24 25 26 ----TG--   -----------
                      

FB= Fall Break
TG= Thanksgiving
Dec. 11-12: Final Projects due
    Last modified: Thu Dec 11 18:58:50 EST 2008