Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:logic:start [2024/03/18 11:12] 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] |
- **Introduction to Logic. Propositional Calculus.Syntax and Sematics** [5/7.03.2024;ALi]. | - **Introduction to Logic. Propositional Calculus.Syntax and Sematics** [5/7.03.2024;ALi]. |
- **Propositional Calculus. Semantics. Logical implication and Equivalence. Maxterms and Minterms.CNF and DNF.** [12/14.03.2024;ALi] | - **Propositional Calculus. Semantics. Logical implication and Equivalence. Maxterms and Minterms.CNF and DNF.** [12/14.03.2024;ALi] |
- <fc #00ff00>Propositional Calculus. Intro to Theorem Proving. Theorem Proving. Resolution and Dual Resolution. Semantic Tableau. The Fitch System.</fc> [19/21.03.2024;ALi] | - **Propositional Calculus. Intro to Theorem Proving. Theorem Proving Models. Resolution and Dual Resolution. Semantic Tableau.** [19/21.03.2024;ALi] |
- ...[26.03/4.04.2024] | - **Theorem Proving. Resolution and Dual Resolution. Semantic Tableau. The Fitch System. Towards SAT.** [26.03/4.04.2024] |
- ...[9/11.04.2024] | - **First-Order Predicate Calculus. Syntax, semantics, expressive power. Constants, variables, terms, predicates, quantifiers.** [9/11.04.2024] |
- ... [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) |
| |
| |
| |
| ---- |
| ---- |
| ---- |
| Support material for the Logic Lectures: |
| |
| {{:pl:dydaktyka:logic:wyklad1-kgd-2015.pdf|Materiał uzupełniający}} |
| |
| {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_0.pdf |Introduction+Organization}} |
| |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_1.pdf |Introduction to Logic}} |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_2.pdf |Propositional Calculus: Syntax, Semantics, Logical Implication and Equivalence, CNF, DNF}} |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_3.pdf |Propositional Calculus: Introduction to Theorem Proving}} |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_4.pdf |Propositional Logic: SAT}} |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_5.pdf |First Order Predicate Calculus. Resolution.}} |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_6.pdf |Extensions: Multi-Valued, Fuzzy and Temporal Logics.}} |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2020_2021-7_dl_pl.pdf |Description Logics}} |
| - {{ :pl:dydaktyka:logic:logic_for_computer_science_2020-bool-synt.pdf |Algebra Boole'a, Synteza układów kombinacyjnych.}} |
| |
| |
| ---- |
| |
| |
| __**Linki**__ |
| |
| [[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]] |
| |
---- | ---- |