полные системы
1АВТОМАТОВ ПОЛНЫЕ СИСТЕМЫ — специальные подмножества заданного класса Мавтоматов, на к ром определено нек рое множество операций со значениями в М. Эти подмножества обладают следующим основным свойством (свойством полноты): множество всех автоматов, к рые получаются путем… …
2СИСТЕМЫ С СОСРЕДОТОЧЕННЫМИ ПАРАМЕТРАМИ — (дискретные системы), системы, движение к рых может быть описано как движение конечного числа точечных объектов (строго сосредоточенные параметры) или протяжённых объектов с жёстко фиксированной внутр. структурой (параметры, сводимые к… …
3Полные китайские иероглифы — Традиционные (полные) китайские иероглифы наряду с упрощёнными, один из двух видов китайской иероглифики. Традиционные китайские иероглифы в современном начертании появилась во времена династии Хань, и более или менее стабилизировалось с V века… …
4Сервер проверки подлинности локальной системы безопасности — Сервер проверки подлинности локальной системы безопасности (англ. Local Security Authority Subsystem Service, LSASS) часть операционной системы Windows, отвечающей за авторизацию локальных пользователей отдельного компьютера. Сервис… …
5ВСТРЕЧНЫХ ПУЧКОВ СИСТЕМЫ — установки, в к рых осуществляется столкновение встречных пучков заряж. ч ц (элем. ч ц и ионов), ускоренных электрич. полем до высоких энергий (см. УСКОРИТЕЛИ). В таких установках исследуются вз ствия ч ц и рождение новых ч ц при максимально… …
6Замкнутые классы булевых функций — Замкнутый класс в теории булевых функций  такое множество функций алгебры логики, замыкание которого относительно операции суперпозиции совпадает с ним самим: . Другими словами, любая функция, которую можно выразить формулой с использованием …
7МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… …
8МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных …
9Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …
10Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …
