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

динамическая логика
мат. dynamic logic

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "динамическая логика" в других словарях:

  • Динамическая логика (цифровая электроника) — Динамическая логика (или тактированная логика)  методология разработки комбинационных схем, в частности реализуемых по технологии КМОП, применяемая при проектировании интегральных схем. В отличие от статической логики, в которой в каждый… …   Википедия

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

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ —     ЛОГИКА НАУЧНОГО ИССЛЕДОВАНИЯ в широком смысле является синонимом логики науки, в узком используется для обозначения раздела логики науки, в рамках которого исследуется динамическая, процессуальная сторона получения и обоснования научного… …   Философская энциклопедия

  • модальная логика —         МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… …   Энциклопедия эпистемологии и философии науки

  • Секвенциальная логика — Секвенциальная логика  это логика памяти цифровых устройств. Название «секвенциальная» восходит к англ. sequential. Соответствующая логика может именоваться также как последовательностная, хотя последний термин по преимуществу употребляется… …   Википедия

  • Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история …   Википедия

  • Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»