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

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

7
Организация данных исследований
Это вопрос в духе этого, где я ответил, что важно отслеживать, что вы сделали, почему вы это сделали, а что нет. Я лично использую ноутбуки для этой цели, но у нее есть несколько недостатков: во-первых, мне нужно много места для хранения, во-вторых, когда я путешествую, я не могу получить доступ …
2
(Как) Можем ли мы обнаружить / проанализировать проблемы NP в отсутствие модели вычисления Тьюринга?
С чисто абстрактной математической / вычислительной точки зрения (как) можно даже узнать или рассуждать о таких проблемах, как 3-SAT, сумма подмножества, коммивояжер и т. Д.,? Сможем ли мы хоть как-то осмыслить их с функциональной точки зрения? Будет ли это вообще возможно? Я размышлял над этим вопросом исключительно с точки зрения …
2
Где узнать больше о том, что такое теоретическая информатика?
Я аспирант по математике, и теоретическая информатика - это область, в которой я никогда не понимал, о чем она, потому что не мог найти хорошее прочтение по этой теме. Я хочу знать, о чем этот домен на самом деле, какие темы он затрагивает, какие предпосылки необходимы для его запуска и …
1
Почему работа Шёнфинкеля по устранению «связанных переменных» в логике так важна?
AFAIK, Первое доказательство использования функций высшего порядка восходит к статье Шенфинкеля 1924 года: «О строительных блоках математической логики», где он позволил передавать функции в качестве аргументов другим функциям. Это кажется интересным. Тем не менее, все, что я читал о его работе (и о расширении Карри), похоже, намекает на одну вещь …
5
Примеры педантизма в ТКС
Ларри Вассерман недавно опубликовал пост, где рассказывает о «полиции p-значения». Он делает интересное замечание (все выделено мной) (предпосылка, которую я добавил курсивом, и его ответ под ним): Наиболее распространенная жалоба состоит в том, что физики и журналисты неправильно объясняют значение p-значения. Например, если значение p равно 0,000001, мы увидим такие …
1
Поддержание порядка в списке в за раз
Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …
1
Разработка и сложность алгоритмов - как мыслить таким образом?
Мой вопрос общий: как мне начать думать с точки зрения разработки и сложности алгоритмов? Я собираюсь пройти аспирантуру по разработке алгоритмов. Я зарегистрировался в нем раньше, но бросил его позже, потому что не мог идти в ногу с этим. Я должен принять этот курс как требование. Есть ли уловка, чтобы …
10
Труднопроходимость NP-полных задач как принцип физики?
Я всегда заинтригован отсутствием численных доказательств в экспериментальной математике за или против вопроса P против NP. В то время как гипотеза Римана имеет некоторые подтверждающие данные из численной проверки, я не знаю аналогичных доказательств для вопроса P против NP. Кроме того, мне неизвестны какие-либо прямые физические последствия для мира существования …
2
Доказательство использования помощника в исследовании теории сложности?
Учитывая темы, затронутые на конференции, такие как STOC, активно ли исследователи алгоритмов или сложности используют COQ или Изабель? Если да, то как они используют это в своих исследованиях? Я предполагаю, что большинство людей не будут использовать такие инструменты, потому что доказательства были бы слишком низкими. Кто-нибудь использует этих помощников в …
4
Теоретические информатические ресурсы для самостоятельной работы программистов
Я довольно опытный инженер-программист, но я не знаю много теории. Я хочу узнать больше теории. Конкретные темы, которые меня интересуют: вычислительная сложность, формальные языки и теория типов. Но я не знаю, как начать изучать эти области. Какие ресурсы вы бы порекомендовали кому-то, кто хочет узнать больше теории через самообучение? Существуют …
2
Ресурсы для математиков, надеющихся узнать больше информатики
Справочная информация : Я заканчиваю магистратуру по математике и в августе начну работу над докторской диссертацией по логике. Чем больше логики я изучаю, тем больше теоретической информатики, с которой я сталкиваюсь, например, теория рекурсии, лямбда-исчисление, но лежащий в основе CS лежит под ковром. Мои основные области интересов - теория множеств …
7
Математический анализ и вычислительная сложность?
вычислительная сложность включает в себя большое количество комбинаторики и теории чисел, некоторые особенности стохастики и растущее количество алгебры. Однако, будучи аналитиком, мне интересно, есть ли приложения анализа в этой области, или, может быть, идеи, вдохновленные анализом. Все, что я знаю, что немного соответствует этому, - это преобразование Фурье на конечных …
1
Почему Мартин-Лёф нуждался в создании интуиционистской теории типов?
Я читал на интуиционистской теории типов (ITT), и это имеет смысл. Но что я изо всех сил пытаюсь понять, это «почему» он был создан в первую очередь? Интуиционистская логика (IL) и простой тип вычисления (STLC) и теория типов вообще предшествуют самому существованию самого Мартина-Лёфа! Кажется, что в STLC можно сделать …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.