# Discrete Mathematics & Mathematical Modeling

**Department of Information Technology and Computer Engineering In association with SPPU**

### 6th June 2017 to 10th June 2017 at Zeal College of Engineering and Research, Narhe, Pune

### About STTP

Discrete Mathematics is a branch of mathematics involving discrete elements that uses algebra and arithmetic. It is increasingly being applied in the practical fields of mathematics and computer science. It is a very good tool for improving reasoning and problem-solving capabilities. This STTP is intended to explain the fundamental concepts of Sets, Relations and Functions, Mathematical Logic, Group theory, Counting Theory, Probability, Mathematical Induction and Recurrence Relations, Graph Theory, Trees and Boolean Algebra. Mathematical modeling translates those real world problems into the language of mathematics. Another objective is to create awareness about applying mathematical modeling to the problems of Computer Engineering.

### Objectives

- To explore the concepts of discrete mathematics with its Engineering Applications.
- To provide new insights and knowledge about the topic through close interactions/discussions with the senior Faculty Members/Scientists and Experts of the respective field.
- To study how discrete objects combine with one another.
- To understand how computer implementations are significant in applying ideas from discrete mathematics to real world problems.
- To learn appropriate use of set, function and relation models to understand practical examples, and interpret the associated operations and terminologies in context.
- To determine number of logical possibilities of events and to learn logic and proof techniques to expand mathematical maturity.
- Formulate problems precisely, solve the problems, apply formal proof techniques, and explain the reasoning clearly.

### Content of STTP

- Set Theory and Logic
- Relations and Functions
- Permutation, Combination & Probability
- Graph Theory
- Trees
- Algebraic Structures and Coding
- Mathematical Modeling