CS Notes
Search
Search
Dark mode
Light mode
Explorer
Home
❯
01 Semesters (BSc)
❯
Semester 1
❯
Discrete Maths
❯
Lecture Notes
Folder: 01-Semesters-(BSc)/Semester-1/Discrete-Maths/Lecture-Notes
27 items under this folder.
Jan 07, 2026
01 Intro and Statements
Jan 07, 2026
02 Propositional Logic and Formulas
Jan 07, 2026
03 Logical Equivalence, Tautological Implication and Modus Ponens
Jan 07, 2026
04 Quantifiers
Jan 07, 2026
05 Proof Types
Jan 07, 2026
06 Set Theory and Russels Paradox
Jan 07, 2026
07 Equality, Ordered Pairs, Cartesian Product, Power Set and Relationships
Jan 07, 2026
08 Relations, Compositions and Properties
Jan 07, 2026
09 Equivalency Relation and Classes, Partitions, Partially Ordered Sets
Jan 07, 2026
10 Posets, Hasse Diagrams, Lexicographical Ordering, Special Elements, Functions, Countability, Infinities
Jan 07, 2026
11 Functions, Relations, Cardinality, Countability, Cantor's Diagonalization Argument
Jan 07, 2026
12 Cardinality, Number Theory, Rings, Euclidian Rings, Ideal, Congruence, Modular Arithmetic, Diophantine Equations
Jan 07, 2026
13 Modular Arithmetics, Set of Residues, Diffie-Hellman, Multiplicative Inverse, Chinese Remainder Theorem
Jan 07, 2026
14 Algebraic Structures and Operations, Monoids, Inverses, Groups, Group Properties, Landscape of Groups
Jan 07, 2026
15 Groups, Homomorphism, Isomorphism, Preservation of Identity and Inverses
Jan 07, 2026
16 Isomorphism, Powers, Order, Generators, Lagrange's Theorem, Multiplicative Groups, Euler's Totient Function, RSA
Jan 07, 2026
17 Rings, Polynomial Rings, Integral Domains, Units
Jan 07, 2026
18 Rings, Fields, Real Polynomial Fields, Polynomial Fields, Galois Fields
Jan 07, 2026
19 Factorizations, Polynomial Fields and Division, Polynomial Interpolation, Constructing Galois Fields
Jan 07, 2026
20 Generators in Finite Fields, Properties of Finite Fields, Error Correcting Codes, Reed-Solomon Codes
Jan 07, 2026
21 Logic, Proof Systems, Logical Consequence, Syntactic Derivation
Jan 07, 2026
22 Proof Systems, Syntax, Semantics, Equivalence, Satisfiability, Tautologies, Normal Forms, Types of Statements
Jan 07, 2026
23 Predicate Logic Reintroduced, Syntax, Semantics, Universe Size
Jan 07, 2026
24 Evaluating and Proving Formulas in Predicate Logic, Equivalences, Transformations, Variable Substitution, Universal Instantiation, Equality, Prenex Normal Form
Jan 07, 2026
25 Skolem Normal Form, Russell's Paradox, Cantor's Diagonalization, Existence of Uncomputable Functions, Higher-Order Logic, Calculi
Jan 07, 2026
26 Syntactic Derivation vs Semantic Entailment, Logic Calculus, Sequent Calculus, Resolution Calculus
Jan 07, 2026
27 Soundness and Completeness of Resolution Calculus, NP and SAT problem