3
ответа

Пример реального мира Объединения в Логике первого порядка?

Я знаю, что это - только часть вопроса о программировании, но в данный момент, я делаю определенное логическое программирование. Одной вещью, которую я все еще не понимаю правильно, является Объединение в Логике первого порядка. Я...
вопрос задан: 2 June 2010 21:36
3
ответа

Действительно ли возможно иметь regexp, который соответствует всем действительным регулярным выражениям?

Действительно ли возможно обнаружить, если данная строка является действительным регулярным выражением, с помощью просто регулярные выражения? Скажите, что у меня есть некоторые строки, которые могут или не могут быть действительными регулярными выражения
вопрос задан: 25 May 2010 17:19
3
ответа

Повышение моего GA с Нейронными сетями и/или Изучением Укрепления

Как я упомянул в предыдущих вопросах, которые я пишу приложению решения лабиринта, чтобы помочь мне узнать о большем количестве теоретических предметов CS, после некоторой проблемы у меня есть Генетический алгоритм, работающий, который может...
вопрос задан: 10 April 2010 00:17
3
ответа

Подобный языку C без ПУСТОГО УКАЗАТЕЛЯ?

Привет я недавно смотрел старое видео о том, как нулевые указатели были ошибкой за миллиард долларов. Он указывает и на C# и на Java, поскольку они имеют проверки на этапе выполнения, но не полностью устраняют его достаточно и...
вопрос задан: 31 January 2010 21:57
3
ответа

Насколько дорогой вызовы функции в JavaScript?

Я смотрел на код JavaScript других людей, и я заметил, что многие программисты склонны создавать функции, которые могли быть объединены с функциями, которые называют их. Один пример...
вопрос задан: 17 January 2010 08:25
3
ответа

Выразительность формального языка шаблонов Perl

Классические регулярные выражения эквивалентны конечным автоматам. Актуальнейшие реализации "регулярных выражений" не являются строго говоря регулярными выражениями, но более мощны. Некоторые люди...
вопрос задан: 7 December 2009 15:40
3
ответа

Механизм правил по сравнению с экспертной системой

Каково различие между механизмом правил и экспертной системой? Example1: Скажем, то, что у меня есть программа, которая определяет дату истечения срока новых водительских прав. Это берет исходные данные как виза...
вопрос задан: 6 November 2009 15:04
3
ответа

Реальное использование объектов привязки в рубине

Вчера вечером я думал о том, что я думаю, совершенствуются рубиновые функции языка, а именно, Продолжения (callcc) и Объекты привязки. Я имею в виду усовершенствованный, потому что у меня есть oo со статическим контролем типов langages...
вопрос задан: 22 October 2009 09:07
3
ответа

Как определить высоту дерева рекурсии от рекуррентного соотношения?

Как каждый идет об определении высоты дерева рекурсии, созданного при контакте со временем выполнения повторения? Как это отличается от определения высоты регулярного дерева? сопроводительный текст http://...
вопрос задан: 29 August 2009 15:47
3
ответа

Как я организую многопоточный доступ к графику?

Я уточняю по проблеме, которая кажется трудной мне, и я не ожидаю простого решения, но возможно существуют доказанные методы или дополнительные материалы для чтения, которые могли бы сделать это легче. Я вполне уверен это...
вопрос задан: 21 July 2009 14:18
3
ответа

Как плавание, и удваивается представленный в C++ (gcc)?

Как плавающие точки представлены и интерпретированы компилятором. Я пытаюсь понять что, таким образом, я могу легко интерпретировать то, что массив байтов означал бы для плаваний и удваивает.Спасибо
вопрос задан: 15 July 2009 14:09
3
ответа

Структура данных для хранения разреженных матриц

Я должен сделать некоторые операции математики на разреженных матрицах. Я заметил, что использование массивов не может быть самым эффективным способом использовать мою память, тем более, что матрицы могут иметь более чем 200 строк. Я...
вопрос задан: 12 June 2009 22:49
3
ответа

Разница между дискретными структурами и дискретной математикой

Я еще не нашел хороший ответ. Или любой ответ, в этом отношении. Меня попросили преподавать дискретные структуры для курса CS, но в то же время убедитесь, что это не дискретный курс математики ...
вопрос задан: 14 April 2009 18:38
3
ответа

Решение водной проблемы кувшина

В то время как прочтение некоторой лекции отмечает на предварительной теории чисел, я столкнулся с решением полить проблему кувшина (с двумя кувшинами), который суммирован как таким образом: Используя свойство G.C.D два...
вопрос задан: 14 March 2009 09:21
2
ответа

Почему я иногда слышу термин “лексическая переменная?”

Я видел термин "лексическая переменная" несколько раз, главным образом в контексте закрытий. Paul Graham использует термин в своих книгах по Lisp, относящемуся к переменным, определенным с помощью выражения, которому позволяют. Я...
вопрос задан: 19 March 2018 10:26
2
ответа

