- Degree Bachelor
- Code: CC218
- Credit hrs: 3
- Prequisites: CC111
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