Вопросы с тегом «ho.history-overview»

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

1
Каковы исторические корни биграфов Милнера?
Робин Милнер определил биграфы как тип графической структуры с графоподобной структурой, где узлы могут быть вложенными. Они обобщают исчисления процессов, такие как CCS и калькуляция, но Мильнер, похоже, намеревался использовать их гораздо более широко: в записках семинара незадолго до его смерти подробно описываются последние события.ππ\pi Оглядываясь назад, а не вперед, …
1
Рабина «Степень сложности вычисления функции и частичное упорядочение рекурсивных множеств»
Я ищу: Майкл О. Рабин, «Степень сложности вычисления функции и частичное упорядочение рекурсивных множеств», Еврейский университет, Иерусалим, 1960 Резюме: «Мы пытаемся измерить объем работы, свойственный задаче вычисления заданной вычислимой (рекурсивной) функции. Представлено и изучено понятие степени сложности вычислений. Понятие инвариантно в том смысле, что оно не зависит от идеализированных компьютеров …
1
Почему Мартин-Лёф нуждался в создании интуиционистской теории типов?
Я читал на интуиционистской теории типов (ITT), и это имеет смысл. Но что я изо всех сил пытаюсь понять, это «почему» он был создан в первую очередь? Интуиционистская логика (IL) и простой тип вычисления (STLC) и теория типов вообще предшествуют самому существованию самого Мартина-Лёфа! Кажется, что в STLC можно сделать …
4
Документальные фильмы Алана Тьюринга
Чтобы отпраздновать 100-летие Алана Тьюринга, я хочу посмотреть документальный фильм о его жизни. Однако есть несколько документальных фильмов на выбор. Какой документальный фильм об Алане Тьюринге ваш любимый? Пожалуйста, включите только один документальный фильм за ответ.
4
Происхождение терминов «эффективный» и «выполнимый» расчет / алгоритм
Я хотел бы знать об истории этих двух терминов: « эффективный », « выполнимый ». Кто использовал их в отношении вычислений / алгоритмов в первый раз? (в современном понимании этих терминов, т.е. 20-го века). Как они стали мейнстримом? Как эти два термина начали использоваться как синонимы? Я знаю, что Кобхем …
2
Почему состояние FSM традиционно обозначается как
Обучая, как реализовывать автоматы с использованием синхронных логических схем, я заметил интересное совпадение: как в теоретическом мире CS, так и в мире электротехники «состояние» обычно обозначается как (и пространство состояний Q ). Сначала я спросил об EE.sx , но затем, немного исследуя эту тему, я обнаружил, что даже в оригинальной …
2
Как именно лямбда-исчисление охватывает интуитивное понятие вычислимости?
Я пытался обернуть голову вокруг того, что, почему и как вычислить, но я не могу понять, «почему это работает»?λλ\lambda «Интуитивно» я получаю модель вычислимости машин Тьюринга (ТМ). Но эта абстракция просто оставляет меня в замешательстве.λλ\lambda Давайте предположим, что ТМ не существуют - тогда как можно «интуитивно» убедиться в способности калькулятора …
2
Ссылка на языки Dyck, являющаяся
Языки Dyck определяются следующей грамматикой S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) над множеством символов { ( 1 , … , ( k , ) 1 , … , ) k } . Интуитивно понятно, что языки Dyck - это языки сбалансированных скобок k различного типа. Например, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 …
1
Entscheidungsproblem против Unvollständigkeitssatz (мягкий вопрос)
Первый термин используется Гильбертом в его работе 1928 года, но в более поздней работе Гёделя то же самое называется Unvollständigkeitssatz («теорема о неполноте»). Для сегодняшних немецких исследователей CS, кажется, Unvollständigkeitssatz используется более широко, и Entscheidungsproblem («проблема решения») все еще понимается, но не обязательно ассоциируется с das Halteproblem (который, кажется, более …
2
Экспонаты для музея вычислительной техники
Все известные мне компьютерные музеи и экспонаты, кажется, охватывают только историю вычислительной техники, но не затрагивают темы компьютерных наук. Вы участвуете в создании нового Музея вычислительной техники, созданного для обучения, развлечения и привлечения широкой публики к широкому кругу тем, связанных с компьютерами, информатикой, коммуникацией и математикой. Хотя история и знаменитости …
2
Отношение между Бэббиджем и фон Нейманом
Хорошо известно, что аналитическая машина Чарльза Бэббиджа имела архитектуру, сильно напоминающую современную архитектуру фон Неймана. Также примечательно, что таблицы для представления программы для аналитической машины Бэббиджа ( http://www.fourmilab.ch/babbage/figures/menat3.png ) и работы фон Неймана (такие как http://library.ias.edu) /files/pdfs/ecp/planningcodingof0103inst.pdf ) довольно аналогичны. Теперь мне интересно, есть ли какое-либо указание на то, в …
1
Стивен Кук видел значение показа того, что SAT является NP-Hard, прежде чем на самом деле это доказать?
Если я правильно понимаю, чтобы доказать, что проблема является NP трудной, вам нужно выбрать все возможные проблемы которые есть в NP, а затем доказать, что они сводятся к , используя вычислимую функцию за полиномиальное время, которая отображает экземпляры каждого к экземплярам .AAABяBяB_{i}AAABяBяB_{i}AAA Как только вы найдете первую сложную проблему NP, …
2
Ранние ссылки для дискретной оптимизации
(Извинения, если это неуместно или слишком широко. Я открыт для предложений о том, как это переформулировать.) Я заинтересован в отслеживании "древней" истории алгоритмов максимального потока и алгоритмов дискретной оптимизации в целом. Форд-Фулкерсон мой соломенный стартовый пункт. Каковы были значительные успехи до этого? Как далеко мы можем зайти, оставаясь при этом …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.