Both sides previous revision
Poprzednia wersja
Nowa wersja
|
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:12] ligeza [Logic for Computer Science: 2020] |
- {{ :pl:dydaktyka:logic:logic_for_computer_science_2020-fopc-7-05-2020.pdf |Predicate calculus: Syntax, Semantics, Herbrand Interpretation, Transformation Rules, Inference Rules, Resolution and Dual Resolution}} [<fc #ff00ff>Update: 6/7-05-2020</fc>] | - {{ :pl:dydaktyka:logic:logic_for_computer_science_2020-fopc-7-05-2020.pdf |Predicate calculus: Syntax, Semantics, Herbrand Interpretation, Transformation Rules, Inference Rules, Resolution and Dual Resolution}} [<fc #ff00ff>Update: 6/7-05-2020</fc>] |
- [[https://aghedupl-my.sharepoint.com/:b:/g/personal/ligeza_agh_edu_pl/EZ2U8_hMxwBNvz3p0_k2Iq0BgvoxE0ji4rwoJ8FSI-TuNw?e=7d4hZf|Example of Resolution Proof: Marcus&Cesar]] | - [[https://aghedupl-my.sharepoint.com/:b:/g/personal/ligeza_agh_edu_pl/EZ2U8_hMxwBNvz3p0_k2Iq0BgvoxE0ji4rwoJ8FSI-TuNw?e=7d4hZf|Example of Resolution Proof: Marcus&Cesar]] |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2020-extras-14-05-2020.pdf |Multi-Valued Logics, Fuzzy Logic and Temporal Logics}} [<fc #ff00ff>Update: 14-05-2020</fc>] |
| |
| |
* [[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))]] |
| |