Course10610320545 lectures
Discrete Mathematics
Prof. Sajith Gopalan and Prof. Benny George K · IIT Guwahati
Lectures
Mathematical Logic - I
- Lec 1: Boolean Functions
- Lec 2: Propositional Calculus: Introduction
- Lec 3: First Order Logic: Introduction
Mathematical Logic - II
- Lec 4: First Order Logic: Introduction (Cont'd)
- Lec 5: Proof System for Propcal
- Lec 6: First Order Logic: wffs, interpretations, models
Mathematical Logic and Set Theory
- Lec 7: Soundness and Completeness of the First Order Proof System
- Lec 8: Sets, Relations, Functions
- Lec 9: Functions, Embedding of the theories of naturals numbers and integers in Set Theory
- Lec 10: Embedding of the theories of integers and rational numbers in Set Theory; Countable Sets
Graph Theory
- Lec 11: Introduction to graph theory
- Lec 12: Trees, Cycles , Graph coloring
- Lec 13: Bipartitie Graphs
Graph Theory - II
- Lec 14: Bipartitie Graphs; Edge Coloring and Matching
- Lec 15: Planar Graphs
- Lec 16: Graph Searching; BFS and DFS
- Lec 17: Network Flows
- Lec 18: Counting Spanning Trees in Complete Graphs
Set Theory & Number Theory
- Lec 19: Embedding of the theory of ral numbers in Set Theory; Paradoxes
- Lec 20: ZF Axiomatization of Set Theory
- Lec 21: Partially ordering relations
- Lec 22: Natural numbers, divisors
Set Theory & Number Theory- II
Combinatorics
- Lec 27: Pigeon Hole Principle
- Lec 28: Stirling Numbers, Bell Numbers
- Lec 29: Generating Functions
- Lec 30: Product of Generating Functions
Combinatorics- II
- Lec 31: Composition of Generating Function
- Lec 32: Principle of Inclusion Exclusion
- Lec 33: Rook placement problem
Number Theory -II
- Lec 34: Solution of Congruences
- Lec 35: Chinese Remainder Theorem
- Lec 36: Totient; Congruences; Floor and Ceiling Functions
Algebra
- Lec 37: Introduction to Groups
- Lec 38: Modular Arithmetic and Groups
- Lec 39: Dihedral Groups, Isomorhphisms
Algebra-II
- Lec 40: Cyclic groups, Direct Products, Subgroups
- Lec 41: Cosets, Lagrange's theorem
- Lec 42: Rings and Fields
- Lec 43: Construction of Finite Fields
Live Session
Syllabus and materials
At NPTEL, as the course publishes them.
Credits and licence
- Institution
- IIT Guwahati
- Department
- Computer Science and Engineering
- Taught by
- Prof. Sajith Gopalan, Prof. Benny George K
- Level
- Undergraduate
- Language
- English
- Subjects
- Computer science, Engineering
- Source
- NPTEL
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
- Who can watch
- NPTEL gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed
More like this
NPTEL103103145
Course
Mass Transfer Operations - I
41 lectures · Source's player
NPTEL103103152
Course
Chemical Process Intensification
35 lectures · Source's player
NPTEL103103155
Course
Mechanical Unit Operations
37 lectures · Source's player
NPTEL103103209
Course
Aspen Plus® Simulation Software - A Basic Course For Beginners
35 lectures · Source's player
NPTEL103103220
Course
Organic Chemical Technology
35 lectures · Source's player
NPTEL103103221
Course
Solid-Fluid Operations
36 lectures · Source's player
NPTEL103103675
Course
Aspen Plus® Simulation Software - An Advanced Course for Learners
62 lectures · Source's player
NPTEL103103031
Course
Heat Transfer
40 lectures · Video
NPTEL103103034
Course
Mass Transfer Operations I
39 lectures · Video
NPTEL103103039
Course
Process Design Decisions and Project Economics
46 lectures · Video
NPTEL103103146
Course
Transport Phenomena of Non-Newtonian Fluids
41 lectures · Video
NPTEL103103147
Course
Fluid Flow Operations
36 lectures · Video