Вопросы с тегом «soft-question»

Мне трудно преподавать понятие вычислимых функций. Я попытался развить идею, почему такие исследователи, как Гильберт / Аккерманн / Годель / Тьюринг / Черч / ... изобрели понятие «вычислимости». Студенты сразу спросили: «что означает вычислимость?» и я не могу ответить, пока не научу их машинам Тьюринга, а затем отвечу: «Функция вычислима, …

22 soft-question  computability  turing-machines  teaching 

Я пишу статьи по теоретической информатике, иногда являясь неанонимным автором. Ранее я использовал 1-е лицо множественного числа в таких работах, например: Покажем, что классы сложности X и Y совпадают. Я не являюсь носителем английского языка и не очень хорошо разбираюсь в английском. Недавно я получил совет от носителя английского языка …

21 soft-question  paper-review  writing 

Я буду преподавать стандартный курс для студентов по языкам и автоматам в следующем семестре и предпочел бы использовать законный бесплатный или недорогой текст. Какие-либо предложения? Мне нравится текст Sipser, но последнее издание стоит 196 долларов, что трудно сказать с неприкрытым лицом в эпоху бесплатных курсов.

21 soft-question  teaching  books 

Я студент, и недавно смирился с тем фактом, что у меня может не хватить ума заниматься исследованиями в области теоретической информатики или быть допущенным к участию в программе PhD. Тем не менее, я все еще хотел бы заниматься теоретической информатикой, поскольку я нахожу это очень интересным. До сих пор единственной …

21 soft-question  career 

При объединении результатов часто желательно иметь несколько профессионально выглядящих диаграмм, а не диаграмм, составленных в MS Paint. Какой стандарт для рисования структур данных?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

У меня есть два исторических вопроса: Кто первым описал недетерминированные вычисления? Я знаю, что Кук описал NP-полные проблемы, и что Эдмондс предложил, чтобы P-алгоритмы были "эффективными" или "хорошими" алгоритмами. Я искал эту статью в Википедии и пролистал «О вычислительной сложности алгоритмов», но не смог найти никакой ссылки на то, когда …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Большинство работ в настоящее время написаны совместно, и сотрудники часто находятся в разных местах. Я всегда использовал системы контроля версий для своих документов и кода, а также обнаружил, что контроль версий важен для совместных программных проектов, но, похоже, многие исследователи в теории избегают их использования для написания совместных работ. Чтобы …

20 soft-question  research-practice  software  writing 

Этот вопрос похож на более общий вопрос о том, какова правильная теоретическая модель компьютера для разработки алгоритма и структур данных. Здесь я задаю конкретный вопрос о современных высокопроизводительных компьютерах (например, тех, которые перечислены в списке 500 лучших ) или даже о предстоящие суперкомпьютеры. Учитывая, что эти компьютеры обычно работают с …

20 reference-request  soft-question  machine-models 

У меня есть достаточное образование по математике, но я никогда не чувствовал себя уверенно на 100% с абстрактной алгеброй (математика групп, колец, полей и т. Д.). Я думаю, что это было отчасти потому, что мне нужно было увидеть приложения, и все, что я мог найти, были в физике, а не …

19 soft-question  algebra  teaching 

Каковы лучшие ресурсы для поиска вакансий на должности преподавателей в теории CS? Существует ли какой-то один веб-сайт или список рассылки, который является достаточно полным? В настоящее время у меня сложилось впечатление, что нужно использовать различные ресурсы, чтобы получить исчерпывающий список вакансий по всему миру. Это тот случай? Этот вопрос связан …

19 soft-question  career 

Этот недавний вопрос теории игр заставил меня задуматься (это, конечно, касательно): возможно ли эффективно оптимизировать личную стратегию выбора исследовательских вопросов для работы над теорией игр? Чтобы перейти к формализации вопроса, я сделаю следующие (неофициально заявленные) предположения: Я также «наслаждаюсь» любой конкретной проблемой, над которой я могу работать (чтобы избежать «мягкого» …

19 soft-question  gt.game-theory 

В настоящее время я изучаю математику. Однако я не думаю, что хочу стать профессиональным математиком в будущем. Я подумываю применить свои знания математики для исследований в области искусственного интеллекта. Однако я не уверен, сколько курсов по математике мне следует пройти. (И каким курсам по теории КС я должен следовать.) Из …

19 soft-question  machine-learning  ai.artificial-intel 

Я понимаю, что это может быть спорный вопрос, но это, казалось, правильное место, чтобы спросить. Пожалуйста, перенаправьте меня, если нет. Я имею в виду, что я «практик» (аспирант, я не изучаю теорию КС), но у меня есть достаточные знания в области алгоритмов и математики для студентов. Тем не менее, обсуждения …

18 soft-question  advice-request 

Я хотел бы знать, были ли предположения, которые давно не были доказаны в TCS, которые позже были подтверждены следствием другой теоремы, что, возможно, было легче доказать.

18 reference-request  soft-question  big-list 

Понятие полиномиального сокращения времени (сокращения Кука) является абстракцией очень интуитивного понятия: эффективное решение проблемы с использованием алгоритма для другой задачи. Тем не менее, в теории -полнота, понятие N P -hardness захватывается с помощью сокращений (сокращения отображения Karp). Эта концепция «ограниченных» сокращений гораздо менее интуитивна (по крайней мере, для меня). Это …

18 cc.complexity-theory  np-hardness  soft-question