Результаты поиска
Перейти к навигации
Перейти к поиску
Совпадения в названиях страниц
- ...еская семантика появилась раньше более распространённой на данной момент [[Семантика Крипке|семантики Крипке]]. Основы топологической семантики были заложены в == Топологическая семантика для модальной логики == ...5 КБ (232 слова) - 22:41, 5 января 2025
- Дистрибутивная семантика основывается на '''дистрибутивной гипотезе''': лингвистические единицы, вст ...29 КБ (762 слова) - 19:00, 26 января 2025
- '''Семантика Крипке''' является распространенной семантикой для неклассических логик, та == Семантика для интуиционистской логики == ...14 КБ (578 слов) - 14:57, 1 февраля 2025
Совпадения в текстах страниц
- ...еская семантика появилась раньше более распространённой на данной момент [[Семантика Крипке|семантики Крипке]]. Основы топологической семантики были заложены в == Топологическая семантика для модальной логики == ...5 КБ (232 слова) - 22:41, 5 января 2025
- С точки зрения [[Семантика Крипке|семантики Крипке]] S5 относится к моделям, где отношение достижимост Аксиома (5) требует, чтобы [[отношение достижимости]] <math>R</math> [[Семантика Крипке|семантики Крипке]] было [[Евклидово отношение|евклидовым]], то есть ...3 КБ (141 слово) - 10:38, 17 июня 2022
- == Семантика == ...4 КБ (225 слов) - 21:55, 23 октября 2024
- ...альных систем. Условные обозначения относятся к таблице [[Семантика Крипке|семантика Крипке § Общие схемы модальных аксиом]]. Условия фреймов для некоторых сист ...5 КБ (213 слов) - 13:43, 10 апреля 2024
- '''Семантика Крипке''' является распространенной семантикой для неклассических логик, та == Семантика для интуиционистской логики == ...14 КБ (578 слов) - 14:57, 1 февраля 2025
- == Семантика == ...7 КБ (347 слов) - 13:22, 31 марта 2024
- ...<math>\mathcal{L}</math> является символ, который имеет то же [[Формальная семантика|семантическое значение]] при любой {{iw|Логическая интерпретация|интерпрет ...2 КБ (78 слов) - 23:48, 29 июня 2023
- == Денотационная семантика == [[Денотационная семантика]] занимается поиском более подходящих моделей (называемых {{iw|Теория облас ...11 КБ (474 слова) - 07:33, 25 апреля 2021
- * [[Семантика Крипке]] ...3 КБ (69 слов) - 18:49, 22 октября 2018
- ...еская информатика|теоретической информатике]], в частности, в работах по [[Семантика (программирование)|семантике языков программирования]]. ...3 КБ (89 слов) - 10:00, 4 мая 2022
- ...а бестипового λ-исчисления|бестипового λ-исчисления]] и {{iw|денотационная семантика||en|denotational semantics}}. В частности, функции [[Лямбда-исчисление#Аппл |заглавие = Ламбда-исчисление. Его синтаксис и семантика ...12 КБ (234 слова) - 15:00, 7 июня 2016
- .... Монтегю — основатель модельно-теоретического подхода к [[лингвистическая семантика|семантике естественного языка]], часто называемого [[грамматика Монтегю|гра ...ачали поиск философски обоснованного формального анализа [[синтаксис]]а, [[семантика|семантики]] и [[прагматика|прагматики]] в рамках единой теории, охватывающе ...18 КБ (387 слов) - 22:01, 10 ноября 2023
- ...раллельных вычислений]] с [[Синтаксис (программирование)|синтаксисом]] и [[Семантика (программирование)|семантикой]], расширяющими язык [[C++]], а именно расшир == Семантика == ...16 КБ (362 слова) - 12:16, 7 ноября 2022
- [[Категория:Семантика]] ...5 КБ (100 слов) - 07:03, 20 октября 2024
- ...тся ''[[Синтаксис (логика)|синтаксической]]'', в отличие от ''[[Формальная семантика|семантической]]'' [[Теория моделей|теории моделей]]. Вместе с [[Теория моде == Теоретико-доказательная семантика == ...20 КБ (95 слов) - 06:31, 6 мая 2024
- ...ингвистика)|морфологии]], [[синтаксис]]е, [[Лексикология|лексикологии]], [[Семантика|семантике]]<ref name="ЛЭС"/>. ...6 КБ (83 слова) - 13:42, 16 декабря 2021
- ...ormal derivation of programs.''</ref>, с помощью этого метода определяется семантика [[императивное программирование|императивного программирования]] и соответс ...6 КБ (184 слова) - 23:27, 5 августа 2022
- * {{Книга|заглавие=Логика и логическая семантика: сборник трудов|автор=[[Фреге Г.]]|место=М.|издательство=Аспект Пресс|год=2 ...6 КБ (155 слов) - 20:13, 16 февраля 2025
- == Семантика бестипового λ-исчисления == ...ве этих построений была создана {{iw|Денотационная семантика|денотационная семантика|en|Denotational semantics}} [[Язык программирования|языков программирования ...26 КБ (1054 слова) - 19:36, 24 февраля 2025
- ...ониманием многосложных слов. В конечном итоге фактором сложности выступает семантика текста и абстрактность его изложения. Индикаторы на основе индексов удобочи ...7 КБ (154 слова) - 11:09, 16 сентября 2024