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 |
| Yhteenveto: | 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 applications in first-order logic, with a particular focus on its usefulness in automated theorem proving.
|
|---|