Кіріспе
Американдық компьютер ғалымы Стивен Рудич (4 қазан 1961 жылы туған) – Карнеги-Меллон университетінің компьютерлік ғылым мектебінің профессоры. 1994 жылы Александр Разборовпен бірге «табиғи дәлелдер» деп аталатын комбинаторлық аргументтердің кең класы есептеу күрделілігі теориясының маңызды көптеген мәселелерін шеше алмайтынын дәлелдеді. Осы еңбегі үшін олар 2007 жылы Гедель сыйлығымен марапатталды. Ол сондай-ақ, қазіргі кезде белгілі барлық NP-толық проблемалары AC0 немесе NC0 түрлендірулерінде де NP-толық болып қалатынын көрсеткен мақаланың авторларының бірі. Карнеги-Меллон студенттері арасында ол «Компьютерлік ғылымдағы ұлы теориялық идеялар» (бұрынғы атауы – «Компьютер ғалымы сияқты қалай ойлау керек») курсының оқытушысы ретінде жақсы танымал, бұл курс компьютерлік ғылым бакалавриатының ең қиын курстарының бірі саналады. Ол «Криптология» журналының редакторы, сонымен қатар шебер әуескер-сиқыршы. Оның Эрдос саны – 2.
Steven Rudich (born October 4, 1961) is a professor in the Carnegie Mellon School of Computer Science. In 1994, he and Alexander Razborov proved that a large class of combinatorial arguments, dubbed natural proofs, was unlikely to answer many of the important problems in computational complexity theory. For this work, they were awarded the Gödel Prize in 2007. He also co authored a paper demonstrating that all currently known NP complete problems remain NP complete even under AC0 or NC0 reductions. Amongst Carnegie Mellon students, he is best known as the teacher of the class "Great Theoretical Ideas in Computer Science" (formerly named "How to Think Like a Computer Scientist"), often considered one of the most difficult classes in the undergraduate computer science curriculum. He is an editor of the Journal of Cryptology, as well as an accomplished magician. His Erdős number is 2.
Leap@CMU
Рудич (және Меррик Фурст, қазір Джорджия технология институтының еңбек сіңірген профессоры) 1991 жылы жоғары мектеп (кейде орта мектеп) оқушылары үшін Leap@CMU (бұрын Эндрюдің секірісі деп аталған) жазғы білім беру бағдарламасын бастады. Бұл жазғы білім беру бағдарламасы негізінен компьютер ғылымының теориялық аспектілеріне таңертең, түскі үзілістен кейін, содан соң робототехника, бағдарламалау немесе математика теориясы таңдау пәндерінен тұрады. Бағдарламалау таңдау пәні кіріспе бағдарламалау, орта деңгейдегі бағдарламалау және жоғары деңгейдегі бағдарламалау болып бөлінеді. 2017 жылдан бастап математика теориясы таңдау пәні алынып тасталды. Көп күндері түстен кейін Карнеги Меллон университетінің профессоры лекция оқиды. Бұл лекция түскі ас пен таңдау пәндерінің арасында өтеді. Эндрюдің секірісіне қатысу үшін «Қызықты тест» деп аталатын арнайы тест тапсыру қажет. Бұл тесттің мақсаты – ойлау қабілетін және компьютерлік математикаға қабілеттілікті бағалау. Курсқа қабылдау кезінде оқудағы үлгерім ескерілмейді. 2018 жылдың жазынан бастап бұл бағдарлама тоқтатылды.