Tutoriál podává přehled o současných formálních metodách používaných v oblasti vyhledávání informací (Information Retrieval) se zaměřením na rozsáhlé kolekce dat.