Scribd
Upload
276 views2 pages

Mca 101 MFC

The document discusses the modules covered in the MCA 101 course on mathematical foundations of computer science. Module 1 covers sets, relations, functions and induction. Module 2 covers partial ordering relations, lattices and automata theory. Module 3 covers logic, inference theory and predicate calculus. Module 4 covers graph theory concepts. Module 5 covers trees and planar graphs.

Uploaded by

akash nair
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
276 views2 pages

Mca 101 MFC

The document discusses the modules covered in the MCA 101 course on mathematical foundations of computer science. Module 1 covers sets, relations, functions and induction. Module 2 covers partial ordering relations, lattices and automata theory. Module 3 covers logic, inference theory and predicate calculus. Module 4 covers graph theory concepts. Module 5 covers trees and planar graphs.

Uploaded by

akash nair
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

MCA 101 - Mathematical Foundations of Computer Science

Module 1:- Sets: Basic Concepts Relations: Binary relations, Equivalence relations and partition. Functions: Different types of functions, Composition and Inverse, Recursive hashing functions. Mathematical Induction.

and

Module 2:- Partial Ordering Relations Partially ordered set: Representation of Poset - Hasse Diagram, LUB, GLB, well ordered set, meet and join of elements. Lattices as partially ordered sets: Definition and basic properties, Lattices as algebraic systems, sub lattices. Basic Concepts of Automata Theory: Alphabets, Strings, Languages, DFA, NFA and their representations. Module 3:- Logic Mathematical logic, Logical operators Conjunction, Disjunction, Negation, Conditional and biconditional. Truth tables. Equivalence formula, Tautology, methods of proof-direct, indirect, contradiction, equivalence and induction. Inference Theory, Validity by truth table, Rules of Inference. . Predicate calculus : Predicates , statement functions, variables and quantifiers, predicate formulas, free and bound variables, the universe of discourse. Module 4:- Graph Theory Basic terminology: Different types of graphs Directed and undirected, Simple, Pseudo, Complete, Regular, Bipartite. Incidence and degree, Pendant and Isolated vertex and Null graph. Isomorphism, Sub graphs, Walk, Path and Circuit, Connected and disconnected graphs and components, operations on graphs. Euler Graphs, Fleurys Algorithm, Hamiltonian circuits and paths. Traveling salesman problem. Matrix representation of graphs Incidence and Adjacency matrices. Module 5:- Trees & Planar Graph Trees: Basic properties, Rooted and binary trees, Binary search trees, Tree traversals Pre order, , In order and Post order , Spanning Trees, Prims and Kruskals algorithm. Planar graphs: Kuratowskis two graphs and Eulers formula . Detection of planarity. References Discrete Mathematical Structures with Applications to Computer Science by J. P. Tremblay and R Manohar, Tata McGraw-Hill Publications, 1997. Graph Theory by Narsingh Deo, Prentice-Hall of India publications, 2004.

Theory of computer science (Automata, Languages and Computation), 2nd ed. Mishra K.L.P , N Chandrasekharan, Prentice-Hall of India publications. Discrete Mathematical Structures, Theory and Applications . D.S. Malik, Thomson Learning , I Edn. Discrete Mathematics for Computer Science, Haggard, Thomson Learning , I Edn. Discrete Mathematics and Its Applications by Kenneth H Rosen. Tata McGraw-Hill Publications. Introduction to Automata Theory, Languages and Computation by Hopcroft and J. D .Ullman. Narosa Publications. Mathematical foundation of Computer Science by Y. N Sings. New Age international Publishers. Bernard Kolman, Robert.C.Busby & sharon Ross, "Discrete Mathematical structures" Prentice Hall of India,2001.

You might also like