Карта словосочетания «модальная логика» тезаурус сочетаемость

Сочетаемость словосочетания «модальная логика»

Сочетаемость выражений пока не поддерживается.
Ниже приведены ссылки на таблицы сочетаемости отдельных слов запроса.

Сочетаемость слова «модальный»

Предложения со словосочетанием «модальная логика»

Значение словосочетания «модальная логика»

  • Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-нибудь в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в немодальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что» (логика доказуемости). (Википедия)

    Все значения словосочетания МОДАЛЬНАЯ ЛОГИКА

Афоризмы русских писателей со словом «логика»

Отправить комментарий

@
Смотрите также

Значение словосочетания «модальная логика»

Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-нибудь в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в немодальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что» (логика доказуемости).

Все значения словосочетания «модальная логика»

Предложения со словосочетанием «модальная логика»

  • На рубеже 1920-х гг. были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т. п.

  • Стремление обогатить язык логики и расширить её возможности привело к возникновению модальной логики.

  • Это придало модальной логике новое дыхание и поставило её в центр современных логических исследований.

  • (все предложения)

Синонимы к словосочетанию «модальная логика»

Ассоциации к слову «логика»

Сочетаемость слова «модальный»

Морфология

Правописание

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я