Показати скорочений опис матеріалу
Функции алгебры логики и классы Поста
dc.contributor.author | Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. | |
dc.date.accessioned | 2016-02-21T15:44:05Z | |
dc.date.available | 2016-02-21T15:44:05Z | |
dc.date.issued | 1966 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/31711 | |
dc.description.abstract | Алгебра логики является одним из разделов логики, представляющим значительный интерес для приложений. В последнее время появилась серия работ, посвященных вопросам полноты тождественных преобразований, синтеза управляющих систем, их надежности и т. п., в которых используются весьма глубокие теоремы из алгебры логики. К сожалению, в литературе до сих пор отсутствуют руководства, содержащие компактное изложение результатов в этой области. Данная книга является монографией по алгебре логики. В ней систематизируются и излагаются наиболее важные факты, в том числе и те, которые в отечественной литературе раньше не встречались. Книга рассчитана на широкие круги читателей. Она будет полезна всем интересующимся вопросами логики, алгебры и теоретической кибернетики. Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. В гл. 1 второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. В гл. 2 монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы гл. 1 и формулируются теоремы о полноте. | |
dc.language.iso | Russian | |
dc.publisher | Мир | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Функции алгебры логики и классы Поста | |
dc.type | other | |
dc.identifier.aich | BOSTEFQ4HYVSV2JXDTTWSFJBFZSDHWYS | |
dc.identifier.crc32 | 585BE48E | |
dc.identifier.doi | ||
dc.identifier.edonkey | DACC9988777E2139E9CECC080949970E | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1386502 | |
dc.identifier.md5 | 10bfbe913ddd89cb94d9036e8e3c63cd | |
dc.identifier.sha1 | FRJTOJ5QXSP2BIJ5XC4SQHMBJG6DINQC | |
dc.identifier.tth | BGVXV2RZHHHWJYSBPQVA6B7JYI2OTYNCOMHYRAQ |
Долучені файли
Даний матеріал зустрічається у наступних фондах
-
Libgen [81666]