Lectures

Announcements

  • Lectures are held every Thursday from 16:00 in ASPC amphitheater.

Propositional Logic

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 6.2 Propositional Calculus (Subsections Intro, Well-Formed Formulas, Syntax, Semantics, Equivalence pp. 309-316)
    • Section 6.2 (Subsections Disjunctive Normal Form, Conjunctive Normal Form, Constructing CNF/DNF Using Equivalences pp. 320-326)
    • Section 6.3 (Formal Reasoning Systems, pp. 329-334)
    • Section 6.3 (Subsections Indirect Proof, pp. 338-339)
    • Section 9.2 (Subsection A Primer of Resolution for Propositions pp. 461-462)

Strings, Languages and Grammars

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 1.3 (Strings Subsection pp. 36-37)
    • Section 3.1 (Strings Subsection pp. 117-118)
    • Section 3.3 (Strings Subsection pp. 157-158)
    • Section 3.2 (Language Construction pp. 126-128 without Combining Languages)
    • Section 3.2 (Subsection Grammar and Derivation pp. 130-143 without pages 138-140)

Trees

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 1.3 (Subsections Trees pp. 48-51)
    • Section 3.1 (Subsection Binary Trees pp.120-121)
    • Section 3.3 (Subsection BinaryTrees - Search Tree Example is optional, Traversing Binary Trees pp.159-162)

Graphs

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 1.3 (Subsections Graphs & Paths in Graphs & Graph Traversals pp. 41-48)
    • Section 1.2 (Subsection Multisets pp.24-25)

Relations

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 1.3 (Subsection Relations pp. 38-41)
    • Section 4.1 (Subsections Properties & Composition pp.174-176)

Tuples and Lists

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 1.3 (Subsection Tuples pp.30-32)
    • Section 1.3 (Subsections Products of Sets pp. 32-34)
    • Section 1.3 (Subsection Counting Tuples pp.52-53 only tuples counting)
    • Section 2.2 (Composition and Tupling - tuples of fuctions part pp. 78-80)
    • Section 1.3 (Subsection Lists pp. 34-35)
    • Section 3.1 (Subsection Lists pp.113-117)
    • Section 3.3 (Subsection Lists pp.151-156)

Countable And Uncountable

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 2.4 (pp. 98-103)

Functions

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 2.1(pp.60-63)
    • Section2.3(pp.89-93)
    • Section 2.2 (pp.77-78 only Composition)
    • Section 3.3(pp. 146- 150)

Sets

Suggested Reading

  • J. Hein - Discrete Structure, Logic and Computability (1st Edition)
    • Section 1.2 (pp. 10-24)
    • Section 3.1 (pp. 110-111)

Additional Topics - Drafts