Логика

Определения из Википедии.

Логика (др. - греч. λογική — раздел философии, «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления.

Логику не следует путать с формальным стилем речи.

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

(ТФС, в одной из своей «ипостаси» и смысле, это наука о методах формализации и логике обработке данных.)

В теории моделей язык соответствует не языку в информатике, а скорее алфавиту. Язык состоит из множеств символов, функций и отношений вместе с их арностью (организационной структурой. Прим. Ред.), а также множество переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания. <… > (Которые могут быть словами (или «разбиты», состоять из слов), распознаваемыми некоторым конечным автоматом.)

(По определению в ТФС Кодом или, Словом называется множественное выражение целевой формализации. Или, код есть формализованное множественное выражение, куда входят все элементы формализации.)

Как некоторый пример формального языка можно понимать множество всех операций над {a, b}, включённых в определяемую область С.

Адаптируя определения из Википедии для нужд ТФС, и уже зная, что считая математику логикой обработки данных, можно и дать определение самой логики.

Логика — некий алгоритм обработки данных. Или целевой алгоритм обработки данных в практическом использовании. Практика включает в себя философское обоснование логики (куда входят официальные термины ТФС, такие как, — Вектор идеи и Идеализирование в представлении).

Системная логика – целеположенная. Задающая смысл направленности, или, можно сказать, является смысловой.
Логика показывается (отображается) в схемах. Принцип логической организации отображается в записи схем. Чтобы ясно себе представлять, о чём речь, лучше привести рисунок системной логики в самом общем представлении.



Рис.1

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