Információk

Az alábbi listából letölthető gyakorlati anyagokat Iván Szabolccsal közösen készítettük.

Tematika:

• 1. gyakorlat: (február 8-12.)
  Paradoxonok, logikai műveletek
  Jegyzet: 1.gyakanyag
• 2. gyakorlat: (február 15-19.)
  1.házi feladat: coospace-en.
  Következtetés, konjunktív normálforma
  Jegyzet: 2.gyakanyag
• 3. gyakorlat: (február 22-26.)
  2.házi feladat: coospace-en.
  Rezolúció
  Jegyzet: 3.gyakanyag
• 4. gyakorlat: (március 1-5.)
  1. minizh: példák rezolúcióra, cnf és rezolúció generátor
  Teljes rendszerek
  Jegyzet: 4.gyakanyag
• 5. gyakorlat: (március 8-12.)
  3.házi feladat: coospace-en.
  Hilbert rendszere
  Jegyzet: 5.gyakanyag
• 6. gyakorlat: (március 15-19.)
  4.házi feladat: coospace-en.
  Az elsőrendű logika szintaxisa és szemantikája
  Jegyzet: 6.gyakanyag
• 7. gyakorlat: (március 22-26.)
  2. minizh: példatár 8.(1.2 és 1.3-as feladat) és 89-95. oldal, generátor
  Az elsőrendű logika szemantikája, CNF elsőrendben
  Jegyzet: 7.gyakanyag
• 8. gyakorlat: (március 29 - április 2.)
  5.házi feladat: coospace-en.
  Normálformák elsőrendben
  Jegyzet: 8.gyakanyag
• 9. gyakorlat: (április 12-16.)
  6.házi feladat: coospace-en.
  Alap rezolúció
  Jegyzet: 9.gyakanyag
• 10. gyakorlat: (április 19-23.)
  3. minizh: generátor
  Helyettesítés, egyesítés
  Jegyzet: 10.gyakanyag
• 11. gyakorlat: (április 26-30.)
  7.házi feladat: coospace-en.
  Elsőrendű rezolúció
  Jegyzet: 11.gyakanyag
• 12. gyakorlat: (május 3-7.)
  8.házi feladat: coospace-en.
  Gyakorlás a nagyZH-ra.

A gyakorlati jegyzet az Emberi Erőforrások Minisztériuma UNKP-19-3-SZTE-86 kódszámú Új Nemzeti Kiválóság Programjának támogatásával készült.