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

Есть алгоритмическая теория графов / теория чисел / комбинаторика / теория информации / теория игр. Есть ли алгоритмический математический анализ? Согласно вики, математический анализ включает в себя теории дифференцирования, интегрирования, измерения, пределов, бесконечных рядов и аналитических функций. Можно сосредоточиться на реальном анализе (вики), который имеет дело с действительными числами и …

11 cc.complexity-theory  reference-request  soft-question  computability 

Я аспирант в области теоретических компьютерных наук, и в частности, алгоритмы аппроксимации. Теперь я нахожу, что меня больше интересует чистая математика (я могу сказать это, потому что мне, кажется, нравятся курсы математики больше, чем курсы CS). Я хотел бы спросить, есть ли области теоретической информатики, которые в значительной степени являются …

11 reference-request  soft-question 

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

11 soft-question  research-practice 

Хотя практическое правило заключается в том, что в документах TCS авторы располагаются в алфавитном порядке, есть несколько заметных контрпримеров, которые приходят на ум, где авторы упорядочиваются по-другому, например: Алгебраические методы для интерактивных систем доказательства [Лунд, Фортнов, Карлофф, Нисан] Метод получения цифровых подписей и криптосистемы с открытым ключом [Ривест, Шамир, Адлеман] …

11 soft-question 

На cs.stackexchange я спросил о scala-библиотеке algebird на github, размышляя о том, почему им может понадобиться пакет абстрактной алгебры. Страница GitHub имеет несколько подсказок: Реализации Monoids для интересных алгоритмов аппроксимации, таких как фильтр Блума, HyperLogLog и CountMinSketch. Они позволяют вам думать об этих изощренных операциях, как о числах, которые вы …

11 soft-question  machine-learning  linear-algebra  db.databases 

В 1996 году давно открытая проблема была решена с помощью компьютера; а именно, что алгебра Роббинса и булева алгебра совпадают. Доказательство было найдено автоматическим испытателем теорем. Кроме того, известное доказательство теоремы о четырех цветах содержит сгенерированные компьютером компоненты. Цель этого вопроса состоит в том, чтобы перечислить доказательства, которые (полностью или …

11 soft-question  big-list  proofs  automated-theorem-proving 

Я недавно начал курс магистратуры. В прошлом семестре я проходил курсы по различным дисциплинам, таким как сети, разработка программного обеспечения, архитектура и т. Д. Недавно, пройдя углубленный курс по алгоритмам и структурам данных, я думаю, что нашел курс, который меня интересует больше всего (включая другие похожие темы, такие как языки …

11 soft-question  career 

Какая разница в том, чтобы называть калькуляцию алгеброй вместо исчисления? Я поднимаю этот вопрос, потому что где-то прочел строку « λ- калькуляция - это не исчисление, а алгебра» (iirc, приписывается Дане Скотт). Какой смысл? Спасибо.λλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

Все известные мне компьютерные музеи и экспонаты, кажется, охватывают только историю вычислительной техники, но не затрагивают темы компьютерных наук. Вы участвуете в создании нового Музея вычислительной техники, созданного для обучения, развлечения и привлечения широкой публики к широкому кругу тем, связанных с компьютерами, информатикой, коммуникацией и математикой. Хотя история и знаменитости …

11 soft-question  big-list  ho.history-overview 

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

11 sat  soft-question  proofs 

В проектах Polymath большая группа работает над открытой проблемой. Какие проблемы лучше всего работают в этих рамках? Есть ли хорошие кандидаты для участия в проекте по математике в теоретической информатике? Существуют ли какие-либо препятствия, которые делают проекты Polymath менее успешными в теоретической информатике по сравнению с другими областями математики?

11 soft-question  open-problem  research-practice 

Что вы думаете о регулярном чтении газет вне своей области, даже тех, которые не связаны с его областью? Моя интуиция заключается в том, что это может дать совершенно иную перспективу или технику, которая может помочь мне в моих собственных проблемах. Но в то же время я немного скептически отношусь к …

10 soft-question  advice-request 

Не уверен, если правильный район, но здесь идет. Я начинаю работу над докторской диссертацией по управлению доверием и репутацией в сетях связи (много теории графов, вероятностный анализ и т. Д.), И у меня впереди много чтения. Кто-нибудь может посоветовать лучшие способы управления академическим чтением и что я должен отметить для …

10 soft-question  advice-request  research-practice 

Я ищу в Интернете доступные лекционные заметки или другие ресурсы, которые дают хорошее введение в параллельное программирование, подобно параллельным аналогам базовых классов по информатике. Я сосредоточен на следующем: пока я могу говорить о «разделяй и властвуй», жадных алгоритмах, динамическом программировании и т. П., То есть об основных шаблонах последовательных алгоритмов …

10 reference-request  soft-question  dc.parallel-comp  survey 

Я столкнулся с довольно сложной дилеммой: Я закончил M.Tech в CS 2 года назад, закончив диссертацию в области VLSI тестирования. Хотя мне нравилась моя работа, я не хочу возвращаться, чтобы продолжить свою докторскую диссертацию в этом - я очень хотел продолжить теоретический курс (в приближении / онлайн-алгоритмах) в качестве средства …

10 soft-question  advice-request  career