Core Course · CS-এর গাণিতিক ভিত্তি

Discrete MathematicsLogic, sets, combinatorics, graphs, number theory & algorithm complexity — the math behind every algorithm

যেকোনো প্রোগ্রামের সঠিকতা প্রমাণ করা, অ্যালগরিদমের জটিলতা (Big-O) গণনা করা, নেটওয়ার্ক মডেল করা, এনক্রিপশন বোঝা — এই সবকিছুর ভিত্তি বিচ্ছিন্ন গণিত। এই কোর্স যুক্তি ও প্রমাণ থেকে শুরু করে গ্রাফ থিওরি, নাম্বার থিওরি ও ক্রিপ্টোগ্রাফি, রিকারেন্স রিলেশন, অটোমাটা থিওরি, এবং সম্পূর্ণ অ্যালগরিদম বিশ্লেষণ ও জটিলতা তত্ত্ব (Big-O, P বনাম NP) পর্যন্ত সম্পূর্ণ ডেরিভেশন ও Python কোডসহ কভার করে — DSA কোর্সের আদর্শ সঙ্গী।

৪৪টি পাঠ ~৭ সপ্তাহে শেষ শুরু থেকে উচ্চ Python কোডসহ ফ্রি
পাঠ ০১ থেকে শুরু করুন

এই ট্র্যাকে যা শিখবেন What you'll learn

প্রপোজিশনাল ও প্রেডিকেট লজিক, এবং প্রমাণ লেখার সব প্রধান পদ্ধতি — সরাসরি, বিপরীতগামী, বিরোধিতা, ইনডাকশন
সেট থিওরি, রিলেশন ও ফাংশন — ইকুইভ্যালেন্স রিলেশন থেকে পার্শিয়াল অর্ডার পর্যন্ত
কম্বিনেটরিক্স — পারমুটেশন, কম্বিনেশন, পিজনহোল ও ইনক্লুশন-এক্সক্লুশন প্রিন্সিপল
গ্রাফ থিওরি — কানেক্টিভিটি, ট্রি, গ্রাফ কালারিং, প্ল্যানার গ্রাফ
নাম্বার থিওরি ও ক্রিপ্টোগ্রাফি — মডুলার এরিথমেটিক থেকে RSA এনক্রিপশন পর্যন্ত
রিকারেন্স রিলেশন ও Master Theorem — অ্যালগরিদমের জটিলতা বিশ্লেষণের ভিত্তি
বুলিয়ান অ্যালজেব্রা ও ফিনাইট স্টেট অটোমাটা — ডিজিটাল লজিক ও কম্পাইলারের ভিত্তি
অ্যালগরিদম বিশ্লেষণ ও জটিলতা — Big-O/Ω/Θ, complexity class, P বনাম NP
চূড়ান্ত প্রকল্পে একাধিক ক্ষেত্র একত্র করে একটি বাস্তব সমস্যা সমাধান

৪৪টি পাঠ Lesson list

৯টি মডিউলে ভাগ — যুক্তি ও প্রমাণ, সেট/রিলেশন/ফাংশন, কম্বিনেটরিক্স, গ্রাফ থিওরি, নাম্বার থিওরি, রিকারেন্স রিলেশন, বুলিয়ান অ্যালজেব্রা/অটোমাটা, অ্যালগরিদম বিশ্লেষণ ও জটিলতা, ও চূড়ান্ত প্রকল্প।

