baner

CS-536

  Science of Programming

 

 

 

 

Lectures

Mon/Wed 10:00 - 11:15, LS 111

Syllabus

Check the Syllabus here.

Lectures

Date Topic Lecture Notes
Jan 13     Preliminaries     Introduction to “Science of Programming”
Jan 15     Preliminaries     Preliminaries — First Order Predicate Logic
Jan 22May 4     Preliminaries     Preliminaries — Semantics of Expressions
Feb 3     Deterministic Program     Deterministic Program — The While Program
Mar 2Mar 3     Deterministic Program     Deterministic Program — The While Program
Mar 9Mar 12     Object-Oriented Programs     Object-Oriented Programs
Mar 12     Rules and Axioms    Rules and Axioms
Mar 24     Disjoint Parallel Programs    Disjoint Parallel Programs
Apr 1     Parallel Programs with Shared Variables    Parallel Programs with Shared Variables
Apr 16     Parallel Programs with Synchronization    Parallel Programs with Synchronization
Apr 20     Nondeterministic Programs    Nondeterministic Programs
Apr 28     Distributed Programs    Distributed Programs
Apr 28     Fairness    Fairness

Homeworks

Check the assignments here or the Blackboard later. Your solutions should be submitted to the BB.

If you need a latex template, please check here.

HW Due Topic Solution
HW 1     Jan 31Feb 5, 11:59pm Preliminaries Solution 1
HW 2 Feb 28, 11:59pm Sequential Deterministic Programs Solution 2
HW 3 Mar 28Mar 30, 11:59pm Object-Oriented Programs Solution 3
HW 4 Apr 11Apr 13, 11:59pm Parallel Programs and Nondeterministic Programs Solution 4

Tests

Test Date Covers Solution
Exam 1 Feb 5Feb 10 Preliminaries Solution 1
Exam 2 Mar 5 Sequential Deterministic Programs Solution 2
Exam 3 Apr 16     Object-Oriented Programs and Parallel Programs Solution 3
Final Exam     TBD     Comprehensive