Difference between revisions of "CS 2800 Spring 2020"

From CS2800 wiki
(Schedule)
(Schedule)
Line 26: Line 26:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 1/28
 
  |-
 
  |-
 
  |rowspan=1| [[:Category:Set theory|Sets]] and [[:Category:Proof techniques|Proof techniques]]
 
  |rowspan=1| [[:Category:Set theory|Sets]] and [[:Category:Proof techniques|Proof techniques]]
Line 31: Line 32:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 1/31
 
  |-
 
  |-
 
  |rowspan=2| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
 
  |rowspan=2| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
Line 38: Line 40:
 
  |-
 
  |-
 
  |rowspan=2|  
 
  |rowspan=2|  
 +
| 2/4 
 
  |-
 
  |-
 +
| 2/4 
 
  |-
 
  |-
 
  |rowspan=3| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
 
  |rowspan=3| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
Line 48: Line 52:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 2/11
 
  |-
 
  |-
 
  |rowspan=1| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
 
  |rowspan=1| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
Line 53: Line 58:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 2/14
 
  |-
 
  |-
 
  |rowspan=2| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
 
  |rowspan=2| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]]
Line 60: Line 66:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 2/18
 
  |-
 
  |-
 
  |rowspan=2| [[:Category:Number theory|Number theory]]
 
  |rowspan=2| [[:Category:Number theory|Number theory]]
Line 73: Line 80:
 
  |-
 
  |-
 
  |rowspan=2|  
 
  |rowspan=2|  
 +
| 2/27
 
  |-
 
  |-
 +
| 2/28
 
  |-
 
  |-
 
  |rowspan=3| [[:Category:Number theory|Number theory]]
 
  |rowspan=3| [[:Category:Number theory|Number theory]]
Line 91: Line 100:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 3/10
 
  |-
 
  |-
 
  |rowspan=1| [[:Category:Number theory|Number theory]]
 
  |rowspan=1| [[:Category:Number theory|Number theory]]
Line 101: Line 111:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 3/17
 
  |-
 
  |-
 
  |rowspan=2| [[:Category:Automata]]
 
  |rowspan=2| [[:Category:Automata]]
Line 108: Line 119:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 3/20
 
  |-
 
  |-
 
  |rowspan=1| [[:Category:Automata]]
 
  |rowspan=1| [[:Category:Automata]]
Line 113: Line 125:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 3/24
 
  |-
 
  |-
 
  |rowspan=2| [[:Category:Automata]]
 
  |rowspan=2| [[:Category:Automata]]
Line 130: Line 143:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 4/7 
 
  |-
 
  |-
 
  |rowspan=1| [[:Category:Combinatorics]]
 
  |rowspan=1| [[:Category:Combinatorics]]
Line 143: Line 157:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 4/14
 
  |-
 
  |-
 
  |rowspan=3| [[:Category:Probability]]
 
  |rowspan=3| [[:Category:Probability]]
Line 152: Line 167:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 4/21
 
  |-
 
  |-
 
  |rowspan=1| [[:Category:Probability]]
 
  |rowspan=1| [[:Category:Probability]]
Line 157: Line 173:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 4/24
 
  |-
 
  |-
 
  |rowspan=2| [[:Category:Probability]]
 
  |rowspan=2| [[:Category:Probability]]
Line 164: Line 181:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 4/28
 
  |-
 
  |-
 
  |rowspan=2| [[:Category:Metalogic]]
 
  |rowspan=2| [[:Category:Metalogic]]
Line 171: Line 189:
 
  |-
 
  |-
 
  |rowspan=1|  
 
  |rowspan=1|  
 +
| 5/1 
 
  |-
 
  |-
 
  |rowspan=1| [[:Category:Metalogic]]
 
  |rowspan=1| [[:Category:Metalogic]]

Revision as of 15:58, 21 January 2020

This is the course website for CS 2800, Spring 2020.

  • Class meets Monday, Wednesday, Friday, 10:10-11:00am in Statler 185
  • Please read the syllabus
  • Please enroll in Piazza for all course announcements and discussion
  • Homework is posted on Piazza
  • Be sure to frequently refer to the list of Useful pages

Schedule

Topic Date Lecture Topic
Sets and Proof techniques 1/22 Introduction
1/24 Set and function definitions
1/27 Set constructions
1/28
Sets and Proof techniques 1/29 Proof techniques
1/31
Functions and Relations 1/31 Function properties
2/3 Injectivity and left inverses
2/4
2/4
Functions and Relations 2/5 Surjectivity and Bijectivity
2/7 Cardinality
2/10 Diagonalization
2/11
Functions and Relations 2/12 Proof techniques review
2/14
Functions and Relations 2/14 Relations
2/17 Equivalence classes
2/18
Number theory 2/19 Induction
2/21 Strong induction and Euclidean division
2/24 No class;
Number theory 2/26 Base b representation
2/27
2/28
Number theory 2/28 GCD algorithm
3/2 Modular numbers
3/4 Modular division and exponentiation
3/5
Number theory 3/6 Euler’s theorem
3/9 Public key cryptography
3/10
Number theory 3/11 RSA
Category:Automata 3/13 Inductively defined sets
3/16 Structural induction
3/17
Category:Automata 3/18 Deterministic Finite Automata
3/20 Automata constructions
3/20
Category:Automata 3/23 Unrecognizable languages
3/24
Category:Automata 3/25 Non-determinism
3/27 Regular expressions
3/30 No class;
4/1 No class;
4/3 No class;
Category:Automata 4/6 Kleene's theorem
4/7
Category:Combinatorics 4/8 Sum and product rule
4/9
Category:Combinatorics 4/10 Permutations and combinations
4/13 Combinatorial proofs
4/14
Category:Probability 4/15 Probability spaces
4/17 Conditional probability
4/20 Random variables
4/21
Category:Probability 4/22 Expectation
4/24
Category:Probability 4/24 Independent RVs
4/27 Markov's/Chebychev's/Weak law
4/28
Category:Metalogic 4/29 Truth tables
5/1 Proof trees
5/1
Category:Metalogic 5/4 Soundness and completeness
TBD

Office hours schedule

(Click for location)