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] |
||
|---|---|---|---|
| Linia 40: | Linia 40: | ||
| - {{ :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>] | ||
