Карта словосочетания «логическое исчисление»

Предложения со словосочетанием «логическое исчисление»

• Современные роботы тут существенно отличаются, они моделирует интуицию, они сегодня начинают работать со схемоидами, а роботы старые работали более-менее со схемами, алгоритмами численной математики, а отнюдь не только с чистым логическим исчислением, чистым calculus.
  Анатолий Левенчук, Визуальное мышление
• Соответственно пропповские функции, тесно связанные с реальными русскими народными сказками, должны были быть заменены более абстрактными семантическими элементами, уводившими эту аналитическую систему прочь от литературы, ближе к лингвистике и к тому, что стало называться «лингвистикой текста», «нарративным анализом» и в наиболее продвинутых теориях – анализом «логического исчисления поведения» и т.п. Действительно, поиск общих правил поведения и рационального реагирования очень важен, особенно при конструировании так называемого «искусственного интеллекта».
  Димитрий Сегал, Пути и вехи. Русское литературоведение в двадцатом веке, 2011
• Нарушение закона противоречия в большинстве логических исчислений приводит к доказуемости любой сформулированной на языке этого исчисления формулы, и ясно, что такая логика не представляет никакого интереса, поскольку всё истинно и всё доказуемо.
  Ян Лукасевич, О принципе противоречия у Аристотеля. Критическое исследование, 1910
• (все предложения)