--- pl:dydaktyka:logic:start [2023/04/26 13:59]
ligeza [Logika Matematyczna + Logic for Computer Science 2022/2023 lato/Summer]
+++ pl:dydaktyka:logic:start [2024/04/22 12:18] (aktualna)
ligeza [Logika Matematyczna + Logic for Computer Science 2023/2024 lato/Summer]
@@ Linia 1: / Linia 1: @@
 ψ
+====== 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]]
+----
+====== Logika dla Informatyków - ISI - 2023/2024-zima  ======
+  - **Inauguracja Roku  Akademickiego w AGH.** [4.10.2023]
+  - **Wprowadzenie do kursu logiki. Sprawy organizacyjne i warunki zaliczenia. Motywacja i sylabus. Przykłady. Literatura i materiały pomocnicze. Dokumentacja kursu.** [11.10.2023; ALi]{{:pl:dydaktyka:logic:logic_for_computer_science_2021_0.pdf |Introduction+Organization}}
+  - **Podstawy logiki: Elementarne wprowadzenie do istoty logiki. Język naturalny a język formalny. O potrzebie logiki. Paradoksy. Intuicyjne podstawy rachunku zdań. Dedukcja, Abdukcja i Indukcja. Przykłady formuł i reguł wnioskowania.** [18.10.2023;ALi] {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_1.pdf |1. Introduction to Logic}}
+  - **Podstawy logiki.  Składnia i semantyka rachunku zdań. Przykłady reguł wnioskowania. Logiczna konsekwencja, poprawność, spójność.** [25.10.2023;ALi]
+  - **Rachunek zdań: składnia i semantyka w ujęciu formalnym. Logiczna implikacja i równoważność. Tabele prawdy. Układy funkcjonalnie pełne. Transformacje zachowujące róẉnoważność.**  [8.11.2023; ALi] {{ :pl:dydaktyka:logic:logic_for_computer_science_2021_2.pdf |Propositional Calculus}}
+  - **Rachunek zdań: składnia i semantyka w ujęciu formalnym.  Transformacje zachowujące róẉnoważność. Weryfikacja tautologii i równoważności. Badanie logicznej konsekwencji. Postacie CNF i DNF. **  [15.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]
+  - **System Fitcha - przykłady. Wstęp do SAT. Wybrane narzędzia i przykłady: Unicorn, EX-LCV16, Tracing the Murder.** [6.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 (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]
+----
 ====== Logika Matematyczna + Logic for Computer Science 2022/2023 lato/Summer======
@@ Linia 11: / Linia 84: @@
   - **First-Order Predicate Calculus. Syntax, semantics, expressive power.** [18/20.04.2023; ALi]
   -  **First-Order Predicate Calculus. Theorem Proving. Resolution and Dual Resolution. A note on Multi-Valued, Fuzzy and Temporal Logics** [25/27.04.2023; ALi]
-  - Zero Exam (CS only: to be announced).
+  - Zero Exam (CS only: <fc #ff0000>16.06.2023, 17:00 on Upel</fc>).

pl/dydaktyka/logic/start.1682510384.txt.gz · ostatnio zmienione: 2023/04/26 13:59 przez ligeza

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice