Эта статья — часть материалов: Факультет логики

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

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



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


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

править

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

 

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

править
 
And
 
Or
 
Not

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

править

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

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

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

править

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

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


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

править


Примечания

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