Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:logic:start [2023/12/08 12:08] ligeza [Logika dla Informatyków - ISI - 2023/2024-zima] |
pl:dydaktyka:logic:start [2024/04/22 12:18] (aktualna) ligeza [Logika Matematyczna + Logic for Computer Science 2023/2024 lato/Summer] |
||
|---|---|---|---|
| Linia 3: | Linia 3: | ||
| + | |||
| + | |||
| + | ====== Logika Matematyczna + Logic for Computer Science 2023/2024 lato/Summer====== | ||
| + | |||
| + | ---- | ||
| + | |||
| + | - **Introduction to Logic** [27/29.02.2024;ALi] {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_0.pdf |Introduction+Organization}} {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_1.pdf |1. Introduction to Logic}} | ||
| + | - **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. Intro to Theorem Proving. Theorem Proving Models. Resolution and Dual Resolution. Semantic Tableau.** [19/21.03.2024;ALi] | ||
| + | - **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. 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]] | ||
| + | |||
| + | ---- | ||
| Linia 14: | Linia 60: | ||
| - **CNF i DNF - dokończenie. Transformacje do CNF i DNF. Postacie minimalne i maksymalne. Zastosowania CNF i DNF. Notacje Sigma i Pi. Wprowadzenie do dowodzenia twierdzeń.** [22.11.2023; ALi] | - **CNF i DNF - dokończenie. Transformacje do CNF i DNF. Postacie minimalne i maksymalne. Zastosowania CNF i DNF. Notacje Sigma i Pi. Wprowadzenie do dowodzenia twierdzeń.** [22.11.2023; ALi] | ||
| - **Metody Dowodzenia Twierdzeń. Metoda Rezolucji i Rezolucji Dualnej. Semantic Tableau. System Fitcha. Przykłady.** [29.11.2023; ALi] | - **Metody Dowodzenia Twierdzeń. Metoda Rezolucji i Rezolucji Dualnej. Semantic Tableau. System Fitcha. Przykłady.** [29.11.2023; ALi] | ||
| - | - **System Fitcha - przykłady. Wstęp do SAT. Wybrane narzędzia i przykłady: Unicorn, EX-LCV16, Murder. [6.12.2023; ALi] | + | - **System Fitcha - przykłady. Wstęp do SAT. Wybrane narzędzia i przykłady: Unicorn, EX-LCV16, Tracing the Murder.** [6.12.2023; ALi] |
| - | - Wprowadzenie do Rachunku Predykatów. Pojęcie predykatu. Relacje. Zmienne i termy. Kwantyfikatory. [13.12.2023; ALi] | + | -<fc #ff00ff> E-Learning: Wprowadzenie do Rachunku Predykatów (FOPC). Pojęcie predykatu. Relacje. Zmienne i termy. Kwantyfikatory.</fc> [13.12.2023; ALi] |
| - | - Rachunek Predykatów. Skadnia i Semantyka. [20.12.2023; ALi] | + | - **Rachunek Predykatów (FOPC). Stałe, zmienne, termy. Predykaty, relacje, kwantyfikatory.** [20.12.2023; ALi] |
| - | - ... | + | - **FOPC. Składnia i Semantyka. ** [3.01.2024; ALi] |
| + | - <fc #00ff00>Logiczna konsekwencja i Równoważność. Wnioskowanie. Dowodzenie Twierdzeń.</fc> [10.01.2024; ALi] | ||
| + | - Metoda Rezolucji. Prolog. Rachunki nieklasyczne. Logiki opisowe. [17.01.2024; ALi] | ||
