B.Sc. (Computer Science) IKS in Computational Systems Syllabus - Mumbai University
This is the TY BSc Computer Science syllabus under NEP 2020, in force from the academic year 2026-27. The University still sets the earlier Choice Based papers alongside it — her Summer 2026 third-year timetables name that scheme — so check which scheme your exam form names before you revise.
Loading syllabus...
Syllabus for IKS in Computational Systems
Module I
- Śāstra Methodology and Knowledge Formalization Indian knowledge traditions systematized disciplines as śāstra — structured bodies of rule-governed knowledge. Topics:
- Concept of śāstra as a formal knowledge system
- Sutra method as compressed symbolic encoding
- Pramāṇa theory (Pratyakṣa, Anumāna, Āgama)
- Knowledge validation and structured reasoning As Modern CS Concept: Knowledge representation, formal specification, symbolic abstraction.
- Piṅgala’s Chandaḥśāstra as Binary Encoding and Combinatorial Generation Study of prosodic structures in Piṅgala’s text and its algorithmic features. Topics:
- Laghu–Guru representation as binary encoding
- Prastāra (systematic enumeration of patterns)
- Naṣṭa and Uddiṣṭa (index retrieval mechanisms)
- Meru-Prastāra and combinatorial expansion As Modern CS Concept: Binary number systems, Recursive enumeration, Tree structures, Pascal triangle and combinatorics, Algorithmic generation
- Pāṇini’s Aṣṭādhyāyī as a Generative Formal Grammar Examination of the structural architecture of Pāṇini’s grammatical system.
- Topics:
- Rule-based generative structure
- Meta-rules and rule precedence
- Context-sensitive operations
- Conflict resolution mechanisms As Modern CS Concept: Context-Free Grammar (CFG), Rewrite systems, Automata theory, foundations, Parsing algorithms, Foundations of NLP
Module II
- Nyāya Logic as Structured Inference and Knowledge Systems
- Study of classical Indian logical structures. Topics:
- Five-member syllogism
- Anumāna (inference) structure
- Debate methodology and validation
- Padārtha (categorical ontology overview) As Modern CS Concept: Propositional logic, Predicate logic, Inference engines, Explainable AI
- Ayurvedic Classification as Rule-Based Expert System (5 Hours) Examination of structured diagnostic reasoning in Ayurvedic texts. Topics:
- Tridoṣa framework
- Symptom–feature mapping
- Multi-attribute classification
- Decision principles in diagnosis As Modern CS Concept: Decision trees, Rule-based systems, Expert systems, Feature engineering, Multi-class classification
- Arthaśāstra Cryptography as Secure Communication Model
- Study of intelligence and secure communication practices. Topics:
- Secret communication techniques
- Substitution and transposition systems
- Concealment and coded messaging
- Information protection mechanisms As Modern CS Concept: Symmetric encryption, Cipher algorithms, Basic steganography, Secure protocol abstraction, Foundations of cybersecurity
Text Books
- 1 Computing Science in Ancient India, T.R.N. Rao/ Subhash Kak
- 2 The Mathematics of India: Concepts, Methods, Connections P. P. Divakaran, Hindustan Book Agency, 2018
- 1 Pāṇini: Background and introduction, George Cardona, Motilal Banarsidass, 1988
- 2 Nyaya-Vaisesika (A History of Indian Literature) B. K. Matilal, Harrassowitz, 1977
- 3 The Computation Meme: Explorations in Indic Computational Thinking K. Gopinath & Shailaja D. Sharma, Indian Institute of Science (IISc), Bengaluru, 2022
- 4 Indian Mathematics Engaging the World from Ancient to Modern Times G. G. Joseph, 2016
Reproduced from the University of Mumbai syllabus for B.Sc. (Computer Science) under NEP 2020, in force from the academic year 2026-27. Wording is as printed in that syllabus. Module numbering is as printed there too.