Logica propozițională
Săptămâna 1 - Logica informală
RO: Logica informală
- Notele de curs: PDF.
- Capitolul 1, pag. 5-6: Introducere
- Capitolul 2, pag. 7-13: Logica informală
- Exerciții
EN: Informal Propositional Logic
- The lecture notes: PDF.
- Chapter 1, pp. 5-6: Introduction
- Chapter 2, pp. 7-13: Informal Propositional Logic
- Exercises
Săptămâna 2 - Sintaxa logicii propoziționale
RO: Sintaxa logicii propoziționale
- Notele de curs: PDF.
- Capitolul 3, pag. 15: Sintaxa formală a logicii propoziționale
- Exerciții
EN: Propositional Logic - Syntax
- The lecture notes: PDF.
- Chapter 3, p. 15: The Formal Syntax of Propositional Logic
- Exercises
Săptămâna 3 - Semantica logicii propoziționale
RO: Semantica logicii propoziționale
- Notele de curs: PDF.
- Capitolul 4, pag. 25: Funcții recursive peste LP
- Capitolul 5, pag. 33: Semantica logicii propoziționale
- Exerciții
- Capitolul 4, pag. 31-32
- Capitolul 5, pag. 40, 41-43
EN: Propositional Logic - Semantics
- The lecture notes: PDF.
- Chapter 4, p. 23: Functions Defined Recursively on Propositional Logic
- Chapter 5, p. 31: Semantics of Propositional Logic
- Exercises
- Chapter 4, pp. 29-30
- Chapter 5, pp. 38, 39-41
Săptămâna 4 - Semantica logicii propoziționale - continuare curs precedent. Deducție Naturală 1
RO: Deducția naturală - partea I
- Notele de curs: PDF.
- Capitolul 6, pag. 45: Conectori logici; Traduceri în LP
- Capitolul 7, pag. 51: Deducția naturală; Noțiuni introductive
- Exerciții
- Capitolul 6, pag. 50
- Capitolul 7, pag. 53, 54, 56, 57, 65
EN: Natural deduction - part I
- The lecture notes: PDF.
- Chapter 6, p. 43: Logical connectives; Translating propositions in PL
- Chapter 7, p. 51: Natural Deduction; Introductory concepts
- Exercises
- Chapter 6, p. 48
- Chapter 7, pp. 54, 54-55, 56, 57, 58-59, 63
Săptămâna 5 - Deducție Naturală 2
RO: Deducția naturală - partea a-II-a
- Notele de curs: PDF.
- Capitolul 7, pag. 55: Deducția naturală; Regulile deducției naturale pentru LP.
- Exerciții
- Capitolul 7, pag. 56, 57, 65
EN: Natural deduction - part II
- The lecture notes: PDF.
- Chapter 7, p. 53: Natural Deduction; The proof system of PL
- Exercises
- Chapter 7, pp. 54, 54-55, 56, 57, 58-59, 63
Săptămâna 6 - Forme Normale
RO: Forme normale
- Notele de curs: PDF.
- Capitolul 8, pag. 69: Forme normale.
- Exerciții
EN: Normal forms
- The lecture notes: PDF.
- Chapter 8, p. 67: Normal Forms
- Exercises
Săptămâna 7 - Rezoluție
RO: Rezoluție
- Notele de curs: PDF.
- Capitolul 9, pag. 77: Rezoluție in logica propozițională
- Exerciții
- Capitolul 9, pag. 78, 79, 80, 82, 85, 86, 87
EN: Resolution in Propositional Logic
- The lecture notes: PDF.
- Chapter 9, p. 75: Resolution in Propositional Logic
- Exercises
- Chapter 9, pp. 76, 77, 79, 80, 82, 83, 84
Săptămâna 8 - Evaluare
Logica de ordinul I
Săptămâna 9 - Sintaxa LP1
Săptămâna 10+11/Week 10+11 - Semantica LP1/FOL Semantics
Săptămâna 12/Week 12 - Deducție Naturală/Natural Deduction
Săptămâna 13 - Forme normale / Normal Forms
Săptămâna 14 - Rezoluția de Ordinul I