[[
✎ pl:dydaktyka:logic:start
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
ψ ====== Kurs z Logiki ====== ---- ===== Logic for Computer Science: 2020 ===== - **Introduction to the Course. Goals and principles. Introduction to Logic. Basics of Propositional Calculus. Example syntax and a note on interpretation/semantics. Example inference rules. Elements of Big Picture. Examples of problems and their solutions.** [26.02.2020; ALi] - **Propositional Calculus. Syntax and Sematics. Logical consequence and logical equivalence. Truth tables and their analysis. Selected Boolean Functions. Functional Completeness. Properties of logical formulas.** [4.03.2020; ALi] \\ **<fc #ff0000>Uwaga: Zajęcia odwołane 11.03.2020 godz. 10:00 do 24/25(?).03.2020! Attention: Lectures/classes cancelled until March 24/25-th(?), 2020! See: [[https://www.agh.edu.pl/aktualnosci/info/article/agh-zawiesza-zajecia-dydaktyczne/|AGH - Decision/Decycja]]</fc>** We switch to asynchronous, on-line course. Topics, dates, and selection of material are presented in **<fc #4682b4>steel-blue</fc>**. - **<fc #4682b4>Logical equivalence. Transformations of formulas: equivalent transformation rules. Minterms and maxterms. Normal forms: CNF, DNF, NNF. Implicants and implicents. Minimal representation.</fc>** [11.03.2020 (online course; lecture 2 below)] - **<fc #4682b4>Automated Inference and Theorem proving. Logical inference methods. Derivation and proof. Rules of inference. Formal proofs. The Fitch System. Semantic Tableau. Resolution in Propositional Calculus. Dual Resolution.</fc>** [18.03.2020 (online course; lecture 3 below)] - **<fc #4682b4>The role of CNF. The SAT problem. Approaches to solving the SAT problem. Decision trees. OBDD diagrams. SAT solvers.</fc>** [25.03.2020; lecture 4 below] - Boolean Algebra. Function syntehsis. The CNF and DNF again: the Pi and Sigma notations. Finding minimal representations. Logical circuits systnthesis. Karnaugh Tables. The Quine-McCluskey algorithm. - First -Order Logic. Syntax and Semantix. Logical transformation Rules. Logical inference rules. The Fitch system for FOPC. - CNF and DNF in FOPC. Transformations to S-form. Herbrand Base. Substituion and unification. Resolution in FOPC. - Introduction to logic programming. Prolog. Constraint Programming. Multi-valued logics. Fuzzy logic. Temporal and modal logics. Description logics. Yet another chance: [[https://www.coursera.org/learn/logic-introduction|On-line Logic Course - recommended]] Rough lecture notes in .pdf (for cautious, personal use only): - {{:pl:dydaktyka:logic:logic_for_computer_science_2020.pdf | An Introduction to Logic}} - {{ :pl:dydaktyka:logic:logic_for_computer_science_2020-2.pdf | Propositional Calculus: Synatx, Sematics, Equivalence, CNF, DNF}} - {{ :pl:dydaktyka:logic:logic_for_computer_science_2020-3.pdf | Propositional Calculus: Theorem Proving}} - {{ :pl:dydaktyka:logic:logic_for_computer_science_2020-4.pdf | Propositional Calculus: Model Analysis: Decision Trees, OBDD, and SAT}} ===== Plan wykładu z logiki: 2018 ===== - **Wprowadzenie do przedmiotu. Zasady pracy, zaliczenia, egzamin. Literatura. Elementarne wprowadzenie do logiki: język formalny, składnia, semantyka, wnioskowanie. Klasyfikacja problemów wnioskowania. Przykłady modelowania logicznego. Unicorn.** [2.03.2018: ALi] - **Unicorn - rozwiązanie. Wprowadzenie do rachunku zdań (Propositional Calculus). Składnia, semantyka. Pojęcie interpretacji i logicznej konsekwencji. Równoważność logiczna formuł.** [9.03.2018: ALi] -**Rachunek zdań: składnia, semantyka. Pojęcie interpretacji i logicznej konsekwencji. Funkcje logiczne. Systemy logiczne funkcjonalnie pełne. Transformacje zachowujące równoważność. Analiza formuł metodą zero-jedynkową. Zastosowanie transformacji równoważnościowych - przykład.** [16.03.2018: ALi] - **Mintermy i makstermy. Postacie CNF, DNF, NNF. Implikanty i implicenty. Interpretacja postaci CNF i DNF. Zastosowania. Przykład wyznaczania i redukcji implikantów i implicentów. **[23.03.2018;ALi] - [30.03.2018 - wolne na Święta: Wielkanoc!] - //E-learning: wyznaczyć implikanty i implcenty dla modelu Unicorn.// [6.04.2018; ALi] - **Reguły wnioskowania. Metody dowodzenia w rachunku zdań. Metoda rezolucji i jej zastosowania. Metoda rezolucji dualnej. Semantic Tableau. System Fitcha. Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery** [13.04.2018; ALi] - **Metoda Semantic Tableau. System Fitcha. Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery: Unicorn revisited.** [20.04.2018; ALi] - **Synteza układów logicznych.Implikanty i implicenty: minimalizacja funkcji. Tabele Karnaugha. Metoda Quine'a-McCluskey. Układy statyczne i dynamiczne.** [27.04.2018] - **Rachunek predykatów pierwszego rzędu. Składnia i semantyka. Zmienne i termy; kwantyfikatory. Interpretacja i wartościowanie. Interpretacja Herbranda. Twierdzenie Herbranda. Pełność krp z ideą dowodu. Twierdzenia Skolema-Lowenheima. Nierozstrzygalność. Przykłady.** [11.05.2018; ALi] - //Juwenalia - godziny rektorskie// [18.05.2018] - Dowodzenie w rachunku predykatów. System Fitcha. Metoda rezolucji w rachunku predykatów. Wstęp do programowania logicznego. Język Prolog. Logiki atrybutowe i opisowe. Programowanie z ograniczeniami. [25.05.2018] - Aktualne kierunki rozwoju. Logiki temporalne i rozmyte. Logiki atrybutowe i opisowe. Zastosowania. Big Picture. [???] ---- __**Egzaminy 2018:**__ * Terminy egzaminów - logika I rok: sala H-24/B-1. * 28.06 (czwartek) 15:00-19:00 (2 grupy po 2h), * 03.07 (wtorek) 11:00-15:00 (1 lub 2 grupy po 2 h). ===== Plan wykładu z logiki: 2017 ===== - **Wprowadzenie do przedmiotu. Zasady pracy, zaliczenia, egzamin. Literatura. Elementarne wprowadzenie do logiki: język formalny, składnia, semantyka, wnioskowanie. Klasyfikacja problemów wnioskowania. Przykłady modelowania logicznego. Unicorn.** [3.03.2017: ALi] - **Wprowadzenie do rachunku zdań (Propositional Calculus). Składnia, semantyka. Pojęcie interpretacji i logicznej konsekwencji. Równoważność logiczna formuł.** [10.03.2017: ALi] - **Funkcje logiczne. Systemy logiczne funkcjonalnie pełne. Transformacje zachowujące równoważność. Analiza formuł metodą zero-jedynkową. Mintermy i makstermy. Postacie CNF i DNF.** [17.03.2017: ALi] - **Postacie CNF, DNF, NNF. Interpretacja postaci CNF i DNF. Zastosowania. Reguły wnioskowania. Metody dowodzenia w rachunku zdań.** [24.03.2017;ALi] - **Metoda rezolucji i jej zastosowania. Metoda rezolucji dualnej. Semantic Tableau. System Fitcha. Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery** [31.03.2017; ALi] - **Wybrane zaawansowane zagadnienia KRZ. Systemy Hilberta.** [7.04.2017] [KJo] - [21.04.2017] E-Learning. - **Synteza układów logicznych. Tabele Karnaugha. Układy statyczne i dynamiczne.** [28.04.2017] - **Rachunek predykatów pierwszego rzędu. Składnia i semantyka. Zmienne i termy; kwantyfikatory. Interpretacja i wartościowanie. Interpretacja Herbranda. Twierdzenie Herbranda. Pełności krp z ideą dowodu. Twierdzenia Skolema-Lowenheima. Nierozstrzygalność. Przykłady. **[5.05.2017;KJo] - Logika Juwenaliów [12.05.2017: godziny rektorskie]. - Dowodzenie w rachunku predykatów. System Fitcha. Metoda rezolucji w rachunku predykatów. Wstęp do programowania logicznego. Język Prolog. Logiki atrybutowe i opisowe. Programowanie z ograniczeniami. - Aktualne kierunki rozwoju. Logiki temporalne i rozmyte. Logiki atrybutowe i opisowe. Zastosowania. Big Picture. ---- __**Egzaminy 2017:**__ * Terminy egzaminów - logika I rok: 23.06 i 30.06 + 8.09 2 x 2 h s. H-24 ====Plan wykładu z logiki: 2016==== - **Wprowadzenie do przedmiotu. Zasady pracy, zaliczenia, egzamin. Literatura. Elementarne wprowadzenie do logiki** [26.02.2016: ALi] - **Rachunek zdań. Składnia, semantyka. Pojęcie interpretacji i logicznej konsekwencji. Funkcje logiczne. Systemy logiczne funkcjonalnie pełne. Transformacje zachowujące równoważność. Analiza formuł metodą zero-jedynkową.** [4.03.2016: ALi] - **Wstęp do aksjomatycznego ujęcia KRZ i dowodów metodą aksjomatyczną; twierdzenie o dedukcji.** [11.03.2016; KJo] - **Aksjomatyczne ujęcie KRZ-kontynuacja; KRZ w ujęciu metalogicznym (twierdzenie o pełności, zwartości, niesprzeczności).** [18.03.2016; KJo] - **Postacie CNF, DNF, NNF. Reguły wnioskowania. Metody dowodzenia w rachunku zdań.** [1.04.2016; ALi] - **Metoda rezolucji i jej zastosowania. Metoda rezolucji dualnej. Semantic Tableau. System Fitcha.** [8.04.2016: ALi] - **Badanie spełnialności - drzewa decyzyjne i ich redukcja. Diagramy OBDD. Problem SAT i SAT-Solvery. Programowanie z ograniczeniami. Synteza układów logicznych. Tabele Karnaugha.** [15.04.2016: ALi] - **Rachunek predykatów pierwszego rzędu. Składnia i semantyka. Zmienne i termy; kwantyfikatory. Interpretacja i wartościowanie. Interpretacja Herbranda. Przykłady.** [22.04.2016; ALi] - **Dowodzenie w rachunku predykatów. System Fitcha. Metoda rezolucji w rachunku predykatów. Wstęp do programowania logicznego. Język Prolog. Logiki atrybutowe i opisowe.** [6.05.2016; ALi] - **Ważne wyniki logiki (Tw. Gödla). Big Picture. ** //Logiki modalne i temporalne. Logiki wielowartościowe. Wielcy Polscy Logicy// [20.05.2016; KJo] ---- __**Egzaminy 2016:**__ * Termin I: 27.06.2016, 13:00-17:00 sala H-24 [egzamin pisemny; 2 grupy] * Termin II: 30.06.2016, 9:00-13:00 sala 224 C-2 [egzamin pisemny; 1 lub 2 grupy] ---- Materiały pomocnicze do wykładu: {{:pl:dydaktyka:logic:wyklad1-kgd-2015.pdf|Materiał uzupełniający}} {{:pl:dydaktyka:logic:logika-1_2016.pdf|Logika-1: Wprowadzenie do logiki}} {{:pl:dydaktyka:logic:logika-2-3_2016.pdf|Logika-2-3: Podstawy rachunku zdań}} {{:pl:dydaktyka:logic:logika-4_2016.pdf|Logika-4: Dowodzenie w rachunku zdań}} {{:pl:dydaktyka:logic:logika-5-6_2016.pdf|Logika-5-6: Elementy rachunku predykatów I rzędu}} {{:pl:dydaktyka:logic:logika-boole-synthesis-9.pdf|Podstawy syntezy układów logicznych}} ---- {{:pl:dydaktyka:logic:logikawykladyuzup..pdf|Wykład KJo 1 i 2}} {{:pl:dydaktyka:logic:krakowwyklad1.pdf|Wykład KJo zaawansowany}} ---- ==== Wykłady - 2015 ==== - **Elementarne wprowadzenie do logiki. Wprowadzenie do ćwiczeń. ** [4.03.2015] - **Wprowadzenie do wykładu. Zasady pracy, zaliczenia, egzamin. Literatura. ** [11.03.2015] - **Elementy podejścia systemowego: model, wejścia, wyjścia, cel. Zastosowania logiki. ** [18.03.2015] - **Elementarne wprowadzenie do rachunku zdań. Wnioskowanie logiczne. Paradoksy. Przykłady. ** [25.03.2015] - **Składnia i semantyka rachunku zdań. Interpretacje i modele. Równoważność. Przykłady modeli logicznych. ** [1.04.2015] - **Interpretacja formuł rachunku zdań. Tabele prawdy. Równoważność i wynikanie. Definicje spójników. Systemy funkcjonalnie pełne. ** [8.04.2015] - **Weryfikacja tautologii i konsekwencji logicznej w oparciu o tabele prawdy. Mintermy i makstermy. Klauzule Horna. ** [15.04.2015] - **Postacie CNF, DNF i NNF i ich znaczenie. Sprowadzanie formuły do CNF, DNF i NNF. Implikanty i implicenty. ** [22.04.2015] - **Reguły wnioskowania. Metody dowodzenia twierdzeń. Twierdzenia o dedukcji. Przykłady. ** [29.04.2015] - **Rezolucja i rezolucja dualna. Zbiór logicznych konsekwencji. Metoda tablic semantycznych. Systemy Gentzenowskie. Drzewa decyzyjne. Diagramy OBDD.**[6.05.2015] - Rachunek predykatów I rzędu.Składnia i semantyka [13.05.2015] - Rachunek predykatów I rzędu. Postacie CNF, DNF, NNF. Reguły przekształceń formuł z kwantyfikatorami. [27.05.2015] - Rachunek predykatów I rzędu. Podstawienia, unifikacja i rezolucja. [3.06.2015] - Zastosowania logiki. Język Prolog. Przykłady programów logicznych. Logiki nieklasyczne. [10.06.2015] ---- 2015: Materiały do wykładów (robocze). - {{:pl:dydaktyka:logic:logika-intro-1-3-2014.pdf|Logika 1-3}} - {{:pl:dydaktyka:logic:logika-propositional-calculus-4-8-zmienione-new.pdf|Logika 4-8}} - {{:pl:dydaktyka:logic:logika-boole-synthesis-9.pdf|Logika 9}} - {{:pl:dydaktyka:logic:logika-propositional-calculus-10-2015.pdf|Logika 10}} - {{:pl:dydaktyka:logic:logika-kwantyfikatory-11-14-dl.pdf|Logika 11-14}} ---- ---- ---- __**Wykłady - 2014**__ - **Elementarne wprowadzenie do logiki. Zasady pracy, zaliczenia, egzamin. Literatura. ** [5.03.2014] - **Elementy podejścia systemowego: model, wejścia, wyjścia, cel. Zastosowania logiki. ** [12.03.2014] - **Elementarne wprowadzenie do rachunku zdań. Wnioskowanie logiczne. Przykłady. ** [19.03.2014] - **Składnia i semantyka rachunku zdań. Równoważność logiczna a logiczna konsekwencja. Przykłady modeli logicznych. ** [26.03.2014] - **Interpretacja formuł rachunku zdań. Tabele prawdy. Równoważność i wynikanie. Definicje spójników. Systemy funkcjonalnie pełne. ** [2.04.2014] - **Weryfikacja tautologii i konsekwencji logicznej w oparciu o tabele prawdy. Mintermy i makstermy. Klauzule Horna. ** [9.04.2014; K.G-D] - **Postacie CNF, DNF i NNF i ich znaczenie. Sprowadzanie formuły do CNF, DNF i NNF. Implikanty i implicenty. ** [16.04.2014] - **Algebra Boole'a. Funkcje Boolowskie. Synteza układów. Bramki logiczne. Tablice Karnaugha. ** [23.04.2014] - **Reguły wnioskowania. Metody dowodzenia twierdzeń. Twierdzenia o dedukcji. Przykłady. ** [30.04.2014] - **Rezolucja i rezolucja dualna. Zbiór logicznych konsekwencji. Tablice Karnaugha, sklejanie, minimalizacja. Metoda Quine-McCluskey'a. **[7.05.2014] - **Drzewa decyzyjne. Diagramy OBDD. Metoda tablic semantycznych. Dedukcja naturalna.** [14.05.2014]. - **Rachunek predykatów I rzędu.Składnia i semantyka** [21.05.2014] - **Rachunek predykatów I rzędu. Postacie CNF, DNF, NNF. Reguły przekształceń formuł z kwantyfikatorami.** [28.05.2014] - **Rachunek predykatów I rzędu. Podstawienia, unifikacja i rezolucja.** [4.06.2014] - **Zastosowania logiki. Język Prolog. Przykłady programów logicznych. Logiki nieklasyczne.** [11.06.2014] ---- __**Materiały do wykładów - wersja robocza (.pdf)**__ - {{:pl:dydaktyka:logic:logika-intro-1-3-2014.pdf|logika-intro-1-3-2014}} ---- __**Polecane materiały - e-learning**__ - [[http://robert.nowotniak.com/pl/artificial-intelligence/tautolog/|Matryce logiczne - weryfikacja]] - [[http://kot.rogacz.com/Science/Studies/06/tpjp/wyklad/]] [Polecam Wykład 1. Rachunek zdań] - Rachunek predykatów I rzędu i Metoda Rezolucji (Google Preview) [[http://store.elsevier.co/product.jsp?isbn=9781558609327 | KRR: Ronald Brachman book]] - Rachunek predykatów I rzędu i Metoda Rezolucji [[http://www.cs.toronto.edu/~hector/PublicKRSlides.pdf | KRR - slides]] - Inne materiały na stronie [[http://ai.ia.agh.edu.pl/wiki/pl:dydaktyka:krr:start | Logika, Reprezentacja i przetwarzanie wiedzy, Prolog]] ---- ---- __**Wykłady - 2013**__ - **Wprowadzenie do logiki. E-learning.** [27.02.2013] - **Elementy logiki w ujęciu systemowym.** [6.03.2013] - **Podstawowe koncepcje logiki. Składnia. Semantyka. Wnioskowania.** [13.03.2013] - **Rachunek zdań. Składnia. Semantyka. Logiczna konsekwencja. Równoważność.** [20.03.2013] - **Rachunek zdań. Funkcje logiczne. Systemy funkcjonalnie pełne. Transformacje zachowujące równoważność.** [27.03.2013] - [[https://class.coursera.org/intrologic-003/auth/welcome?type=logout&visiting=https%3A%2F%2Fclass.coursera.org%2Fintrologic-003%2Fclass%2Findex | Logic Course at Stanford]] [3.04.2013 - e-learning] - **Rachunek zdań. Postacie CNF, DNF, NNF.** [10.04.2013] - **Reguły wnioskowania. Wywód. Dowodzenie twierdzeń. Rezolucja. Rezolucja dualna.** [17.04.2013] - **Algebra Boole'a. Minimalizacja funkcji logicznych. Tablice Karnaugha. Algorytm Quine'a-McCluskeya.** [24.04.2013]. - **E-learning:** __Rachunek zdań. Powtórzenie, usystematyzowanie i uzupełnienie wiadomości__ [8.05.2013] - **Drzewa decyzyjne. Diagramy OBDD. Metoda tablic semantycznych. Dedukcja naturalna.** [15.05.2013]. - **Rachunek predykatów I rzędu.** [22.05.2013] - **E-learning:** __Metoda rezolucji.__ [29.05.2013] - __Metoda Rezolucji. Metoda rezolucji dualnej. Prolog i programowanie w logice. Ograniczenia logik klasycznych. Logiki nieklasyczne. __ [5.06.2013] - __Egzamin: termin zerowy__ [12.06.2013] - Logiki atrybutowe i systemy regułowe. - Rozszerzenia logik klasycznych. __**Materiały do wykładów - wersja robocza (.pdf)**__ - {{:pl:dydaktyka:logic:logika-intro-1-3.pdf|Wykłady 1-3}} - {{:pl:dydaktyka:logic:logika-propositional-calculus-4-8.pdf|Wykłady 4-8}} - {{:pl:dydaktyka:logic:logika-boole-synthesis-9.pdf|Wykład 9}} __**Polecane materiały - e-learning**__ - [[http://robert.nowotniak.com/pl/artificial-intelligence/tautolog/|Matryce logiczne - weryfikacja]] - [[http://kot.rogacz.com/Science/Studies/06/tpjp/wyklad/]] [Polecam Wykład 1. Rachunek zdań] - Rachunek predykatów I rzędu i Metoda Rezolucji (Google Preview) [[http://store.elsevier.co/product.jsp?isbn=9781558609327 | KRR: Ronald Brachman book]] - Rachunek predykatów I rzędu i Metoda Rezolucji [[http://www.cs.toronto.edu/~hector/PublicKRSlides.pdf | KRR - slides]] - Inne materiały na stronie [[http://ai.ia.agh.edu.pl/wiki/pl:dydaktyka:krr:start | Logika, Reprezentacja i przetwarzanie wiedzy, Prolog]] Zadanie dla ambitnych: korzystając z systemu Fitch udowodnić: - regułę rezolucji {ψ|p, φ|~p} |= {ψ|φ} - regułę rezolucji dualnej {ψ&φ} |= {ψ&p | φ&~p} ---- __**Plan ćwiczeń - 2014**__ - Różne rozmaitości, czyli wprowadzenie do logiki w przededniu. Algebra zbiorów. - Rachunek zdań. Podstawy. Składnia, semantyka, badanie własności formuł. - Rachunek zdań. Przekształcenia równoważne. Postacie CNF, DNF, NNF. Synteza układów logicznych. - Rachunek zdań. Dowodzenie twierdzeń. - Rachunek pierwszego rzędu. Składnia, semantyka, przykłady. Wprowadzenie do metody rezolucji. - Rachunek pierwszego rzędu. Dowodzenie. Rezolucja. ---- __**Sylabus**__ * Wprowadzenie do logiki, istota logiki, rola i zadania logiki, obszary zastosowań. * Rola i znaczenie języka. * Składnia, semantyka, interpretacja, model. * Własności logiczne. * Wywód. Pojęcie logicznej konsekwencji. * Przykłady formalizacji problemów. * Język rachunku zdań. Składnia i semantyka. Reguły przekształcania formuł. Postacie CNF, DNF, NNF. Reguły wnioskowania. Dowodzenie twierdzeń. * Drzewa decyzyjne i diagramy OBDD. * Logika rachunku predykatów. Składnia i semantyka. Reguły przekształcania formuł. Postacie CNF, DNF, NNF. Reguły wnioskowania. Dowodzenie twierdzeń. * Logiki atrybutowe. Składnia i semantyka. Reguły przekształcania formuł. Postacie CNF, DNF, NNF. Reguły wnioskowania. Dowodzenie twierdzeń. * Tablice i drzewa decyzyjne. * Podstawy automatycznego dowodzenie twierdzeń. Reguła rezolucji. Reguła dualna. Podstawienia i unifikacja. Sprowadzanie do postaci normalnej. Strategie dowodzenia. * Wstęp do programowania logicznego. Idea języka Prolog. * Wybrane problemy i ograniczenia logiki klasycznej. * Wybrane zastosowania i narzędzia logiki. * Informacja o innych logikach. ---- ---- __**Materiały pomocnicze**__ ---- __**Linki**__ [[https://www.coursera.org/course/intrologic]]
pl/dydaktyka/logic/start.1585082066.txt.gz
· ostatnio zmienione: 2020/03/24 21:34 przez
ligeza
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry