Unit 1
Logic, Mathematical Reasoning and Counting: Logic, Prepositional Equivalence, Predicate and Quantifiers, Theorem Proving. Recursive Definitions, Recursive Algorithms, Basics of Counting, Pigeonhole Principle, Permutation and Combinations.
| Course Name | Mathematical Foundations for Computer Applications |
| Course Code | 26MAT501 |
| Program | M. C. A. |
| Semester | 1 |
| Credits | 4 |
| Campuses | Amritapuri, Mysuru |
Logic, Mathematical Reasoning and Counting: Logic, Prepositional Equivalence, Predicate and Quantifiers, Theorem Proving. Recursive Definitions, Recursive Algorithms, Basics of Counting, Pigeonhole Principle, Permutation and Combinations.
Number theory: Divisibility- Primality Testing. GCD- Properties of the Greatest Common Divisor- Euler’s Theorem. – Euclid’s Algorithm-Extended Euclid’s Algorithm. The Fundamental Theorem of Arithmetic. The Prime Number Theorem. Modular Arithmetic- Congruence – Arithmetic with a Prime Modulus- Multiplicative Inverses- Fermat’s Little Theorem- Chinese Remainder Theorem.
Graph Theory: Introduction to Graphs, Graph Operations, Graph and Matrices, Graph Isomorphism, Connectivity. Graph centralities: Degree and distance-based centralities. Clustering and Eigenvalue centralities. Case studies on data networks.
Review of basic probability and distributions.
Statistics – Bayesian statistical inference, point estimators, parameter estimators, test of hypotheses, tests of significance.
Introduction to optimization: classical optimization, Optimality criteria – Necessary and sufficient conditions for existence of extreme point.
Direct search methods: unidirectional search, evolutionary search method, simplex search method, Introduction, Conditions for local minimization. One dimensional Search methods: Golden search method, Fibonacci method, Newton’s Method, Secant Method.
Course Description
This course introduces the mathematical concepts essential for computer applications. It covers logical reasoning using propositional and predicate logic, recursive problem modeling, basic combinatorics, number theory, and graph theory. The course also emphasizes the application of statistical and optimization techniques for analyzing data and solving real-world computational problems.
Course Objectives
Course Outcomes
|
COs |
Description |
|
CO1 |
Analyze and construct logical arguments using principles of propositional and predicate logic, and develop recursive functions to model mathematical and computational problems. |
|
CO2 |
Apply and interpret concepts of elementary combinatorics to solve counting problems arising in discrete mathematical structures and real‑world applications. |
|
CO3 |
Formulate and solve problems in number theory, including modular arithmetic, to model and analyze numerical systems relevant to theoretical and applied contexts. |
|
CO4 |
Analyze graph‑theoretic structures and compute centrality measures, and apply graph centrality concepts to real‑world datasets for interpreting relational and network‑based systems. |
|
CO5 |
Apply statistical methods and basic optimization techniques to analyze real‑time data and determine optimal solutions under given constraints. |
CO-PO Mapping
|
PO/PSO |
PO1 |
PO2 |
PO3 |
PO4 |
PO5 |
PO6 |
PO7 |
PO8 |
|
CO |
||||||||
|
CO1 |
3 |
3 |
1 |
– |
– |
– |
– |
1 |
|
CO2 |
3 |
3 |
2 |
– |
– |
– |
– |
2 |
|
CO3 |
3 |
3 |
2 |
– |
– |
– |
– |
2 |
|
CO4 |
3 |
3 |
2 |
– |
– |
– |
– |
2 |
|
CO5 |
3 |
3 |
2 |
– |
– |
– |
– |
2 |
DISCLAIMER: The appearance of external links on this web site does not constitute endorsement by the School of Biotechnology/Amrita Vishwa Vidyapeetham or the information, products or services contained therein. For other than authorized activities, the Amrita Vishwa Vidyapeetham does not exercise any editorial control over the information you may find at these locations. These links are provided consistent with the stated purpose of this web site.