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

Факультет логики
| ||||

На пути от человеческого разума, через логику к искусственному интеллекту | ||||

| ||||

| ||||

Дополнительные материалы:
|


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





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



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

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

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

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

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

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

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

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

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



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

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



## Примечания

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



Заготовка статьи | Это черновой вариант статьи. Вы можете помочь проекту, исправив и дополнив её.
|