621.398 Р 980 Рябинин, И. А. (д-р техн.наук). Логико-вероятностное исчисление как аппарат исследования надежности и безопасности структурно-сложных систем [Текст] / И. А. Рябинин> // Автоматика и телемеханика. - 2003. - N7. - Библиогр.:c.185-186(26назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника--Автоматика и телемеханика Логика--Общие вопросы логики Математика--Математическая логика Кл.слова (ненормированные): исчисления -- логико-вероятностные исчисления -- надежность -- системы -- сложные системы -- структурно-сложные системы -- математические исследования -- дискретная математика -- вероятностная логика -- алгебра логики Аннотация: Кратко излагается понятие вероятностной логики как развитие индуктивной логики. Подчеркивается существенная разница между вероятностной логикой и логико-вероятностным исчислением - разделом математики, трактующим правила вычисления и оперирования с высказываниями, принимающими только два значения истинности (истина и ложь). Логико-вероятностные исчисления базируются на алгебре логики и правилах замещения логических аргументов в функциях алгебры логики вероятностями их истинности и логических операций арифметическими операциями. Перейти: www:http://www.apr.ru |
Брусенцов, Н. П. Компьютеризация булевой алгебры [Текст] / Н. П. Брусенцов, Ю. С. Владимирова> // Доклады Академии наук. - 2004. - Т. 395, N 1. - С. 7-10 . - ISSN 0869-5652
Рубрики: Математика Алгебра Кл.слова (ненормированные): алгебра логики -- булева алгебра -- булевы выражения -- дизъюнкция -- индивидные конъюнкции -- компьютеризация алгебры -- конъюнкция -- языки программирования Аннотация: Представление булевых выражений ДК-шкалами позволяет просто и эффективно компьютеризировать алгебру СДНФ-выражений, поскольку операции отрицания, конъюнкции и дизъюнкции этих выражений реализуются как инверсия, пересечение и объединение ДК-шкал, т. е. как побитные отрицание, конъюнкция и дизъюнкция булевых векторов, отображающих шкалы. Доп.точки доступа: Владимирова, Ю. С. |
Кузичева, З. А. Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева> // Вестник Московского университета. Сер. 7. Философия . - 2009. - N 1. - С. 53-62. - Библиогр. в примеч. - Примеч.: с. 61-62 . - ISSN 0201-7385
Рубрики: Логика Логические формы и законы Кл.слова (ненормированные): логика и техника -- логическая теория релейных систем -- технические устройства -- математическая логика -- релейно-контактные схемы -- алгебра логики Аннотация: Статья посвящена исследованию взаимного влияния процесса математизации логики и идей построения технических устройств, позволяющих решать задачи логики, а затем и применения логических средств решения задач упрощения технических устройств. |