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