Вопросы с тегом «history»

Существует множество попыток доказать либо либо , и, естественно, многие люди задумываются над этим вопросом, имея идеи для доказательства того или иного направления.P ≠ N PP = N Pпзнак равноNп\mathsf{P} = \mathsf{NP} P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} Я знаю, что есть подходы, которые, как было доказано, не работают, и, …

97 complexity-theory  reference-request  history  p-vs-np  reference-question 

Я недавно читал о лямбда-исчислении, но, как ни странно, я не могу найти объяснения, почему оно называется «лямбда» или откуда взято выражение. Кто-нибудь может объяснить происхождение этого термина?

75 terminology  computation-models  lambda-calculus  history 

Обсуждая некоторые темы начального уровня сегодня, в том числе использование генетических алгоритмов; Мне сказали, что исследования в этой области действительно замедлились. Причина была в том, что большинство людей сосредоточено на машинном обучении и интеллектуальном анализе данных. Обновление: это точно? И если да, то какие преимущества дает ОД / ДМ по …

45 machine-learning  data-mining  evolutionary-computing  history 

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

39 terminology  history 

Я только что закончил первую главу « Введение в теорию вычислений » Майкла Сипсера, в которой объясняются основы конечных автоматов. Он определяет обычный язык как что-либо, что может быть описано конечными автоматами. Но я не мог найти, где он объясняет, почему обычный язык называется «обычный»? Каково происхождение термина «регулярный» в …

31 formal-languages  regular-languages  terminology  finite-automata  history 

В основном я знаю о трех основах математики Теория множеств Теория типов Теория категорий Итак, каким образом связаны языки программирования и основы математики? РЕДАКТИРОВАТЬ Первоначальный вопрос был «Языки программирования на основе основ математики» с добавленным парагарфом И реализации теории 1. Теория типов в Coq 2. Теория множеств в SETL 3. …

30 programming-languages  history  type-theory  category-theory 

В основном мы пишем программы на языке высокого уровня. Так что во время учебы я наткнулся на ассемблер. Таким образом, ассемблер преобразует язык ассемблера в машинный язык, а компилятор делает то же самое с языком высокого уровня. Я обнаружил, что на ассемблере есть инструкции, такие как move r1 r3, move …

27 programming-languages  education  history 

В теории вычислимости вычислимые функции также называют рекурсивными функциями. По крайней мере, на первый взгляд, они не имеют ничего общего с тем, что вы называете «рекурсивным» в повседневном программировании (т. Е. Функциями, которые сами себя вызывают). Каково реальное значение рекурсивности в контексте вычислимости? Почему эти функции называются «рекурсивными»? Другими словами: …

23 computability  terminology  history 

Когда Big O впервые использовался в информатике и когда он стал стандартом? На этой странице Википедии цитируются Кнут, Большой Омикрон, Большая Омега и Большая Тета , SIGACT, апрель-июнь 1976 года, но начало этой статьи гласит: Большинство из нас привыкли к идее использования обозначения для обозначения любой функции, величина которой ограничена …

22 asymptotics  history 

Я пытаюсь выяснить, кто придумал термин «машинное обучение». Вспомогательный вопрос - откуда Артур Самуэль назвал область «машинного обучения» в 1959 году следующим образом: область обучения, которая дает компьютерам возможность учиться без явного программирования ? Вы можете найти много, много ссылок на это определение в Интернете, но я не смог отследить …

19 terminology  reference-request  machine-learning  history 

У меня есть небольшой исторический вопрос, а именно, как следует из заголовка, я ищу раннее использование деревьев (в качестве структуры данных, дерева поиска и т. Д.) В компьютерной науке.

18 data-structures  reference-request  trees  history 

Говорят, что «Юджин Густман», компьютерная программа, разработанная для имитации 13-летнего мальчика, сумела убедить 33% судей, что это был человек, и, таким образом, прошла тест Тьюринга. Компьютерная программа, она же чатбот, притворялась 13-летним украинским мальчиком, для которого английский был вторым языком - что-то совсем другое. Для меня Евгений звучит точно так …

18 reference-request  artificial-intelligence  history  turing-test 

Это мягкий вопрос. Я не знаю много о криптографии или ее истории, но кажется, что обычное использование RSA - это обмен ключами путем шифрования симметричного ключа для отправки более длинного сообщения (например, описание iMessage здесь ). Разве это не то, для чего нужен обмен ключами Диффи-Хеллмана, который старше (а мне …

16 cryptography  history 

В оригинальной статье о распределенных системах Парламент с частичной занятостью (протокол Paxos) Лесли Лэмпорт называет выдуманных законодателей, которые участвуют в протоколе парламента Paxon. Согласно этому письму , он отмечает, что: Я дал греческим законодателям имена компьютерных ученых, работающих в этой области, транслитерированных с помощью Гибаса в поддельный греческий диалект. Есть …

15 distributed-systems  history 

Я использую цифровой компьютер, чтобы написать это сообщение. У такой машины есть свойство, которое, если подумать, на самом деле весьма примечательно: это одна машина, которая, при правильном программировании, может выполнять любые возможные вычисления . Конечно, вычислительные машины того или иного вида восходят к древности. Люди создали машины, которые предназначены для …

15 computability  turing-machines  history