M1যুক্তি ও প্রমাণLogic & Proofs
L01
কেন বিচ্ছিন্ন গণিত কম্পিউটার সায়েন্সের ভিত্তি
Why discrete math is the foundation of CS
৯মি
পড়ুন
L02
প্রপোজিশনাল লজিক — বিবৃতি ও যৌক্তিক অপারেটর
Propositional logic — statements & connectives
৮মি
পড়ুন
L03
প্রেডিকেট লজিক ও কোয়ান্টিফায়ার
Predicate logic & quantifiers
৮মি
পড়ুন
L04
যৌক্তিক সমতুল্যতা ও ইনফারেন্স নিয়ম
Logical equivalences & inference rules
৮মি
পড়ুন
L05
প্রমাণ পদ্ধতি — সরাসরি, বিপরীতগামী, বিরোধিতা
Proof techniques — direct, contrapositive, contradiction
৯মি
পড়ুন
L06
গাণিতিক ইনডাকশন
Mathematical induction
৯মি
পড়ুন
M2সেট, রিলেশন ও ফাংশনSets, Relations & Functions
L07
সেট থিওরি — মূল ধারণা ও অপারেশন
Set theory — basics & operations
৮মি
পড়ুন
L08
রিলেশন — সংজ্ঞা ও বৈশিষ্ট্য
Relations — definitions & properties
৭মি
পড়ুন
L09
ইকুইভ্যালেন্স রিলেশন ও পার্টিশন
Equivalence relations & partitions
৮মি
পড়ুন
L10
পার্শিয়াল অর্ডার ও Hasse ডায়াগ্রাম
Partial orders & Hasse diagrams
৮মি
পড়ুন
L11
ফাংশন — ইনজেকটিভ, সারজেক্টিভ, বাইজেকটিভ ও কার্ডিনালিটি
Functions — injective, surjective, bijective & cardinality
৯মি
পড়ুন
M3কম্বিনেটরিক্স ও গণনাCombinatorics & Counting
L12
বেসিক কাউন্টিং — যোগ ও গুণের নিয়ম
Basic counting — sum & product rules
৭মি
পড়ুন
L13
পারমুটেশন
Permutations
৭মি
পড়ুন
L14
কম্বিনেশন ও বাইনোমিয়াল কোয়েফিসিয়েন্ট
Combinations & the binomial coefficient
৮মি
পড়ুন
L15
পিজনহোল প্রিন্সিপল
The pigeonhole principle
৭মি
পড়ুন
L16
ইনক্লুশন-এক্সক্লুশন প্রিন্সিপল
The inclusion-exclusion principle
৮মি
পড়ুন
L17
ডিসক্রিট প্রোবাবিলিটি বেসিকস
Discrete probability basics
৮মি
পড়ুন
M4গ্রাফ থিওরিGraph Theory
L18
গ্রাফ — সংজ্ঞা, টার্মিনোলজি ও প্রকারভেদ
Graphs — definitions, terminology & types
৮মি
পড়ুন
L19
গ্রাফ রিপ্রেজেন্টেশন ও কানেক্টিভিটি
Graph representation & connectivity
৮মি
পড়ুন
L20
ইউলারিয়ান ও হ্যামিলটোনিয়ান পথ
Eulerian & Hamiltonian paths
৯মি
পড়ুন
L21
ট্রি ও স্প্যানিং ট্রি
Trees & spanning trees
৮মি
পড়ুন
L22
গ্রাফ কালারিং ও ক্রোমাটিক নাম্বার
Graph coloring & chromatic number
৮মি
পড়ুন
L23
প্ল্যানার গ্রাফ ও অয়লারের সূত্র
Planar graphs & Euler's formula
৮মি
পড়ুন
M5নাম্বার থিওরি ও ক্রিপ্টোগ্রাফিNumber Theory & Cryptography
L24
ডিভিজিবিলিটি ও প্রাইম নাম্বার
Divisibility & prime numbers
৭মি
পড়ুন
L25
GCD, LCM ও ইউক্লিডিয়ান অ্যালগরিদম
GCD, LCM & the Euclidean algorithm
৮মি
পড়ুন
L26
মডুলার এরিথমেটিক
Modular arithmetic
৮মি
পড়ুন
L27
ফার্মার লিটল থিওরেম ও অয়লার'স থিওরেম
Fermat's Little Theorem & Euler's theorem
৯মি
পড়ুন
L28
RSA এনক্রিপশন — নাম্বার থিওরির বাস্তব প্রয়োগ
RSA encryption — number theory in practice
১০মি
পড়ুন
M6রিকারেন্স রিলেশনRecurrence Relations
L29
রিকারেন্স রিলেশন — সংজ্ঞা ও উদাহরণ
Recurrence relations — definitions & examples
৭মি
পড়ুন
L30
রিকারেন্স সমাধান — ক্যারেক্টারিস্টিক ইকুয়েশন পদ্ধতি
Solving recurrences — the characteristic equation method
৯মি
পড়ুন
L31
ডিভাইড-অ্যান্ড-কনকার রিকারেন্স ও Master Theorem
Divide-and-conquer recurrences & the Master Theorem
৯মি
পড়ুন
L32
জেনারেটিং ফাংশন পরিচিতি
Introduction to generating functions
৮মি
পড়ুন
M7বুলিয়ান অ্যালজেব্রা ও অটোমাটাBoolean Algebra & Automata
L33
বুলিয়ান অ্যালজেব্রা ও লজিক গেট
Boolean algebra & logic gates
৮মি
পড়ুন
L34
ফিনাইট স্টেট অটোমাটা
Finite state automata
৯মি
পড়ুন
L35
রেগুলার এক্সপ্রেশন ও রেগুলার ল্যাঙ্গুয়েজ
Regular expressions & regular languages
৮মি
পড়ুন
M8অ্যালগরিদম বিশ্লেষণ ও জটিলতাAlgorithms & Complexity
L36
অ্যালগরিদম বিশ্লেষণ কেন জরুরি
Why algorithm analysis matters
৮মি
পড়ুন
L37
Big-O নোটেশন — আপার বাউন্ড
Big-O notation — upper bounds
৯মি
পড়ুন
L38
Big-Ω ও Big-Θ নোটেশন
Big-Omega & Big-Theta notation
৮মি
পড়ুন
L39
সাধারণ জটিলতা ক্লাস — O(1) থেকে O(2ⁿ)
Common complexity classes
৮মি
পড়ুন
L40
সেরা, গড় ও সবচেয়ে খারাপ কেস বিশ্লেষণ
Best, average & worst case analysis
৮মি
পড়ুন
L41
রিকার্সিভ অ্যালগরিদমের জটিলতা
Complexity of recursive algorithms
৯মি
পড়ুন
L42
P বনাম NP ও NP-সম্পূর্ণতা পরিচিতি
P vs NP & introduction to NP-completeness
৯মি
পড়ুন
L43
অ্যালগরিদম তুলনা — বাস্তব বেঞ্চমার্কিং
Comparing algorithms — empirical benchmarking
৯মি
পড়ুন
M9চূড়ান্ত প্রকল্পCapstone
L44
চূড়ান্ত প্রকল্প — একাধিক ক্ষেত্র একত্র করে বাস্তব সমস্যা সমাধান
Capstone — combining multiple areas to solve a real problem
১৬মি
পড়ুন