Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
pl:dydaktyka:logic:start [2020/05/14 15:05]
ligeza [Logic for Computer Science: 2020]
pl:dydaktyka:logic:start [2020/05/14 15:12] (aktualna)
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>​]
  
  
pl/dydaktyka/logic/start.txt · ostatnio zmienione: 2020/05/14 15:12 przez ligeza
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0