The logic of statements, logical form and equivalence, logic implementation, arguments, predicates, number theory, counting methods, , relation, methods of proof.
Bachelor Degree in Computer Engineering
Data will be available soon!
| content serial | Description |
|---|---|
| 1 | Logical form & logical equivalencern |
| 2 | Conditional statement, valid & invalid argumentsrn |
| 3 | Predicates & quantified statementsrn |
| 4 | Arguments with quantified statementsrn |
| 5 | Number theory and methods of proofrn |
| 6 | Mathematical Inductionrn |
| 7 | 7th week exam rn |
| 8 | Functions defined on general setsrn |
| 9 | One-to-one, onto, inverse , composition of srn |
| 10 | Relations on setsrn |
| 11 | Reflexivity symmetry, transitivity & equivalence relationsrn |
| 12 | 12th week examrn |
| 13 | Partial order relations and finite state automatarn |
| 14 | Counting Techniques (1).rn |
| 15 | Counting Techniques (2).rn |
| 16 | |
Start your application
