Динамическая логика (значения)
- Динамическая логика (значения)
-
Динамическая логика:
- в информатике динамическая логика (модальная логика) — раздел модальной логики, описывающий систему рассуждений, в явной форме учитывающей динамику объектов
- в цифровой электронике динамическая логика (цифровая электроника) — методология проектирования комбинационных схем
Wikimedia Foundation.
2010.
Полезное
Смотреть что такое "Динамическая логика (значения)" в других словарях:
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история … Википедия
Секвенциальная логика — Секвенциальная логика это логика памяти цифровых устройств. Название «секвенциальная» восходит к англ. sequential. Соответствующая логика может именоваться также как последовательностная, хотя последний термин по преимуществу употребляется… … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
Введенский Александр Иванович — самый крупный представитель критической философии в России. Родился в 1856 г. Окончив тамбовскую гимназию, поступил на математический факультет Московского университета, откуда перешел в петербургский, сначала тоже на математический, а через год… … Биографический словарь