×

Close

Type:
**Note**Institute:
**
Biju Patnaik University of Technology BPUT
**Course:
**
B.Tech
**Offline Downloads:
**967**Views:
**17215**Uploaded:
**1 year ago**

Touch here to read

Page-1

- Propositional logic - ( 1 - 20 )
- Propositional Equivalence - ( 21 - 26 )
- Predicates and Quantifiers - ( 27 - 34 )
- Nested and quantifiers & Rules of interference - ( 35 - 47 )
- Proof and method of strategies - ( 48 - 51 )
- Mathematical Induction Method - ( 52 - 58 )
- recursive definition & Structural - ( 59 - 66 )
- Sequence and Summation - ( 67 - 71 )
- Advance Counting technique ,Generating Function - ( 72 - 92 )
- Warshall's Algorithm / Boolean Algorithm - ( 93 - 99 )
- Group - ( 100 - 113 )
- Lattice and Boolean Algebra - ( 114 - 122 )
- Graph - ( 123 - 133 )
- TREE - ( 134 - 140 )

Topic:

## Leave your Comments

## Sarita Maurya

1 year ago00## Debrata sahu

1 year ago00## Subham Jena

1 year ago00