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