жылы карнеги меллон университетінен компьютер ғылымының философия докторы атағын иемдененді докторлық диссертациясының аталуы