Данный текст представляет собой чрезвычайно сжатый конспект классической монографии по λ-исчислению (Х. Барендрегт, «Ламбда-исчисление. Его синтаксис и семантика», перевод с английского Г. Е. Минца ...

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

Введение или как я писал свой первый ИИ Доброго времени суток. Я написал свой первый искуственный интеллект много лет назад, когда учился в колледже. Тогда это был ИИ для змейки в необычной для ...

Когда-то, когда я устраивался на работу, мне дали набор логических тестов, которые нужно было решить за 10 минут. После собеседования, я очень пожалел, что не сфоткал их на телефон. Но сама идея ...

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

Вы скорее всего не являетесь целостным существом, если мы говорим о мыслительном процессе. У Вас есть логичные вещи в жизни? А креативные? А эмоциональные? Уверен что всё есть. А есть ли что-то ...

Как-то прошел незаметно недавний PC релиз карточной игры Magic: The Gathering, a именно: Magic: The Gathering — Duels of the Planeswalkers. Это порт игры, которая вышла годом ранее на XBOX, но с ...

Приветствую! Всем известно, что админы делятся на тех кто еще пока не делает бекапы и на тех, кто уже делает бекапы. Однако, есть мнение, что еще бывают и такие, кто свято убежден, что бекапы ...

«Появляясь время от времени на различных форумах, эта задача вызывает длительные бурные дискуссии, иногда даже с переходом на личности. И неудивительно, ведь ещё во время войны немцы, забросив эту ...

Позволю себе вольность начать серезную тему с шуточной аналогии, дабы поднять Читатель, Ваше настроение и раскрепостить сознание. Для тех кто в танке не видел классическую сагу *звездные войны* — ...