КРИПКЕ
121Позитивизм — Позитивизм …
122Высказывание (логика) — У этого термина существуют и другие значения, см. Высказывание. Высказывание  термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки …
123Манин, Юрий Иванович — Юрий Иванович Манин Юрий Иванович Манин с женой Ксенией Глебовной Семёновой Дата рождения …
124Ролз, Джон — Джон Ролз John Rawls Дата рождения: 21 февраля 1921(1921 02 21) Дата смерти: 24 ноября 2002(2002 11 24) (81 год) …
125Модальная логика — Модальная (от лат. – способ, мера) логика логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в… …
126Список логиков —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …
127Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… …
128Кремер, Гидон Маркусович — Гидон Маркусович Кремер Дата рождения 27 февраля 1947(1947 02 27) (65 лет) Место рождения Рига Страна СССР→Латвия …