Tiedonhakijan tyypit eläiminä
Vastaa yhteen kysymykseen ja selvitä millainen tiedonhakija olet. Oletko koira, poro vai jokin muu? Vuoden 2012 Kirjastobasaaria varten tehty
yksinkertainen peli.
Keywords
Metadata
Show full item recordCollections
License
Related items
Showing items with similar title or keywords.
-
Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla
Pehkonen, Jere (2021)Tutkielman tavoitteena on luoda toimiva kirjasto ariteetti- ja tietotyyppigeneeristä ohjelmointia varten. Ariteetti- ja tietotyyppigeneerinen ohjelmointi edesauttaa toisteisen lähdekoodin määrän vähentämistä sekä määritelmien ... -
Metatieto tietovarastoympäristössä
Niemijärvi, Ville (2002) -
Induktiiviset tyypit
Vitikainen, Maxim (2024)Induktiiviset tyypit ovat tapa mallintaa erilaisia tietotyyppejä kuten listoja, luonnollisia lukuja ja binäärihakupuita tyyppiteoriassa. Induktiivisia tyyppejä käytetään laajasti todistusassistenteissa erilaisten teoreemojen ... -
It takes the Entire University Community to Educate Students in Becoming Academics
Koponen, Eeva; Kinnunen, Johanna; Jääskelä Päivikki (2018)Development of scientific thinking is considered an essential but challenging aim of academic studies. In practice, this challenge becomes evident when students begin preparing their theses. Therefore, proper guidance ... -
Opetusta kehittävä kumppanuus sivistysyliopiston uudelleenrakentajana
Kinnunen, Johanna; Koponen, Eeva; Puputti, Tiia (2019)