Discrete Structures - Spring, 2017

map syllabus grades
pytree

Calendar—Spring 2017

Week Readings Topics Assignments
4 2.3: Functions
2.4: Relations and Equivalences
Domain, codomain, one-to-one, onto, composition, inverse,f-graphs, r-graphs,directed,undirected graphs,equivalence relations, reflexivity, symmetry, transitivity, partition,  
20-Feb
3 2.1: Graphs
2.2: Sets
DSP: 1.2 Truth Values and Functions
Graphs, TkGate (from Discrete Structures with Python, "aka DSP")

2.1: do 2-20 even
Turn in: 22-28 even

2.2: do 2-24 even
Turn in: 26-32 even

13-Feb
2 1.4: Logic in Mathematics
1.5: Methods of Proof
MMLogic and CodePlex

Logic Circuits and Boolean Algebra
by Clive Maxfield
Axiomatic systems, direct proof vs. proof by contradiction or contraposition 1.5: do 1-24, even, but don't turn in
To turn in 2/13: 1.4: 22-30 even
To Turn in 2/15: 1.5: 20,22,24
6-Feb
1 1.1: Formal Logic
1.2: Propositional Logic
1.3: Predicate Logic


The Penn predicate logic calculator
Lambda calculator
Connectives, propositions, truth tables, equivalences, tautologies, contradictions, derivations, proofs, forward/backward, predicates, quantifiers, translations, negations, constructions, definitions, statements, counterexamples.

1.1: 2, 6, 8, 10, 12, 16, 18, 22, 24, 26, 30, 32
1.2: 2, 6, 8, 10, 12, 14, 16, 18, 20, 22, 26

1.3: 12 -- 24 even

SOL'NS for 1.1-1.2
SOL'NS for 1.3

Get started learning Python with codeacademy.com
and install Jupyter Notebook.

30-Jan