BSC. MATHEMATICS AND COMPUTER SCIENCE

BSC. MATHEMATICS AND COMPUTER SCIENCE Unit I Logic: Propositional equivalence, predicates and quantifiers, Methods of proofs, proof strategy, sequences and summation, mathematical induction, recursive definitions and structural induction, program correctness. Counting: The basics of counting, the pigeonhole principle, permutations and combinations, recurrence relations, solving recurrence relations, generating functions, inclusion-exclusion principle, application of inclusion-exclusion. Unit II Relations: Relations and their properties, n-array relations and their applications, representing relations, closure of relations, equivalence of relations, partial orderings. Graph theory: Introduction to graphs, graph terminology, representing graphs and graph isomorphism, connectivity, Euler and Hamilton paths, planar graphs, graph coloring, introduction to trees, application of trees. Unit III Group theory: Groups, subgroups, generators and evaluation of powers, cosets and Lagrange's theorem, permutation groups and Burnside's theorem, isomorphism, automorphisms, homomorphism and normal subgroups, rings, integral domains and fields. Unit IV Lattice theory: Lattices and algebras systems, principles of duality, basic properties of algebraic systems defined by lattices, distributive and complimented lattices, Boolean lattices and Boolean algebras, uniqueness of finite Boolean expressions, prepositional calculus. Coding theory: Coding of binary information and error detection, decoding and error correction. Text Books: 1) K.H. Rosen: Discrete Mathematics and its application, 5th edition, Tata McGraw Hill.Chapter 1(1.1-1.5), Chapter 3(3.1-3.4,3.6), Chapter 4(4.1-4.3,4.5), Chapter 6(6.1,6.2,6.4-6.6) Chapter 7(7.1-7.6), Chapter 8(8.1-8.5,8.7,8.8) 2. C. L. Liu: Elements of Discrete Mathematics, 2 nd edition, TMH 2000. Chapter 11(11.1 – 11.10 except 11.7), Chapter 12(12.1 – 12.8) 3.B.Kalman: Discrete Mathematical Structure, 3 rd edition, Chapter 11(11.1,11.2) lOMoAR cPSD| Justification of Learning the Subject: What is Discrete Mathematics? Consider an analog clock (One with hands that continuously rotate and show time in continuous fashion) and a digital clock (It shows time in discrete fashion). The former one gives the idea of Continuous Mathematics whereas the later one gives the idea of Discrete Mathematics. Thus, Continuous Mathematics deals with continuous functions, differential and integral calculus etc. whereas discrete mathematics deals with mathematical topics in the sense that it analyzes data whose values are separated (such as integers: Number line has gaps) Example of continuous math – Given a fixed surface area, what are the dimensions of a cylinder that maximizes volume? Example of Discrete Math – Given a fixed set of characters, and a length, how many different passwords can you construct? How many edges in graph with n vertices? How many ways to choose a team of two people from a group of n? Why do you learn Discrete Mathematics? This course provides some of the mathematical foundations and skills that you need in your further study of Information Technology and Computer Science & Engineering. These topics include: Logic, Counting Methods, Relation and Function, Recurrence Relation and Generating Function, Introduction to Graph Theory And Group Theory, Lattice Theory and Boolean Algebra etc. . lOMoAR cPSD| Unit I PROPOSITIONAL LOGIC AND COUNTING THEORY OBJECTIVES: After going through this unit, you will be able to :  Define proposition & logical connectives.  To use the laws of Logic.  Describe the logical equivalence and implications.  Define arguments & valid arguments.  To study predicate and quantifier.  Test the validity of argument using rules of logic.  Give proof by truth tables.  Give proof by mathematical Induction.  Discuss Fundamental principle of counting.  Discuss basic idea about permutation and combination.  Define Pigeon hole principle.  Study recurrence relation and generating function. INTRODUCTION : Mathematics is assumed to be an exact science. Every statement in Mathematics must be precise. Also there can’t be Mathematics without proofs and each proof needs proper reasoning. Proper reasoning involves logic. The dictionary meaning of ‘Logic’ is the science of reasoning. The rules of logic give precise meaning to mathematical statements. These rules are used to distinguish between valid & invalid mathematical arguments.