MA101Semester I • BTECH-CSIT
Discrete & Applied Mathematics
Propositional logic, predicate calculus, formal proof methods, mathematical induction, set theory, relations, combinatorics, and graph theory.
2
Units
3
Topics
0
Handbooks
OFFICIAL COURSE TEXTBOOKIDRAS Master Book & Interactive Engine
Discrete & Applied Mathematics (MA101): Complete Digital Textbook & Labs
Comprehensive curriculum-aligned chapters, embedded interactive simulators, deep micro-concepts, and university exam/viva solutions.
Coding Practice Chapter Modules
Hands-on Practice Modules (2 Chapters)
Progressive coding topics taught through live code examples, exercises, and execution traces.
UNIT 1 INTERACTIVE LABORATORYLive Interactive Sim
Direct Memory Access (DMA) & Cycle Stealing Laboratory
Foundations of mathematical reasoning, Boolean connectives, logical equivalences, tautologies, and quantified statements.
Topic 1FOUNDATION~35 mins
Propositional Logic, Logical Connectives & Formal Truth Tables
Formal study of propositions, truth functional operators (AND, OR, NOT, IMPLIES, BICONDITIONAL), and tautologies.