 |
| Topic |
Lec-45: How to write First order/Predicate logic | Artificial Intelligence
 |
| Lecture |
 |
| Notes |
 |
| Topic |
Lec-46: Negation of Quantifiers | Predicate Logic | Logic with Certainty | Artificial Intelligence
|
| Lecture |
|
| Notes |
 |
| Topic |
Lec-47: Questions on Propositional & Predicate logic | How to Solve Problems in Logic
|
| Lecture |
|
| Notes |
 |
| Bookmarks |
0 Comments
Post a Comment