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

Це питання в дусі цього, де я відповів, що важливо слідкувати за тим, що ти щось зробив, чому ти це зробив, а що не працює. Я особисто використовую ноутбуки для цієї мети, але він має кілька недоліків: по-перше, мені потрібно багато місця для зберігання, по-друге, коли я подорожую, я не …

16 soft-question  research-practice 

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

15 reference-request  soft-question  philosophy 

З точки зору суто абстрактних математичних / обчислювальних міркувань, (як) можна навіть виявити або обґрунтувати такі проблеми, як 3-SAT, сума підмножин, продавець подорожей тощо.? Чи могли б ми навіть міркувати про них будь-якими змістовними способами лише з функціональної точки зору? Це було б можливо навіть? Я роздумував над цим питанням …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

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

15 reference-request  soft-question  books 

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

15 lo.logic  soft-question  ho.history-overview  intuition  function 

У Ларрі Вассермана є нещодавній пост, де він розповідає про "поліцію з цінностями". Він робить цікавий момент (все наголос мій) (передумова курсивом, яку я додав, і його відповідь нижче): Найпоширеніша скарга полягає в тому, що фізики та журналісти неправильно пояснюють значення p-значення. Наприклад, якщо значення p становить 0,000001, тоді ми …

15 ds.algorithms  soft-question  big-list 

Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Моє запитання є загальним: як я починаю мислити з точки зору проектування та складності алгоритму? Я збираюся пройти аспірантуру з дизайну алгоритмів. Я записався на нього раніше, але пізніше відмовився, бо не міг не відставати від цього. Я маю сприймати цей курс як вимогу. Чи є "фокус" мислити таким чином? …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Мене завжди інтригує відсутність чисельних доказів експериментальної математики для або проти питання П проти НП. Хоча в гіпотезі Рімана є деякі підтверджуючі докази чисельної перевірки, я не знаю аналогічних доказів щодо питання Р проти НП. Крім того, мені невідомі будь-які прямі наслідки фізичного світу існування нерозв'язних проблем (або існування нерозбірливих …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Я студентка з інформатики, і зараз планую свій дипломний проект. Мені потрібні деякі ідеї в галузі квантових обчислень. будь-яка допомога?

15 quantum-computing  soft-question 

Враховуючи такі теми, що висвітлюються на конференції, як STOC, чи дослідники алгоритму чи складності активно використовують COQ або Ізабел? Якщо так, то як вони використовують це у своїх дослідженнях? Я припускаю, що більшість людей не використовуватимуть такі інструменти, оскільки докази були б занадто низькими. Хтось використовує цих асистентів доказування критично …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

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

14 soft-question  teaching  books 

Фон : Я закінчую ступінь магістра з математики і в серпні буду починати докторську ступінь з логіки. Чим більше логіки я вивчаю, тим більше я піддаюсь теоретичній інформатиці, наприклад, теорія рекурсії, обчислення лямбда, але основна КС зачищена під килим. Мої основні сфери інтересів - теорія множин та теорія категорій - …

14 reference-request  soft-question 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Я читав про інтуїціоністичну теорію типу (ІТТ), і це має сенс. Але те, що я намагаюся зрозуміти, це "чому" це було створено в першу чергу? Інтуїціоністична логіка (IL) та просто типізована -calculus (STLC) та теорія типів взагалі передують самому існуванню самого Мартіна-Лефа! Здається, що можна зробити все в STLC, що …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview