Marcin Sydow - Discrete Mathematics - Course Web Page

Studies: Undergraduate, Computer Science, Polish-Japanese Institute of Information Technology
Lectures: 15 --- Classes: 15 --- Exam: Written/Oral --- Language: English

Proposed Textbooks: NEW: Results of MAD correction test from dr Kotowski's groups: here
Passing rules: here

Lectures:
  1. "Propositions" - Basics of Logic, Propositional Calculus
  2. "Sets" - Basics of Set Theory: definitions, denotations, set operations, set identities
  3. "Predicates" - Predicate Calculus
  4. "Relations" - Basics of relations and Equivalence relations
  5. "Functions"
  6. "Inference and Proofs" - Basic Proof Techniques
  7. Test 1 (examples of task types for the Test 1)
  8. "Graphs and Trees" - Basic concepts from graph theory
  9. "Order Relation"
  10. "Mathematical Induction"
  11. "Counting"
  12. "Basic Discrete Probability"
  13. "Equipollence Relation"
  14. Test 2 Examples of questions/tasks
  15. Reserve term (optional retakes of the tests)
back to: Marcin Sydow - home page
Last updated: 25 March 2019