CS 378: Symbolic Programming: Online
CS 378 Class Web Page
Note: Links will be filled in after the lectures occur.
Lectures from Spring 2025
Lectures from Spring 2025
Lectures from Fall 2024
-
August 27, 2024:
-
August 29, 2024:
-
September 3, 2024:
-
September 5, 2024:
-
September 10, 2024:
-
September 12, 2024:
-
September 17, 2024:
-
September 19, 2024:
-
September 24, 2024:
-
September 26, 2024:
-
October 1, 2024:
-
October 3, 2024:
-
October 8, 2024:
-
October 10, 2024:
-
October 15, 2024:
-
October 17, 2024: Review for Midterm
-
October 24, 2024: Interrupted for Fire Drill
-
October 29, 2024:
-
October 31, 2024:
-
November 5, 2024:
-
November 7, 2024:
-
November 12, 2024:
-
November 14, 2024:
-
November 19, 2024:
-
November 21, 2024:
-
December 3, 2024:
-
December 5, 2024: Review
Lectures from Spring 2024
-
January 16, 2024:
-
January 18, 2024:
-
January 23, 2024:
-
January 25, 2024:
-
January 30, 2024:
-
February 1, 2024:
-
February 6, 2024:
-
February 8, 2024:
-
February 13, 2024:
-
February 15, 2024:
-
February 20, 2024:
-
February 22, 2024:
-
February 27, 2024: Mr. Varun Kohli, Bloomberg
-
February 29, 2024:
-
March 5, 2024:
-
March 19, 2024:
-
March 21, 2024:
-
March 26, 2024:
-
March 28, 2024:
-
April 2, 2024:
-
April 4, 2024: Professor Warren Hunt on ACL2
-
April 9, 2024:
-
April 11, 2024:
-
April 16, 2024:
-
April 18, 2024:
-
April 23, 2024:
-
April 25, 2024:
Lectures from Fall 2023:
-
August 22, 2023:
-
August 24, 2023:
-
August 28, 2023:
-
August 31, 2023:
-
September 5, 2023:
-
September 7, 2023:
-
September 12, 2023:
-
September 14, 2023:
-
September 19, 2023:
-
September 21, 2023:
-
September 26, 2023:
-
September 28, 2023:
-
October 3, 2023:
-
October 5, 2023:
-
October 10, 2023:
-
October 12, 2023:
-
October 19, 2023:
-
October 24, 2023:
-
October 26, 2023:
-
October 31, 2023:
-
November 2, 2023:
-
November 7, 2023:
-
November 9, 2023:
-
November 14, 2023:
-
November 16, 2023:
-
November 28, 2023:
Guest Lecture: Yuecheng Shao, Bloomberg
LinkedIn
-
November 30, 2023:
Lectures from Spring 2023:
-
January 10, 2023:
-
January 12, 2023:
-
January 17, 2023:
-
January 19, 2023:
-
January 24, 2023:
-
January 26, 2023:
-
February 7, 2023:
-
February 9, 2023:
-
February 14, 2023:
-
February 16, 2023:
-
February 21, 2023:
-
February 23, 2023:
-
February 28, 2023:
-
March 2, 2023:
-
March 7, 2023: Review for Midterm Exam
-
March 21, 2023:
-
March 23, 2023:
-
March 28, 2023:
-
March 30, 2023:
-
April 4, 2023: Mr. Varun Kohli, Bloomberg
-
April 6, 2023:
-
April 11, 2023:
-
April 13, 2023:
-
April 18, 2023:
-
April 20, 2023:
-
map, reduce, filter, mapcat
-
Depth-First vs. Bread-First, Backchain, Resolution Step
-
Certainty Factor Combination, Bayes Theorem, Low-Pass Filter
-
Context-Free Grammar, Recursive Descent Parser
-
first, rest, cons, reverse, append
-
set-difference, assocl, reduce, some
-
subst, match
Lectures from Fall 2022:
-
August 23, 2022:
-
August 25, 2022:
-
August 30, 2022:
-
September 1, 2022:
-
September 6, 2022:
-
September 8, 2022:
-
September 13, 2022:
-
September 15, 2022:
-
September 20, 2022:
-
September 22, 2022:
-
September 27, 2022:
-
September 29, 2022:
-
October 4, 2022:
-
October 6, 2022:
-
October 11, 2022:
-
Resolution
-
Resolution Example
-
Lisp-like Languages; cons, first, rest
-
length, reverse, append, member, assocl, set-difference
-
map, some, member, subst
-
Guest Lecture: Mr. Varun Kohli, Bloomberg, October 13, 2022:
-
October 20, 2022:
-
October 25, 2022:
-
October 27, 2022:
-
November 1, 2022:
-
November 3, 2022:
-
November 8, 2022:
-
November 10, 2022:
-
November 15, 2022:
-
November 17, 2022:
-
November 29, 2022:
-
December 1, 2022:
Lectures from Spring 2022:
-
January 18, 2022:
-
January 20, 2022:
-
January 25, 2022:
-
January 27, 2022:
-
February 1, 2022:
-
February 8, 2022:
-
February 10, 2022:
-
February 15, 2022:
-
February 17, 2022:
-
February 22, 2022:
-
February 24, 2022:
-
March 1, 2022:
-
March 3, 2022:
-
March 8, 2022:
-
Review: first, rest, cons, length, reverse, append
-
member, assocl, intersection, union, set-difference
-
map, set=, doseq
-
some, every?, eq vs. equal
-
Use of let
-
Trees: cons, expressions; tree recursion as depth-first search
-
match, subst, sublis; pattern pair or rewrite rule
-
Logic: Rule Forms, Conjunctive Normal Form (CNF)
-
Backchaining, SAT; Interpretation
-
Resolution in Propositional Calculus
-
match example
-
March 22, 2022:
-
March 24, 2022: Guest Lecture by Mr. Varun Kohli, Bloomberg
-
March 29, 2022:
-
March 31, 2022:
-
April 5, 2022:
-
April 7, 2022:
-
April 12, 2022:
-
April 14, 2022:
-
April 19, 2022:
-
April 21, 2022:
-
April 26, 2022:
-
April 28, 2022:
-
May 3, 2022:
-
May 5, 2022:
-
Review: cons, first, rest, length, append, set-difference
-
map, reduce, filter, mapcat
-
depth-first search, backchaining, resolution
-
backchaining, constructive proof
-
EMYCIN certainty factors
-
certainty factor combination, low-pass filter, top-down parsing
Lectures from Fall 2021:
-
Aug 26, 2021:
-
Aug 31, 2021:
-
September 2, 2021:
-
September 7, 2021:
-
September 9, 2021:
-
September 14, 2021:
-
September 16, 2021:
-
September 21, 2021:
-
September 23, 2021:
-
September 28, 2021:
-
September 30, 2021:
-
October 5, 2021:
-
October 7, 2021:
-
October 12, 2021:
-
October 14, 2021: Guest Lecture by Mr. Varun Kohli, Bloomberg
-
October 21, 2021:
-
October 26, 2021:
-
October 28, 2021:
-
November 2, 2021:
-
November 4, 2021:
-
November 9, 2021:
-
November 11, 2021:
-
November 16, 2021:
-
November 18, 2021:
-
November 23, 2021:
-
November 30, 2021:
-
December 2, 2021:
Lectures from Fall 2020:
-
January 19, 2021:
-
January 21, 2021:
-
January 26, 2021:
-
January 28, 2021:
-
February 2, 2021:
-
February 4, 2021:
-
February 9, 2021:
-
February 11, 2021:
-
February 25, 2021:
-
March 2, 2021:
-
March 4, 2021:
-
March 9, 2021:
-
March 23, 2021:
-
March 25, 2021:
-
March 30, 2021:
-
April 1, 2021:
-
April 6, 2021:
-
April 8, 2021:
-
April 13, 2021:
-
April 15, 2021:
-
April 20, 2021:
-
April 22, 2021:
-
April 27, 2021:
-
April 29, 2021:
-
May 4, 2021:
-
May 6, 2021:
Lectures from Fall 2020:
-
August 28, 2020:
-
September 1, 2020:
-
September 3, 2020:
-
September 8, 2020:
-
September 10, 2020:
-
September 15, 2020:
-
September 17, 2020:
-
September 22, 2020:
-
September 24, 2020:
-
September 29, 2020:
-
October 1, 2020:
-
October 6, 2020:
-
October 8, 2020: Guest Lecture by Mr. Varun Kohli, Bloomberg
-
October 13, 2020:
-
October 15, 2020: Review for Midterm
-
cons, first, rest, length
-
reverse, let, append, member, assocl
-
set functions
-
map, some, every, equal
-
trees; pattern matching
-
rewrite rule, propositional logic, CNF,
interpretation
-
backchaining, SAT
-
resolution for propositional logic
- October 20, 2020: Midterm Exam
-
October 22, 2020:
-
October 27, 2020:
-
October 29, 2020:
-
November 3, 2020:
-
November 5, 2020:
-
November 10, 2020:
-
November 12, 2020:
-
November 17, 2020:
-
November 19, 2020:
-
November 24, 2020:
-
December 1, 2020:
-
December 3, 2020: Review
Lectures from Spring 2020:
-
March 31, 2020:
-
April 2, 2020:
-
April 7, 2020:
-
April 9, 2020:
-
April 14, 2020:
-
April 16, 2020:
-
April 21, 2020:
-
April 23, 2020:
-
April 28, 2020:
-
April 30, 2020:
-
May 5, 2020:
-
May 7, 2020: