Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
|
Nowa wersja
Both sides next revision
|
pl:dydaktyka:logic:start [2020/05/14 15:05] ligeza [Logic for Computer Science: 2020] |
pl:dydaktyka:logic:start [2020/05/14 15:05] ligeza [Logic for Computer Science: 2020] |
* [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EVP454rerYFOnzVFMa4qcUABk9SnJ7G_nFogczR3JqCm0Q?e=1eZgJ8|Predicate calculus: Syntax, Semantics, Herbrand Interpretation, Transformation Rules, Inference Rules, Resolution and Dual Resolution (1.7h in Polish via MS Office OneDrive/AGH (7.05.2020)]] | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EVP454rerYFOnzVFMa4qcUABk9SnJ7G_nFogczR3JqCm0Q?e=1eZgJ8|Predicate calculus: Syntax, Semantics, Herbrand Interpretation, Transformation Rules, Inference Rules, Resolution and Dual Resolution (1.7h in Polish via MS Office OneDrive/AGH (7.05.2020)]] |
* [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EatvFBURWSxKnxCVvlZcBWYB-Y1F1fA7IHqZYl-xVwLJzA?e=nxdtsC|Example of Resolution Proof: Marcus&Cesar 0.3h in Enlish via MS Office OneDrive/AGH (6.05.2020))]] | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EatvFBURWSxKnxCVvlZcBWYB-Y1F1fA7IHqZYl-xVwLJzA?e=nxdtsC|Example of Resolution Proof: Marcus&Cesar 0.3h in Enlish via MS Office OneDrive/AGH (6.05.2020))]] |
* [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EaDPClOgmDFKiM97zEVugPEBLkAZTtbwMdIDAsenf7DRGQ?e=3l51OI|Example of Resolution Proof: Marcus&Cesar 0.3h in Polish via MS Office OneDrive/AGH (6.05.2020))]] | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EaDPClOgmDFKiM97zEVugPEBLkAZTtbwMdIDAsenf7DRGQ?e=3l51OI|Example of Resolution Proof: Marcus&Cesar 0.3h in Polish via MS Office OneDrive/AGH (7.05.2020))]] |
* [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/ESJYibe6BnpDlS-GP4OLpPcB2DdDhktWga7Mt4jTtXs4xQ?e=ogyCEo|Multi-Valued Logics, Fuzzy Logic and Temporal Logics (0.5h in English via MS Office OneDrive/AGH (13.05.2020))]] | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/ESJYibe6BnpDlS-GP4OLpPcB2DdDhktWga7Mt4jTtXs4xQ?e=ogyCEo|Multi-Valued Logics, Fuzzy Logic and Temporal Logics (0.5h in English via MS Office OneDrive/AGH (13.05.2020))]] |
| |