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

(а также близкие по смыслу слова и выражения)
Прямых синонимов не найдено.

Связанные слова и выражения

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: рекультивировать — это что-то нейтральное, положительное или отрицательное?

Нейтральное
Положительное
Отрицательное
Не знаю

Связанные слова (по тематикам)

  • Люди: теоретик, лингвист, языковед, рационалист, философ
  • Места: подмножество, глоссарий, подраздел, вуз, институт
  • Предметы: первооснова, кант, учебник, мозги, субстанция
  • Действия: формализация, абстрагирование, метафизик, обобщение, соотнесение
  • Абстрактные понятия: каузальность, дефиниция, абстракция, непротиворечивость, онтология

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Морфология

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

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