Запитання з тегом «soft-question»

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

22 soft-question  computability  turing-machines  teaching 

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

21 soft-question  paper-review  writing 

Я буду викладати стандартний бакалавратський клас з мов та автоматів наступного семестру, і вважаю за краще використовувати законний безкоштовний або недорогий текст. Будь-які пропозиції? Я люблю текст Шипсера, але остання редакція коштує 196 доларів, що важко сказати з прямим обличчям в епоху безкоштовних курсів.

21 soft-question  teaching  books 

Я є студентом, і останнім часом змирився з тим, що я, можливо, не маю розуму займатися дослідженнями теоретичної інформатики, або бути в змозі бути прийнятим і закінчити докторську програму. Однак я все ж хотів би займатися теоретичною інформатикою, оскільки мені здається дуже цікавою. Поки єдиною кар'єрою теоретичної інформатики, яка не …

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 

Це питання схоже на більш загальне питання про те, яка правильна теоретична модель комп'ютера для проектування алгоритму та структури даних. Тут я запитую конкретно про сучасні високопродуктивні комп’ютери (наприклад, ті, що перераховані як Top 500 ) або навіть про майбутні суперкомп'ютери. Зважаючи на те, що ці комп'ютери, як правило, працюють …

20 reference-request  soft-question  machine-models 

Я маю розумну недооцінену математичну освіту, але ніколи не був на 100% комфортний з абстрактною алгеброю (математика груп, кілець, полів тощо). Я думаю, що це почасти було так, як мені потрібно було переглянути додатки, і все, що я міг знайти, був з фізики, а не з CS. Оскільки мене цікавить …

19 soft-question  algebra  teaching 

Які найкращі ресурси для пошуку роботи на посадах викладачів з теорії CS? Чи є один веб-сайт чи перелік розсилки, який є досить вичерпним? В даний час у мене складається враження, що треба використовувати різноманітні ресурси, щоб отримати вичерпний, всесвітній список оголошень про роботу. Це так? Це питання пов'язане з тим, …

19 soft-question  career 

Це нещодавнє питання теорії ігор змусило мене задуматися (це, звичайно, дотична): Чи можна ефективно оптимізувати особисту стратегію вибору дослідницьких питань для роботи з використанням теорії ігор? Для того, щоб перейти до формалізації питання, я зроблю такі (неофіційно викладені) припущення: Я однаково "насолоджуюся" будь-якою конкретною проблемою, доступною мені для роботи (щоб …

19 soft-question  gt.game-theory 

Зараз я вивчаю математику. Однак я не думаю, що в майбутньому я хочу стати професійним математиком. Я маю намір застосувати свої знання з математики для проведення досліджень в галузі штучного інтелекту. Однак я не впевнений, скільки курсів математики я повинен пройти. (І які курси теорії CS я повинен пройти.) Від …

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

Я усвідомлюю, що це може бути спірним питанням, але це здавалося правильним місцем для запитання. Будь ласка, переадресуйте мене, якщо ні. Фон полягає в тому, що я "практик" (докторант, я не вивчаю теорію CS), але в мене є розумне підґрунтя в алгоритмах і математиці студентів. Тим не менш, дискусії з …

18 soft-question  advice-request 

Мені хотілося б знати, чи існували думки, які давно були недоведеними в TCS, які згодом були доведені наслідками іншої теореми, що, можливо, було легше довести.

18 reference-request  soft-question  big-list 

Поняття про поліноміальне скорочення часу (Кука скорочення) - це абстракція дуже інтуїтивно зрозумілої концепції: ефективно вирішити задачу за допомогою алгоритму для іншої проблеми. Однак у теорії -повноти поняття N P- твердості фіксується за допомогою скорочення відображення (скорочення Карпа). Ця концепція "обмежених" скорочень набагато менш інтуїтивна (принаймні, для мене). Це навіть …

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