... Живая история . ... СУНЦ МГУ . Выдающийся физик, талантливый организатор и основатель физико-математической школы-интерната ?18 при МГУ подробнее . ... Выдающийся математик, ректор Московского университета с 1951 по 1973 год, основатель физико-математической школы-интерната ?18 при МГУ подробнее . ... За 50 лет в СУНЦ МГУ накопилась целая коллекция эмблем, символики и иллюстраций на день рождения! подробнее . ... Разные фотографии 1974-1983 годов от Веры Назаренко подробнее . ... подробнее . ...
... В данном докладе рассматриваются вопросы существования сколь угодно сложных задач. Для этого используется аппарат машин Тьюринга. Выделены три части доклада. ... 2)Во второй части описывается некое семейство машин Тьюринга, которое примечательно тем, что все машины, входящие в это семейство, можно занумеровать. ... 3)В третьей части доказываются две основные теоремы о существовании сколь угодно сложных задач. При доказательстве теорем активно используются факты из второй части доклада. ...