Динамическая логика

Динамическая логика:

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

Примечания

Список значений слова или словосочетания со ссылками на соответствующие статьи.
Если вы попали сюда из другой статьи Рувики, пожалуйста, вернитесь и уточните ссылку так, чтобы она указывала на нужную статью.