Automatikus tételbizonyítás
Szerzők
- Várterész Magda, Kádek Tamás
Terjedelem
- 296.000 leütés
Tartalom
Logikai kalkulusok; A predikátumkalkulus; Formulák normálformái; Termhelyettesítés; A rezolúciós kalkulus; A tablók módszere.
Kurzus
MSc: Automatikus tételbizonyítás INMV620
Legutóbbi frissítés:
2023. 01. 26. 17:51