Перейти к содержанию

От логики до ИИ

Материал из Викиверситета
Эта статья — часть материалов: Факультет логики
Факультет логики
На пути от человеческого разума, через логику к искусственному интеллекту
Дополнительные материалы:

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



Ниже сырой материал, который будет использован в курсе обучения.


Логические операции (Логические связки)

[править]

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

Математическая логика

[править]
And
Or
Not

Математическая логика

[править]

В математической логике логические операции соответствуют логическими связками в суждениях из формальной логике (которым в математической логике соответствуют высказывания). Но не логическим операциям над понятиями, операции над которыми уже в математической логике не рассматриваются.

В качестве основных обычно называют конъюнкцию ( или &), дизъюнкцию (), импликацию (), отрицание (). В смысле классической логики логические связки могут быть определены через алгебру логики. В асинхронной секвенциальной логике определена логико-динамическая связка в виде операции венъюнкции ().

Программирование

[править]

Логические операции в программировании как правило служат для управления программой в зависимости от значения каких-то логических выражений или переменных. Наиболее известны конъюнкция (&&), дизъюнкция (||), отрицание (!).

Их нередко путают с битовыми операциями, хотя это разные вещи.


Битовая операция

[править]


Примечания

[править]
  1. Но в вычислительной технике термин элементарная операция имеет другое значение: элементарное машинное действие, не содержащее других более простых действий. Реализация каждой команды процессора состоит из последовательного выполнения некоторого количества операций, в том числе таких, как установка регистра в нулевое положение, запись нуля в ячейки памяти, сдвиг влево или вправо на 1 разряд кода в регистре, передача информации между регистрами и другие, а также сравнение кодов, логическое сложение и умножение и т. д. Набор элементарных операций должен обеспечивать алгоритм выполнения любой системы команд процессора. Элементарная операция могут объединяться в группы, на основе которых организуется микропрограммное управление процессором. [1]
  2. Карацуба Е. А. Быстрые алгоритмы и метод БВЕ — 2008
  3. Ященко В. В. (ред.) Введение в криптографию — 2000
  4. Учебник по VisualBasic
  5. справочник терминов по SQL
  6. Справочник по JavaScript