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] |
||
|---|---|---|---|
| Linia 59: | Linia 59: | ||
| * [[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))]] | ||
