✎ pl:dydaktyka:logic:start [aiWiki]

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]
  -  <fc #ff00ff>Logical consequence and logical equivalence. Transformations of formulas: equivalence transformation rules. Minterms and maxterms. Normal forms: CNF, DNF, NNF. Implicants and implicents. Maximal and minimal representation of CNF and DNF. What is the real meaning of CNF and DNF?</fc> [1.04.2020; ALi - on-line, via UPEL/ClickMeeting]
  - 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 }} [ <fc #ff00ff>Support material for Lecture 6</fc> : Czwartek, 2.04.2020, start godz. 12:00]
  - {{ :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]]