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: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>] |
| |
| |