Logika és informatikai alkalmazásai
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.