Рубрика «логика» - 8

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

  1. Те, кто нуждается в получении чужой информации
  2. Те, кто нуждается в защите от представителей первой категории

В некоторые моменты человек может относить себя к обеим данным категориям. Но независимо от принадлежности оным, и тех и тех интересует один и тот же вопрос: доступность некой информации. Для первых ее доступность будет плюсом, для вторых же минусом. Тут я не сказал ничего нового, просто поясняю дальнейшие рассуждения. Я рассмотрю логический процесс получения доступа к чужой информации тем или иным путем и тот же логический процесс построения защиты своей информации.
Читать полностью »

История λ-исчисления уходит в начало прошлого века. Этимология названия данного раздела математической логики, который служит основой для «computer science», следующая. Сам значек «λ» используется для одной из двух основных конструкций в созданной Черчем системе — абстракции. Оказывается, что выбор обозначения абстракции не был совершенно случайным, а сделан в противопоставление другой более ранней конструкции, которую использовали Whitehead и Russell и обозначали как «xˆ». Для новой конструкции, чтобы отличать ее от прежней, Черч заменил обозначение сначала на «∧x», а затем — на «λx», очевидно, интерпретировав первый символ как заглавную букву «Λ», для упрощения набора.

Опишем кратко систему λβη, то есть классическое бестиповое экстенсиональное λ-исчисление, сделав конспект классической монографии по λ-исчислению (Х. Барендрегт, «Ламбда-исчисление. Его синтаксис и семантика», перевод с английского Г. Е. Минца под редакцией А. С. Кузичева, Москва, «Мир», 1985).Читать полностью »

Добрый день!

Столь претензионным заголовком я хочу начать статью про одну из многих моделей исчисления (Compitational model) — рекурсивные функции. В первой части этого поста мы разберем (в кратце, ибо подробно все расписано на Википедии) теоретическую составляющую этой модели (примитивная рекурсия), во второй же половине мы попробуем претворить данную модель в жизнь (частично) с помощью языка Scala.

1. Рекурсивные функции — что это?

Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js