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

	Факультет логики
	На пути от человеческого разума, через логику к искусственному интеллекту
	Формальная логика; Математическая логика; Дискретная математика; Теория алгоритмов; Криптография; Вычислительная техника; Программирование; Когнитивная психология; Искусственный интеллект;
	Дополнительные материалы:

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

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

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

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

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

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

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

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

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

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

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

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

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

Битовая операция (или элементарная операция ^[1]) — в теории алгоритмов, криптографии запись знаков 0, 1, плюс, минус, скобка; сложение, вычитание и умножение двух битов (числа записаны в двоичной системе счисления)^[2]^[3]. Используется для оценки сложности алгоритма.
Битовая операция (или побитовая операция) — в программировании некоторые операции над отдельными битами чисел, к которым они применяются битов. ^[4] ^[5]^[6] В программировании, как правило, рассматриваются лишь некоторые виды этих операций: логические побитовые операции и побитовые сдвиги.

Примечания

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

[1] Но в вычислительной технике термин элементарная операция имеет другое значение: элементарное машинное действие, не содержащее других более простых действий. Реализация каждой команды процессора состоит из последовательного выполнения некоторого количества операций, в том числе таких, как установка регистра в нулевое положение, запись нуля в ячейки памяти, сдвиг влево или вправо на 1 разряд кода в регистре, передача информации между регистрами и другие, а также сравнение кодов, логическое сложение и умножение и т. д. Набор элементарных операций должен обеспечивать алгоритм выполнения любой системы команд процессора. Элементарная операция могут объединяться в группы, на основе которых организуется микропрограммное управление процессором. [1]

[2] Карацуба Е. А. Быстрые алгоритмы и метод БВЕ — 2008

[3] Ященко В. В. (ред.) Введение в криптографию — 2000

[4] Учебник по VisualBasic

[5] справочник терминов по SQL

[6] Справочник по JavaScript

[1]

[2]

[3]

[4]

[5]

[6]