Discrete 2021: Sources
Topics
Assignments
Coq
Summaries
Presentations
Sources
Skaitļu teorija
Discrete (2021)
Lietišķie algoritmi
Data Structures
RBS Seminars
Vizualizāciju seminārs
Semantic Web
Older PBM763
Olimpiāžu uzdevumu DB
Discrete Math in Other Universities
SUNY Buffalo: Discrete Structures
Cornell: A Course in Discrete Structures
Terry Tao. On Multiple-Choice Questions in Mathematics
Proof Assistants
TBD