Команда фрилансеров

В интуитивном представлении, под данными поднимают, например, те объекты, которые передаются в функции в качестве фактических параметров, а также объекты, которые являются результатом вычисления этих функций. При этом противопоставление данных и функций для манипуляции ими не является неизбежным. В системах высшего порядка (например, в ламбда-исчислении) объекты могут выполнять роль данных или функций в зависимости от контекста их употребления. С точки зрения реляционных систем, под данными понимают, как правило, элементы кортежей, или, иногда, сами кортежи (а под структурами данных понимается ''тип'' кортежа - т.е. список доменов, на которых определено отношение, элементом которого является кортеж). Данные при этом несут некоторую информацию - для всякого, кто может эти данные интерпретировать. Так что можно сказать, что данные - это то, что может быть интерпретировано в виде информации.Еще лучше, если данные являются формальными сущностями -- объектами некоторой заранее фиксированной ... Читать дальше »

Информатизация и компьютеризация гигантски ускоряют развитие нашего общества -- это стало общим местом. Вместе с тем за развитие и повсеместное распространение информационных технологий приходится платить, причем дорого. Из-за компьютера дети могут разучиться читать, писать и говорить

В известном смысле, Клод Шеннон изобрел Интернет. Работая инженером по электронике в Bell Labs, Шеннон разработал теорию информации, изложенную в работе "Математическая теория коммуникации", которая представляла собой приоритетную статью, опубликованную в 1948 году. Установив квантифицированные, количественные ограничения, до которых данные можно сжимать, хранить и передавать, он проложил путь для высокоскоростных коммуникаций, сжатия файлов, и передачи данных, что послужило основой для Интернет, технологий CD и DVD, и всего, что они за собой влекут. В настоящее время специалисты из Purdue University, получив 5-ти летний грант в размере 25 млн. долл. от NSF, создали Центр Науки об Информации (Science of Information Center) с целью выйти за рамки представлений Шеннона. Их целью является разработка принципов, которые охватывают такие понятия, как структура, время, пространство и семантика. Эти принципы могут помочь лучшему конструированию мобильных сетей, привести к новому пониманию резу ... Читать дальше »

В настоящее время (примерно последние 5-6 лет) в мировой системе высшего образования и научных исследованийосновное внимание уделяется развитию "computational thinking".Что это такое. Предлагаю вам самостоятельно проделать небольшое исследование.-- в любом поисковом механизме (напр, www.google.com) наберите в строке для поиска термин computational thinking-- получите примерно вот что

Здравствуйте!Я хотел бы обратиться с предложением общими усилиями разобраться в теме оптимальной редукции и попытаться составить компактное изложение материала.Есть некоторое количество работ по этой теме. Наиболее полная монография из мне известных — это «The Optimal Implementation of Functional Programming Languages». Например, в Википедии я нашёл лишь одно упоминание в контексте линейной логики (которая, кстати, тоже освещена в упомянутой книге). Мне кажется, что это упущение, и стоит осветить данные конструкции, а то дальше «call-by-need» вычислительные стратегии толком не освещены, хотя её для оптимальной редукции не достаточно.Будет замечательно, если удастся составить объяснение «на пальцах» и попытаться компактно изложить тему. Я недавно столкнулся с тем, что задавая вопросы, связанные с данной темой, на ответ расчитывать не приходится, так как порог входа неадекватно высок из-за небольшого количества менее формальных источников, чем собственно статья Леви, Лэмпинга и упомянуто ... Читать дальше »

