Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
Nowa wersja
Both sides next revision
|
pl:dydaktyka:logic:start [2020/03/18 09:13] ligeza [Logic for Computer Science: 2020] |
pl:dydaktyka:logic:start [2020/04/01 12:59] ligeza [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] | - **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] | - **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 #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>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>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)] |
- The role of CNF. The SAT problem. Approaches to solving the SAT problem. Decision trees. OBDD diagrams. SAT solvers. | - **<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. | - 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. | - First -Order Logic. Syntax and Semantix. Logical transformation Rules. Logical inference rules. The Fitch system for FOPC. |
| |
- {{:pl:dydaktyka:logic:logic_for_computer_science_2020.pdf | An Introduction to Logic}} | - {{: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, Sematix, Equivalence, CNF, DNF}} | - {{ :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-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}} |
| |
| |