В Обработке естественного языка, какова цель разделить на блоки?

В Обработке естественного языка, какова цель разделить на блоки?
вопрос задан: 18 January 2018 16:15
2
ответа

Интеллектуальное завершение кода? Там AI должен написать код путем изучения?

Я задаю этот вопрос, потому что я знаю, что существует много начитанных типов CS на здесь, кто может дать четкий ответ. Я задаюсь вопросом, существует ли такой AI (или исследуется/разрабатывается), что это...
вопрос задан: 19 September 2017 17:39
2
ответа

Почему стратегия оценки вызова по значению не полна по Тьюрингу?

Я читаю статью о различных стратегиях оценки (я связал статью в Wiki, но я читаю другой не на английском языке). И это говорит это, в отличие от этого, стратегиям вызова по имени и вызова по необходимости...
вопрос задан: 23 May 2017 11:45
2
ответа

Самый длинный простой контур

Так, я понимаю проблему нахождения, что самый длинный простой контур в графике является NP-трудным, так как Вы могли затем легко решить гамильтонову проблему со схемой путем установки веса ребра на 1 и наблюдения если...
вопрос задан: 4 April 2017 23:26
2
ответа

Каков некоторый обязательный для чтения EWDs? [закрытый]

Dijkstra был одним из самых продуктивных программистов. Он записал известный EWDs. Не выполнимо считать их всех. Но я думаю, что существуют некоторые, что все мы должны считать. Кто из них является обязательным для чтения?
вопрос задан: 28 September 2016 12:47
2
ответа

Ищу языки, не являющиеся полными по Тьюрингу

Я немного знаю о том, что такое машина Тьюринга и полный по Тьюрингу язык, но, чтобы лучше понять, может ли кто-нибудь привести примеры языков что не является полным по Тьюрингу? (может быть, даже машины ...
вопрос задан: 14 April 2015 06:33
2
ответа

Что означает то, чтобы два двоичных дерева были изоморфны?

Что означает то, чтобы два двоичных дерева были изоморфны? Я выглядел онлайн, и я, может казаться, не нахожу четкое объяснение. Насколько я понимаю, два дерева изоморфны, если у них есть то же...
вопрос задан: 21 September 2014 12:21
2
ответа

Какая лучшая книга по биоинформатике для программиста? [закрыто]

Я аспирант, интересующийся исследованиями в области биоинформатики. У меня нет хорошего опыта работы с биологией. Какая лучшая книга по биоинформатике для программиста?
вопрос задан: 25 December 2013 22:11
2
ответа

Действительно ли язык = {0^n 1^n 0^n} свободный контекст?

Я просто помещал некоторую мысль в различные языки (поскольку я рассматриваю для итоговых экзаменов, подходящих), и я не могу думать о допустимых автоматах с магазинной памятью для обработки языка = {0^n 1^n 0^n | n> = 0}....
вопрос задан: 16 December 2012 16:04
2
ответа

Что делает это означает: O (n) шаги и O (1) пространство?

Что делает O (1) среднее пространство? Я понимаю, что O (n) шаги похож на порядок величины вычислений, которые делает алгоритм/программа, но не знайте, каков O (n) пространство.
вопрос задан: 19 September 2012 12:24
2
ответа

Что 'предикат' означает в контексте информатики? [дубликат]

Конкретно я видел, что это использовало в контексте текстовой фильтрации. Как будто "предикат" == "фильтрует критерии". Действительно ли это точно?
вопрос задан: 12 July 2010 18:07
2
ответа

Где получить все версии x86 иначе руководства Архитектуры системы команд IA32

Я знаю о Intel 64 и Руководствах Разработчика программного обеспечения Архитектуры IA-32. Я также знаю, что они покрывают весь и старый процессор ISAs прежней версии. Но я хочу отдельное руководство (тот это...
вопрос задан: 4 July 2010 15:02
2
ответа

Вычисление вероятности системного отказа в распределенной сети

Я пытаюсь создать математическую модель доступности файла в распределенной файловой системе. Я отправил этот вопрос в MathOverflow, но это могло бы также быть классифицировано как вопрос CS так я...
вопрос задан: 24 June 2010 14:46
2
ответа

Создать “соединение” из графика?

Эти проблемные запахи как должны быть ответом в теории графов, но она точно не соответствует ни одной из проблем теории графов, которые я знаю. (Отметьте: это - на самом деле реальная проблема, беллетризованная...
вопрос задан: 25 May 2010 13:59
2
ответа

Почему {a^nb^n | n> = 0} не регулярный?

В курсе CS я беру существует пример языка, который не является регулярным: {a^nb^n | n> = 0} я могу понять, что это не является регулярным, так как никакой Автомат/Машина Конечного состояния не может быть записан...
вопрос задан: 18 May 2010 13:39