Дивитися що таке "значення атомарної змінної" в інших словниках:
Атомарна операція - Атомарні операції операції, що виконуються як єдине ціле або не виконуються зовсім. Атомарність операцій має особливе значення в багатопроцесорних комп'ютерах (і багатозадачних операційних системах), так як доступ до неподільні ... ... Вікіпедія
ЛОГІЧНІ ОБЧИСЛЕННЯ - формалізації змістовних логічний. теорій; виведені об'єкти Л. п. інтерпретуються як судження, складені з найпростіших (мають, взагалі кажучи, суб'єктно предикатную структуру) за допомогою пропозіціональних зв'язок і кванторів. Найчастіше ... ... Математична енциклопедія
Атомарні операції - атомарні операції операції, що виконуються як єдине ціле або не виконуються зовсім. Атомарність операцій має особливе значення в багатопроцесорних комп'ютерах (і багатозадачних операційних системах), так як доступ до неподільні ... ... Вікіпедія
Логіка предикатів - розділ математичної логіки (Див. Логіка), що вивчає логічні закони, загальні для будь-якої області об'єктів дослідження (що містить хоч один об'єкт) з заданими на цих об'єктах предикатами (т. Е. Властивостями і відносинами). В результаті ... ... Велика радянська енциклопедія
Дескріпціонная логіка - Описові логіки [1] або дескріпціонние логіки [2] [джерело не вказано 861 день] (скор. ДЛ, англ. Description logics, іноді використовується неточний переклад: дескриптивні логіки) сімейство мов представлення знань ... Вікіпедія