Scribd
Upload
933 views1 page

Mathematical Foundation of Computer Science

This document outlines the mathematical foundations covered in three units for a computer science course. Unit 1 covers binary relations, equivalence relations, orderings, functions, induction, and recursion. Unit 2 introduces mathematical logic including statements, connectives, truth tables, and validity. Unit 3 discusses Boolean algebra topics such as lattices, duality, Boolean functions, and normal forms.

Uploaded by

Simranjeet Singh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
933 views1 page

Mathematical Foundation of Computer Science

This document outlines the mathematical foundations covered in three units for a computer science course. Unit 1 covers binary relations, equivalence relations, orderings, functions, induction, and recursion. Unit 2 introduces mathematical logic including statements, connectives, truth tables, and validity. Unit 3 discusses Boolean algebra topics such as lattices, duality, Boolean functions, and normal forms.

Uploaded by

Simranjeet Singh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd

MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE

UNIT 1
Relation and function: binary relation, properties of binary relations in a set, Equivalence
relation. Composition of binary relations, partial ordering and partial ordered set and hasse
diagram, functions and pigeonhole principle, principal of mathematical induction, recursive
definition, introduction to primitive function. Recursion and recurrence relation:
polynomials and their recursion, iteration, sequence and discrete functions, recurrence
relations, generating function.
UNIT 2
Mathematical logic: statement and notations, connectives (negation, conjunction,
disjunction, statement formulas and truth table, conditional and bi-conditional statements,
Tautologies, equivalence of formulas, tautological implications, validity using truth table
UNIT 3
Boolean algebra: lattices and algebraic systems, principle of duality, basic properties of
algebraic system, distributed and complemented lattices, Boolean lattices and Boolean
algebras, uniqueness of finite Boolean algebra, Boolean functions and Boolean expression,
Normal forms of Boolean expression and simplification of Boolean expression

You might also like