Induktiiviset tyypit
Induktiiviset tyypit ovat tapa mallintaa erilaisia tietotyyppejä kuten listoja, luonnollisia lukuja ja binäärihakupuita tyyppiteoriassa. Induktiivisia tyyppejä käytetään laajasti todistusassistenteissa erilaisten teoreemojen ja tietokoneohjelmien toteutukseen. Yleistys induktiivisista tyypeistä ovat...
| Main Author: | |
|---|---|
| Other Authors: | , , , , , |
| Format: | Bachelor's thesis |
| Language: | fin |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://jyx.jyu.fi/handle/123456789/96254 |