Изначально Web представлял собой среду, состоящую из множества документов, связанных гиперссылками. Появление веб-сервисов — программных систем, обменивающихся данными через Web — приблизило его к вычислительной среде. Однако, формальная модель вычислений в Web все еще отсутствует.Сегодня повсеместное проникновение Web-технологий привело к появлению нового класса программных систем — облачных приложений. Все больше систем различного назначения предоставляются клиентам в виде «облачных» сервисов, доступных через Web (Software as a Service, SaaS). Мировыми аналитическими агентствами прогнозируется взрывной рост числа подобных систем на протяжении следующего десятилетия.Вместе с ростом числа SaaS-систем возникает необходимость развития инфраструктуры для их взаимодействия и интеграции. В подобной ситуации особенное значение получает задача преобразования Web в вычислительную среду, имеющую хорошо проработанную формальную основу. Какую специфику может иметь данная среда с т. з. аппликативн ... Читать дальше »

Какими будут системы баз данных в будущем? В нашем мире многое, если не все, развивается по спирали. Процессы или явления периодически приобретают формы, сходные с теми, которые они имели когда-то в прошлом, но внутреннее наполнение качественно иное. Системы баз данных начинались с сетеввых и иерархических моделей, которые, как считалось, отражали структуру связей между элементами предметной области. Однако эти системы обладали качественными недостатками, преодоление которых виделось в иных принципах построения СУБД. Э.Кодд предложил предложил реляционную модель, идея которой состояла в том, что рассматривались простые, в некотором смысле, "плоские" по своей структуре сущности, а также связи между ними. Предложенная теория, однако, не охватывала семантику этих связей. Позднейшие работы, в которых предпринималась попытка преодолеть эту проблему, были восприняты лишь отчасти.Существование реляционных СУБД начиналось с таких прототипов, как System R. Это была система, реали ... Читать дальше »

Поиск первооснов компьютинга в виде “кварки, атомы, молекулы компьютинга” ведет к лаконичным формулировкам и уже дает обещающие результаты. Однако ни решение общей задачи, ни разработка общего подхода все еще не осуществлены.На данный момент отыскивается семантически непротиворечивая интерпретация сложных математических конструкций.Тем не менее, подготовлено несколько диаграмм, которые отражают идею и иллюстрируют большую часть проблематики. Не так просто выйти на идеи, ведущие к действительно инновационным решениям.

Известно, что система взаимодействия на основе комбинаторов {?, ?, ?} со следующими правилами универсальна в том смысле, что может симулировать любую другую систему взаимодействия:?[?(a, b), ?(c, d)] >< ?[?(a, c), ?(b, d)];?[x, y] >< ?[x, y], ?[x, y] >< ?[y, x];? >< ?[?, ?], ? >< ?[?, ?], ? >< ?.Чтобы показать универсальность произвольной системы, достаточно предоставить три сети внутри нее, которые бы заменяли комбинаторы {?, ?, ?}, сохраняя все возможные их взаимодействия.Рассмотрим другую систему взаимодействия с агентами типов {?, ?, ?, ?}, где ? бинарен, а ? и ? — унарны. При этом зафиксируем некоторые правила:?[a] >< ?[a, ?], ?[a] >< ?[?, a];? >< ?[?, ?], ? >< ?[?], ? >< ?[?].Задача: найти такие правила ? >< ?, ? >< ?, ? >< ? и ? >< ? и сети в {?, ?, ?, ?}, заменяющие ? и ?, чтобы система была универсальна.Симулировать аннигиляции ? >< ? и ? >< ? нетрудно: достаточно выбрать ?[?( ... Читать дальше »

Здравствуйте!У меня возникла задача, которую можно сформулировать целиком в терминах языка LISP.Требуется найти такие функции encode, decode и reduce, что(decode (reduce … (reduce (encode (quote expr))) … ))для некоторого конечного количества применений reduce является результатом интерпретации выражения expr, в котором можно ограничиться переменными и lambda одного аргумента, причем возвращаемое значение encode — это рекурсивное S-выражение memory с циклами без атомов, а функция reduce должна иметь следующий вид:(lambda (memory) (set (c[ad]*r memory) (c[ad]*r memory)) (set (c[ad]*r memory) (c[ad]*r memory)) … (set (c[ad]*r memory) (c[ad]*r memory)) memory )Был бы признателен за помощь в решении данной задачи.Заранее спасибо.