+- studentsuvidha (https://studentsuvidha.com/forum)
+-- Forum: Student Stuffs (https://studentsuvidha.com/forum/Forum-Student-Stuffs)
+--- Forum: Indraprastha University IPU notes and papers (https://studentsuvidha.com/forum/Forum-Indraprastha-University-IPU-notes-and-papers)
+---- Forum: IPU B.tech/ B.E. papers and Notes -free downloads (https://studentsuvidha.com/forum/Forum-IPU-B-tech-B-E-papers-and-Notes-free-downloads)
+----- Forum: IPU B.tech/ B.E. C.Sc. papers and Notes -free downloads (https://studentsuvidha.com/forum/Forum-IPU-B-tech-B-E-C-Sc-papers-and-Notes-free-downloads)
+------ Forum: 3rd semester IPU B.tech CSC papers and Notes -free download (https://studentsuvidha.com/forum/Forum-3rd-semester-IPU-B-tech-CSC-papers-and-Notes-free-download)
+------ Thread: Foundation of Computer Science IPU IT notes and question paper free download (/Thread-Foundation-of-Computer-Science-IPU-IT-notes-and-question-paper-free-download)
Foundation of Computer Science IPU IT notes and question paper free download - Dipesh S - 05-01-2017
SYLLABUS:-
UNIT- I
Formal Logic: Preposition, Symbolic Representation and logical entailment theory of Inferences and tautologies, Predicates, Quantifiers, Theory of inferences for predicate calculus, resolution.
Techniques for theorem proving: Direct Proof, Proof by Contraposition, proof by contradiction.
UNIT- II
Overview of Sets and set operations, permutation and combination, principle of inclusion, exclusion (with proof) and pigeonhole principle (with proof), Relation, operation and representation of a relation, equivalence relation, POSET, Hasse Diagrams, extremal Elements, Lattices, composition of function, inverse, binary and nary operations.
UNIT- III
Principle of mathematical induction, principle of complete induction, solution methods for linear and non-linear first-order recurrence relations with constant coefficients,
Graph Theory: Terminology, isomorphic graphs, Euler’s formula (proof) ,chromatic number of a graph, five color theorem(with proof), Euler &Hamiltonian paths.
UNIT-IV
Groups, Symmetry, subgroups, normal subgroups, cyclic group, permutation group and cayles’s theorem(without proof), cosets lagrange’s theorem(with proof) homomorphism, isomorphism, automorphism, rings, Boolean function, Boolean expression, representation & minimization of Boolean function.