BITL3 - Discrete Structures - Spring 2022
Other offerings of this course: Spring 2021, Spring 2022
Meeting time (lectures): Mondays 9:00 - 10:40, Wednesdays 9:00 - 10:40
Meeting time (labs): Tuesdays 14:00 - 15:40, Fridays 15:50 - 17:30
Instructors: Kalvis Apsītis, Jānis Lazovskis (janis.lazovskis@rbs.lv)
Office: 404, Skolas iela 11
Office hours (on Zoom): Bookable at Calendly
Internal page: ORTUS e-studijas
External page: Lab homepage (this page)
Online whiteboard for labs: Board 1, Board 2
Signup sheet for presentations: Google Sheets
Worksheets
Worksheets of some, not all of) the problems given in class.
- Tuesday, January 4: logcial symbols, propositions, truth and falsity, introduction to proofs
- Friday, January 7: rules of logic, different proof types
- Tuesday, January 11: propositions in English and with symbols, more practice with proofs
- Friday, January 14: logical equivalences, counterexamples
- Tuesday, January 18: proofs with sets
- Friday, January 21: sets, functions
- Tuesday, January 25: sequences, bijectivity, cardinality
- Friday, January 28: sets, functions
- Tuesday, February 1: relations, partial orders, transitive closures, Hasse diagrams
- Friday, February 4: congruences, bases, divisibility
- Tuesday, February 8: GCD, primes, Fermat's little theorem, Chinese remainder theorem
- Friday, February 11: conruences, more on Fermat's little theorem
- Tuesday, February 15: cryptosystems, induction
- Friday, February 18: induction, mistakes in proofs, review
- Tuesday, February 22: sets, DNF, CNF
- Friday, February 25: no lab due to midterm
- Tuesday, March 1: graphs, handshaking theorem
- Friday, March 4: trees, graphs, degrees
- Tuesday, March 8: introduction to counting
- Friday, March 11: counting functions, counting binary strings, recursive algorithms
- Tuesday, March 15: counting, number of ways, introduction to probability
- Friday, March 18: Big-O notation, algorithm analysis
- Tuesday, March 22: running time, asymptotic notation (Big-O, Big-Omega, Big-Theta)
- Friday, March 25: no lab
- Tuesday, March 29: probability, uniform distribution, events
- Friday, April 1: Bernoulli trials, expected value, variance, probability functions
- Tuesday, April 5: More Bernoulli trials, more on random variables, sums
- Friday, April 8: More on expected value, variance