Skolemin normaalimuoto predikaattilogiikassa
Tutkielman tarkoituksena on selvittää Skolemin normaalimuodon käyttötarkoituksia ensimmäisen kertaluvun predikaattilogiikassa. Sovelluskohteina esitellään teoreettisten kysymysten lisäksi resoluutiopäättely ja automatisoidut päättelyjärjestelmät. In this thesis, we study Skolem normal form and its...
| Päätekijä: | |
|---|---|
| Muut tekijät: | , , , , , |
| Aineistotyyppi: | Kandityö |
| Kieli: | fin |
| Julkaistu: |
2025
|
| Aiheet: | |
| Linkit: | https://jyx.jyu.fi/handle/123456789/101866 |