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.
Asiasanat
Metadata
Näytä kaikki kuvailutiedotKokoelmat
Lisenssi
Samankaltainen aineisto
Näytetään aineistoja, joilla on samankaltainen nimeke tai asiasanat.
-
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)
Ellei toisin mainittu, julkisesti saatavilla olevia JYX-metatietoja (poislukien tiivistelmät) saa vapaasti uudelleenkäyttää CC0-lisenssillä.