Азбука математической логики, Мельников Г.П., 1967

Азбука математической логики, Мельников Г.П., 1967.

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




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

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

ОГЛАВЛЕНИЕ.
О ЧЕМ РАССКАЗЫВАЕТСЯ В ЭТОЙ КНИГЕ ОБЩИЕ ИСХОДНЫЕ ПОНЯТИЯ.
Характеристики сложных объектов.
Дискретные системы и структуры, структурные методы в науке.
Воздействие, результат, функция.
ЛОГИЧЕСКИЕ ОТНОШЕНИЯ И ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.
Основные логические отношения.
Системы счисления и номер логического отношения.
Логическое отношение импликация («если. то»).
Основные «законы» алгебры логики.
ЛОГИКА И МАТЕМАТИКА.
Сущность некоторых разделов математики.
Почему математическую логику называют логикой.
О «произвольности» логических отношений.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Азбука математической логики, Мельников Г.П., 1967 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: учебник по математике :: математика :: Мельников