Здравствуйте.
Еще осенью на 2 курсе в качестве лабораторной работы по «Теории автоматов» преподаватель на ходу придумывал нам задания, ориентируяюсь на наши пожелания в оценке. В основном это были игры. Кому-то достался хоккей, кому-то теннис, мне же досталась не столь известная логическая игра «Быки и коровы».
Рубрика «логика» - 9
Метод решета в игре «Быки и коровы»
2012-08-01 в 9:49, admin, рубрики: игры, логика, Программирование, метки: игры, логика, Программирование
Логика взлома
2012-04-28 в 9:36, admin, рубрики: Dura Lex, информационная безопасность, логика, метки: dura lex, информационная безопасность, логика Добрый день. Речь в посте пойдет о самой логике мышления человека, который пытается заполучить чужую информацию и о логике потенциальных жертв этого человека.
Думаю, всех из нас можно условно поделить на две категории:
- Те, кто нуждается в получении чужой информации
- Те, кто нуждается в защите от представителей первой категории
В некоторые моменты человек может относить себя к обеим данным категориям. Но независимо от принадлежности оным, и тех и тех интересует один и тот же вопрос: доступность некой информации. Для первых ее доступность будет плюсом, для вторых же минусом. Тут я не сказал ничего нового, просто поясняю дальнейшие рассуждения. Я рассмотрю логический процесс получения доступа к чужой информации тем или иным путем и тот же логический процесс построения защиты своей информации.
Читать полностью »
Конспект монографии по λ-исчислению
2012-03-30 в 18:30, admin, рубрики: логика, ненормальное программирование, топология, метки: логика, топологияИстория λ-исчисления уходит в начало прошлого века. Этимология названия данного раздела математической логики, который служит основой для «computer science», следующая. Сам значек «λ» используется для одной из двух основных конструкций в созданной Черчем системе — абстракции. Оказывается, что выбор обозначения абстракции не был совершенно случайным, а сделан в противопоставление другой более ранней конструкции, которую использовали Whitehead и Russell и обозначали как «xˆ». Для новой конструкции, чтобы отличать ее от прежней, Черч заменил обозначение сначала на «∧x», а затем — на «λx», очевидно, интерпретировав первый символ как заглавную букву «Λ», для упрощения набора.
Опишем кратко систему λβη, то есть классическое бестиповое экстенсиональное λ-исчисление, сделав конспект классической монографии по λ-исчислению (Х. Барендрегт, «Ламбда-исчисление. Его синтаксис и семантика», перевод с английского Г. Е. Минца под редакцией А. С. Кузичева, Москва, «Мир», 1985).Читать полностью »
Рекурсивные функции — создание собственной математики (Scala)
2012-03-11 в 17:14, admin, рубрики: scala, логика, ненормальное программирование, рекурсия, метки: scala, логика, ненормальное программирование, рекурсияДобрый день!
Столь претензионным заголовком я хочу начать статью про одну из многих моделей исчисления (Compitational model) — рекурсивные функции. В первой части этого поста мы разберем (в кратце, ибо подробно все расписано на Википедии) теоретическую составляющую этой модели (примитивная рекурсия), во второй же половине мы попробуем претворить данную модель в жизнь (частично) с помощью языка Scala.