Киевский государственный университет, факультет теоретической кибернетики