Learning OS

Home

Files stay here. Modes and tools sit in this rail so they stay reachable.

Path
/courses/bsma2001/notes
Explorer
Utilities & Portals
Student Dashboard
Mock Exam Engine - tata/tcs ion digizone
Grading Document
Student Handbook
T1 2026 Announcements
Maths I Portal
Python Portal
English II Portal
Score Checker
Learning OS
Quiz 3
Courses
Levels
RoadmapsPracticeSurfaces
Foundational
Foundational · May 2026
Mathematics I
Statistics I
Computational Thinking
Programming in Python
ProgramSyllabusDates
StartCheckpoint desk · Quiz 3
LibraryCheckpointProgramPracticeDates
LibraryHubsMathematical ThinkingNotes
BSMA2001 · Knowledge Base

Mathematical Thinking Notes

16
Concepts
0
Facts
0
Procedures
concept
1m

298 - Propositional Logic

concept
1m

299 - Predicate Logic

concept
1m

300 - Quantifier Manipulation

concept
1m

301 - Proof Techniques I- Direct, Contrapositive, and Contradiction

concept
1m

302 - Common Logical Fallacies

concept
1m

303 - Mathematical Induction

concept
1m

304 - Advanced Proof Techniques

concept
1m

305 - Set Theory

concept
1m

306 - Set Operation Proofs

concept
1m

307 - Relations and Functions

concept
1m

308 - Number Theory

concept
1m

309 - Modular Arithmetic Deep Dive

concept
1m

310 - Advanced Logic- Proof Strategies and Uniqueness

concept
1m

311 - Cardinality and Countability

concept
1m

312 - Uncountable Sets and Cantor's Theorem

concept
1m

313 - Combinatorics and Basic Probability

HomeLibraryQuiz 3
Learning OS

A student-owned study desk for the IIT Madras BS in Data Science and Applications.

Study

Program mapCourse hubsPractice dockFeature mapDigital Garden

Elsewhere

Source RepoDiscord BaseUpdates on X

Keep going

Important datesSource desk
© 2026 Learning OS. Open Source Initiative.
PrivacyTermsSystem Log
Document outline

Keep your place and jump directly to a heading.

Table of contents

No note selected

Open a chapter to see its outline, backlinks, and sources here.

Open libraryCheckpoint desk