Теоретическая информатика - 2000: от теории к практике