Научрук на Мат. Логике

Вроде как я эту кафедру заканчивал. Какая у Вас область интересов, что уже знаете и что хотелось бы изучить? Какие вообще соображения относительно дальнейших (по окончании) занятий?

Цитата

Мне хотелось бы познакомиться с теорией сложности

Теория колмогоровской сложности -- одно из приоритетных направлений на кафедре, ей занимается целый коллектив.

Теории вычислительной сложности (сложность вычислений с ограничением на ресурсы) научат, хотя, конечно, лишь в стандартном объеме. Но отличить NP-трудность от NP-сложности сможете :)

Более глубокое ее изучение придется продолжать самостоятельно (возможно, в другой стране).

Цитата

а также более глубоко изучить теорию множеств...

Честно говоря, выражение "более глубоко" сразу напоминает анекдот про тренера проигравшей команды. На вопрос, каковы их планы, он отвечает "завтра мы будем играть еще лучше" :) Только без обид.

Теория множеств -- сложная и очень специфичная наука. Кто именно ей занимается (и вообще занимается ли) на кафедре, я не знаю. Возможно, что и никто.

С другой стороны, элементы теории моделей и какие-то простейшие представления из аксиоматической теории множеств (ординальная арифметика, например), будут рассказаны. Дальнейшее углубление -- вопрос отдельный.

В свое время мне удалось прослушать спецкурс Верещагина про метод форсинга (именно c помощью него были доказаны теоремы об относительной независимости аксиом выбора и континуума). Вещь в его изложении довольно забавная и не такая уж и сложная, так что рекомендую.

Цитата

Максим, расскажите, кто у Вас был научруком, что Вы о нём можете
сказать

Моим научруком был Саша Шень. Личность совершенно неординарная. Достаточно сказать, что поняв, что колмогоровская сложность меня не особенно интересует, он дал возможность заниматься тем, что мне казалось интересным и всячески помогал в этом.

Впрочем, выбор научрука надо было делать несколько раньше.

Цитата

насколько серьёзными и интересными были темы Ваших курсовых работ и т.д. ?

На самом деле потом становится ясно, что курсовые и дипломные -- мероприятие во многом формальное и относиться к нему надо соответственно. И уж точно не стоит с ними ассоциировать какую-то разумную научную деятельность.

В общем, в жизни бывают вопросы и более важные :)

А каков Ваш критерий практической полезности? :)

В любом случае, я не занимаюсь ни теорией сложности (в любом виде), ни чистой логикой, поэтому ответы столь глобального рода вне моей компетенции. С тем же успехом можно попросить указать какое-нибудь значительное достижение матанализа, -- никогда об этом не задумывался.

Да и даже в той части математики, в которой я пытаюсь специализироваться, представление о "полезности" слишком расплывчато. Например, не так давно в комбинаторную оптимизацию было введено понятие субмодулярного потока, которое включает в себя практически все известные на сей день задачи с целочисленными полиэдрами решений (кратчайшие пути, максимальные потоки, потоки минимальной стоимости, пересечения полиматроидов, k-связные ориентации, максимальные упаковки ориентированных разрезов итп) . Это очень мощный и красивый аппарат, но не ясно, в каком смысле можно говорить о его пользе на практике.

Максим, у меня пока что нет настолько широких познаний, чтобы я мог однозначно определить, какая область Логики мне ближе. Несмотря на это, через год я должен буду определиться с кафедрой и научруком.

Меня привлекает абстрактная наука - Математическая Логика... Так как более конкретных научных пристрастий сейчас у меня нет, то выбор научрука нужно делать, основываясь более на его личных качествах, чем на области деятельности.

Спасибо, что рассказали про А. Шеня. Надо буде походить на его семинары... Могли бы Вы охарактеризовать других преподавателей кафедры? Возможно, Вы знаете, что кто-то очень занятой и ему не до студентов, или, наоборот, у кого-то очень холявно и поэтому к нему тоже не стоит идти и т.п.

Спасибо! :)
astra496@gcnet.ru Ираклий

Максим, благодарю Вас за ответы. Кстати, насчет НМУ я и сам тоже подумывал...
:)

Здравствуйте, а Вы сейчас уже аспирант? Просто мне хочется заниматься более прикладными вопросами математики, програмированием и не могу определиться с научруком... Хотел посоветываться. Так как хочу потом пойти в аспирантуру... Но мне сказали , что с такой областью интересов это сложно... Заранее благодарю. Сергей

Благодари, Максим... Да, похоже мифы о выч-мате которые я слышал, что где-где, но только не там занимаются программированием всего лишь слухи... И скорее всего пойду туда... Если у Вас есть что-то интересное про их кафедру, был бы очень благодарен... С праздниками...