Я читаю книгу на тему информатики, но мне не хватает необходимых предпосылок. Обычно, когда я сталкиваюсь с терминами, я не понимаю, я просто ищу их, но для Универсального поиска я просто не смог найти объяснения, подходящего для читателя без опыта в области статистики / информатики. Я читал эту...
Мне было интересно, если кто-то знал происхождение модели клиент-сервер. Откуда этот термин (бумага, программное приложение,
Я только что нашел это предложение на странице 6 книги Гари и Джонсона «Компьютеры и неразрешимость». Любой алгоритм, функция сложности времени которого не может быть настолько ограниченной, называется алгоритмом экспоненциального времени (хотя следует отметить, что это определение включает в себя...
Я в некотором роде новичок, но очень интересуюсь областью вычислений и теории сложности, и я хочу разъяснить свое понимание того, как классифицировать проблемы и насколько сильно проблемы связаны с машиной, используемой для их решения. Мое понимание Стандартная машина Тьюринга - машина Тьюринга,...
Я изучаю формальные языки и системы баз производства (системы баз правил), и меня немного смущает вопрос, почему эти два слова «производство» и «правило» означают одно и то же во многих контекстах компьютерных наук. В английском языке они не означают одно и то же. Я не являюсь носителем английского...
Я не знаю, было ли это шуткой, но однажды я прочитал то, что упоминалось как формальное определение файла в системе управления версиями, такой как git, hg или svn. Это было что-то вроде математического объекта, такого как гомеоморфизм. Это была шутка или действительно теория информатики о системах...
Если нет, то что это значит, когда для некоторого состояния и некоторого символа , не существует?Qqqδ ( q , a )aaaδ( д, )δ(q,a)\delta(q,
Что означает класс сложности ? Я знаю , что ⊕ P есть класс сложности , который содержит языки А , для которых существует многочлен времени недетерминирован машина Тьюринга M такая , что х ∈ тогда и только тогда число принимающих состояний машины М на входе х нечетно.⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P}⊕...
Я новичок в машинном обучении. Я прочитал несколько статей, в которых они использовали глубокое обучение для различных применений и использовали термин «предшествующий» в большинстве случаев проектирования модели, скажем, предварительный при оценке позы человеческого тела. Может кто-нибудь...
Я думаю, что понимаю, как вырубка лесов потребляет и производит список одновременно (из функции сгиба и разворачивания - посмотрите этот хороший ответ на CodeReview здесь ), но когда я сравнил это с записью в википедии о технике, о которой говорилось «удаление деревья из программы. Я понимаю, как...
Говорят, что теория вычислимости также называется теорией рекурсии. Почему это так называется? Почему рекурсия имеет такое большое
Я читал вопрос, что последовательность и полнота означают разумность? и первое утверждение в нем говорит: Я понимаю, что разумность подразумевает последовательность. Что меня очень озадачило, потому что я думал, что разумность была более слабым утверждением, чем последовательность (то есть я думал,...
Что это значит, когда мы говорим, что алгоритм XXX асимптотически более эффективен, чем ?YYY XXX будет лучшим выбором для всех входов. XXX будет лучшим выбором для всех входов, кроме небольших. XXX будет лучшим выбором для всех входов, кроме больших. YYY будет лучшим выбором для небольших входов....
Это предшественник моего другого, более продвинутого вопроса об инспекции стека. Проверка стека - это механизм безопасности, введенный в JVM для работы с кодом, исходящим из местоположений, имеющих разные уровни доверия. Этот вопрос направлен на поиск простого описания его функциональности. Так:...
На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные 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 {...
Я смотрю на исчисление конструкций и его место в лямбда-кубе . Если я правильно понимаю, каждая ось куба может рассматриваться как добавление еще одной операции, связанной с типами, к простому типу исчисления, λ→λ→\lambda_\to . Первая ось добавляет операторы типа к термину, вторые операторы типа к...
В глубине первого дерева есть ребра, определяющие дерево (то есть ребра, которые использовались при обходе). Есть некоторые оставшиеся ребра, соединяющие некоторые другие узлы. В чем разница между поперечной кромкой и передней кромкой? Из википедии: Основываясь на этом остовном дереве, ребра...
Мне нужно краткое определение «состояния объекта» в объектно-ориентированном программировании (для статьи). Примерно полдня я искал статью, которую смогу процитировать по этой теме, но не смог ее найти. Все статьи, которые я нашел, были в основном общими статьями по объектно-ориентированному...
Означают ли «индуктивно» и «рекурсивно» очень похожие? Например, если есть алгоритм, который определяет n-dim вектор путем определения его первых k + 1 компонентов на основе определения его первых k компонентов и инициализируется с первым компонентом, вы бы назвали его работающим рекурсивно или...
Я хочу уточнить, что значит дать алгебру в качестве входных данных для алгоритма, и я не нашел много литературы по этому поводу. Итак, сначала я хочу спросить, можете ли вы порекомендовать книгу или статью, которая посвящена теме анализа сложности алгебр над полями и четко определяет решение...