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

Вопросы о генезисе и развитии информатики как научной дисциплины и ее приложений.

97
Как не решить P = NP?

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

45
Почему исследования генетических алгоритмов замедлились?

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

39
Каково определение информатики, и что такое наука в информатике?

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

31
Почему обычный язык называется «обычный»?

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

30
Как связаны языки программирования и основы математики?

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

27
Зачем нам нужен язык ассемблера?

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

23
Почему вычислимые функции также называются рекурсивными функциями?

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

22
Какие первые статьи по информатике использовали асимптотическую сложность времени?

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

19
Кто придумал термин «машинное обучение»?

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

18
«Юджин Густман» действительно прошел тест Тьюринга?

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

16
Почему шифрование RSA стало популярным для обмена ключами?

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

15
Кто такие законодатели в Паксосе?

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

15
Почему полнота по Тьюрингу верна?

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

13
Машины с произвольным доступом только с добавлением, умножением, равенством

В литературе достаточно ясно, что ОЗУ с удельной стоимостью с примитивным умножением являются необоснованными, поскольку они не может быть смоделировано машинами Тьюринга за полиномиальное время может решить PSPACE-полные задачи за полиномиальное время Тем не менее, все ссылки, которые я могу найти...

11
Предлагая уточнения типов

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then {...