Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"päättelysäännöt"”.
-
Hilaruuduille simuloitujen toimenpide-ehdotusten johtaminen kuviolle päättelysääntöjen avulla
… ja sen ajankohta, minkä jälkeen laadittiin päättelysäännöt toimenpiteen johtamiseksi hilaruuduilta metsikkö-kuviolle. Tutkimuksen päätavoitteena oli verrata päättelysäännöillä johdettuja toimenpiteitä Aarnin normaalilla simuloinnilla tuotettuihin toimenpiteisiin. Tuloksia vertailtiin kolmen …
-
Kontinuumihypoteesin negaatio lokaalissa joukko-opissa
… tulkita topoksessa ja johdamme sille eheät päättelysäännöt. Sisäistä kieltä käyttäen konstruoimme aliobjekteille kuvat ja äärelliset yhdisteet. Tyhjän yhdisteen ja implikaatin avulla saamme myös pseudokomplementit, joiden avulla voimme määritellä Boolen topokset. Osoitamme, että topos on …