SEMESTERFIVE SUBJECT CODEMA1256 PROFESSORV.SUNDARARAJAN
UNIT-IPROPOSITIONAL CALCULUS
PROPOSITIONS LOGICAL CONNECTIVES COMPOUND PROPOSITIONS CONDITIONAL & BI-CONDITIONAL TRUTH TABLES TAUTOLOGY & CONTRADICTION CONTRA+VE LOGICAL EQUIVALENCE & IMPLICATION
DEMORGAN’S LAW NORMAL FORMS PRINCIPAL NORMAL CONJUCTIVE & DISJUNCTIVE RULES OF INFERENCE ARGUMENTS VALIDITY OF ARGUMENTS
UNIT-IIPREDICATE CALCULUS
PREDICATES STATEMENT FUNCTION VARIABLES FREE & BOUND VARIABLES QUANTIFIERS UNIVERSE OF DISCOURSE LOGICAL EQUIVALENCE & IMPLICATION
THEORY OF INFERENCE RULES OF UNIVERSAL SPECIFICATION & GENERALISATION VALIDITY OF ARGUMENTS
UNIT-III SET THEORY
BASIC & NOTATIONS SUBSETS ALGEBRA OF SETS POWER SET ORDERED PAIR & CARTESIAN PRODUCT SET RELATIONS & PROPERTIES RELATIONAL MATRIX & GRAPH OF RELATION
PARTITIONS EQUIVALENCE RELATION PARTIAL ORDERING POSET HASSE DIAGRAM LATTICES SUBLATTICES BOOLEAN ALGEBRA HOMOMORPHISM
UNIT-IV FUNCTIONS
DEFINITIONS CLASSIFICATIONS TYPES EXAMPLES COMPOSITIONS INVERSE FUNCTIONS BINARY & n-ARY OPERATIONS
CHARECTERISTICS FUNCTIONS HASHING FUNCTIONS RECURSIVE FUNCTIONS PERMUTATION FUNCTIONS
UNIT-V GROUPS
ALGEBRAIC SYSTEMS DEFINITIONS PROPERTIES SEMIGRROUPS MONOIDS HOMOMORPHISM SUB –SEMIGROUPS SUB-MONOIDS
LAGRANGE’S THEOREM NORMAL SUBGROUPS NORMAL ALGEBRAIC SYSTEM CODES & GROUP CODES BASIC NOTIONS FOR ERROR CORRECTION ERROR RECOVERY IN GROUP CODES
UNIT NO. AS PER UNIVERSITY ORDER (IN HOURS) AS PER TEACHING PLAN (IN HOURS) TOTAL *********(+15) TUTORIAL HOURS
TREMBLY & MANOHAR-DISCRETE MATHEMATICAL STRUCTURES WITH COMPUTER APPLICATIONS – TMH Pub.Co.Ltd-2003 RALPH P. GRIMALDI- DISCRETE & COMBINATORIAL MATHEMATICS: AN APPLIED INTRODUCTION-4 th EDITION,PEARSON Education Asia-2002
BERNARD KOLMAN, BUSBY R.C. AND SHARAN CUTLER ROSS-DISCRETE MATHEMATICAL STRUCTURES –4 TH INDIAN REPRINT-PEARSON EDUCATION Pvt.Ltd. KENNETH H.ROSEN-DISCRETE MATHEMATICAL AND ITS APPLICATIONS – 5 TH EDITION –TMH PUBLISHING COMPANY. RICHARD JOHNSONBAUGH- DISCRETE MATHEMATICS - 5 TH EDITION –PEARSON EDUCATION ASIA.