ملخص في مادة Mathematical logic | سنة ثانية اعلام الي

ملخص LM الفصول: 00:00 اساسيات LM tautology 07:51 logically implied 9:27 DNF and CNF 16:15 deductions 24:19 turing machine and graph 37:05 predicate 50:29 free variables bound variables 1:01:05 predicate 02 1:04:36