On this page:
CS 245E:   Logic and Computation (Enriched)

CS 245E: Logic and Computation (Enriched)

This is the home page for CS 245E at the University of Waterloo (Spring 2017). The course is an enriched version of CS 245 and is normally offered only in fall terms. The approach taken in Spring 2017 is close to what I taught in Fall 2016, but is quite different from the Fall 2015 offering taught by Shai Ben-David (who will be teaching the Fall 2017 offering).

Instructor: Prabhakar Ragde (plragde at uwaterloo dot ca)

Lectures: Tuesdays and Thursdays, 2:30-3:50pm, MC 4042. There will be no lectures on June 8 and July 25.

Tutorials: Fridays, 10:30-11:20am, MC 4041. Tutorials will be occasional and will cover optional material (unless we give plenty of warning). Watch Piazza for announcements as to when they will be held.

Instructor office hours: Tuesdays and Thursdays, 1:00-2:00pm, DC 1314, or by appointment.

Teaching Assistants: Ifaz Kabir, Marianna Rappoport.

TA office hours: Tuesdays, 4:00-5:00pm, MC 4065 (Ifaz); Wednesdays, 4:00-5:00pm, DC 3548 (Marianna).

ISG Coordinator: Ahmed Haj-Yasien (MC 4012).

    1 For Prospective Students

    2 Outline

    3 Logistics

      3.1 Textbook

      3.2 Getting Help

      3.3 Lectures

      3.4 Tutorials

      3.5 Homework

      3.6 Exams

      3.7 Grading

      3.8 Software

    4 Handouts

      4.1 Intellectual Property

    5 Assignments

      5.1 Plagiarism Policy

    6 Marmoset

      6.1 Accessing Marmoset

      6.2 Submitting Assignments

      6.3 Tests on Marmoset

      6.4 After Submitting a Program

      6.5 Interpreting Test Results

      6.6 Common Marmoset Test Messages

      6.7 Assessment

    7 Resources