Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:logic:start [2024/04/12 09:30] ligeza [Logika Matematyczna + Logic for Computer Science 2023/2024 lato/Summer] |
pl:dydaktyka:logic:start [2024/04/22 12:18] (aktualna) ligeza [Logika Matematyczna + Logic for Computer Science 2023/2024 lato/Summer] |
||
|---|---|---|---|
| Linia 15: | Linia 15: | ||
| - **Theorem Proving. Resolution and Dual Resolution. Semantic Tableau. The Fitch System. Towards SAT.** [26.03/4.04.2024] | - **Theorem Proving. Resolution and Dual Resolution. Semantic Tableau. The Fitch System. Towards SAT.** [26.03/4.04.2024] | ||
| - **First-Order Predicate Calculus. Syntax, semantics, expressive power. Constants, variables, terms, predicates, quantifiers.** [9/11.04.2024] | - **First-Order Predicate Calculus. Syntax, semantics, expressive power. Constants, variables, terms, predicates, quantifiers.** [9/11.04.2024] | ||
| - | - <fc #00ff00>**First-Order Predicate Calculus. Theorem Proving. Resolution and Dual Resolution. A note on Multi-Valued, Fuzzy and Temporal Logics**</fc> [16/18.04.2024] | + | - **First-Order Predicate Calculus. Theorem Proving. Resolution and Dual Resolution. A note on Multi-Valued, Fuzzy and Temporal Logics** [16/18.04.2024] |
| - <fc #ff00ff>Zero exam</fc> (CS only; June 2024) | - <fc #ff00ff>Zero exam</fc> (CS only; June 2024) | ||
| Linia 44: | Linia 44: | ||
| __**Linki**__ | __**Linki**__ | ||
| - | [[https://www.coursera.org/course/intrologic|Polecany kurs Logiki — zapisz się i spróbuj swoich sił! Start: 11.03.2022]] | + | [[https://www.coursera.org/course/intrologic|Polecany kurs Logiki — zapisz się i spróbuj swoich sił!]] |
| + | |||
| + | [[http://intrologic.stanford.edu/public/chapters.php|Intrologic: Stanford]] | ||
| ---- | ---- | ||
