Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- '''Семантика Кріпке''' є поширеною семантикою для некласичних логік, таких як [[інтуїціо == Семантика для модальної логіки == ...3 КБ (139 слів) - 11:02, 29 червня 2021
- ...я заперечення в логічному програмуванні, поряд із [[Заперечення як відмова#Семантика повноти|повнотою програми]] та {{нп|Добре обґрунтовані семантики|добре обґр ...уміти правило із запереченням як відповідну формулу автоепістемної логіки. Семантика стійких моделей в її найпростішому вигляді може розглядатися як переформулю ...46 КБ (1715 слів) - 05:10, 7 липня 2022
Збіги в текстах сторінок
- '''Семантика Кріпке''' є поширеною семантикою для некласичних логік, таких як [[інтуїціо == Семантика для модальної логіки == ...3 КБ (139 слів) - 11:02, 29 червня 2021
- == Семантика Planner == == Семантика Prolog == ...12 КБ (595 слів) - 23:15, 22 березня 2022
- == Семантика == ...перекладено|Топологічна семантика|топологічна семантика|ru|Топологическая семантика}} та ряд інших. ...9 КБ (320 слів) - 07:05, 5 березня 2025
- == Денотаціонна семантика == Денотаціонна [[семантика]] займається пошуком більш відповідних моделей, яких називають областями, в ...8 КБ (433 слова) - 23:46, 9 грудня 2024
- ...rary/dissertations/poliakov.pdf Поляков Сергій Анатолійович - Композиційна семантика ядра SQL-подібних мов]</ref> ...2 КБ (162 слова) - 21:37, 4 липня 2023
- == Синтаксис і семантика == === Семантика === ...14 КБ (265 слів) - 01:56, 8 лютого 2025
- == Представлення та семантика == ...9 КБ (528 слів) - 18:14, 9 травня 2022
- * [[Семантика]] ...3 КБ (58 слів) - 17:04, 8 лютого 2025
- == Семантика == ...11 КБ (792 слова) - 22:50, 7 листопада 2022
- [[Семантика логіки|семантичне значення]] при будь-якій [[Інтерпретація|інтерпретації]] ...3 КБ (105 слів) - 16:58, 8 лютого 2025
- ...их змінним, які зустрічаються в виразі; визначення значення залежить від [[Семантика|семантики]] приписуваній символам у виразі. Ці правила можуть визначити, що ...ови]] для загальних міркувань з приводу як будуються вирази, і [[формальна семантика|формальну семантику]] для питань стосовно змісту приписуваному виразам. ...7 КБ (244 слова) - 23:36, 2 грудня 2024
- ...исловлювання можна оцінювати як істинні та неістинні. [[Теоретико-доказова семантика|Теоретико-доказові]] параконсистентні логіки зазвичай відкидають один із кр ...10 КБ (252 слова) - 19:43, 24 березня 2022
- ...ожнюється]] з істиною функції, яка приймає істину хибністю та навпаки. У [[Семантика Кріпке|семантиці Кріпке]], заперечення — це теоретико-множинне [[допов == Семантика Кріпке == ...17 КБ (502 слова) - 21:47, 19 січня 2025
- ...ня|паралельних обчислень]] з [[Синтаксис (програмування)|синтаксисом]] і [[Семантика (програмування)|семантикою]], розширюють мову [[C++]],а саме розширенням йо == Семантика == ...16 КБ (439 слів) - 12:03, 29 листопада 2024
- ...теорію ''T'' (закрито під правила посилення) може бути задана структурою [[Семантика Кріпке|моделі]] '' T '', називається канонічної моделлю. ...4 КБ (112 слів) - 11:55, 29 березня 2022
- ...замість [[Булева алгебра|булевої алгебри]]. Інша семантика використовує [[Семантика Кріпке|модель Кріпке]]. ...аксіому будь-яку класичну тавтологію, яка не припустима в двоелементному [[Семантика Кріпке|кадрі Кріпке]] <math>\circ{\longrightarrow}\circ</math> (іншими слов ...41 КБ (1743 слова) - 06:04, 29 травня 2024
- [[Категорія:Семантика]] ...5 КБ (158 слів) - 19:12, 18 грудня 2023
- == Семантика == ...20 КБ (1135 слів) - 16:10, 1 липня 2024
- [[Категорія:Семантика]] ...7 КБ (218 слів) - 02:26, 5 лютого 2025
- === Формальна семантика === ...мантику]], [[алгебраїчна семантика|алгебраїчну семантику]] та [[операційна семантика|операційну семантику]]. ...33 КБ (1694 слова) - 20:53, 30 липня 2024