Обсуждение:Гибридная логика
Перейти к навигации
Перейти к поиску
Проект «Информационные технологии» (уровень IV, важность для проекта низкая)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Проект «Математика» (уровень IV, важность для проекта низкая)
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
О терминологии[править код]
По терминологии (для начала того, что из англовики):
- Hybrid logic
- Propositional modal logic
- Expressive power - выразительная сила
- First-order logic - логика первого порядка
- Formal logic - формальная логика
- Computational tractability - вычислительная сложность
- Arthur Prior - Артур Прайор
- Tense logic - темпоральная логика
- States (possible worlds)
- Formulas - формулы
- Well-formed - правильные
- Nominal - номинал
- @ operator - оператор @
- Unique state -
- Temporal logics - временная логика
- Operators - операторы, операции
- Model theory - теория моделей
- Proof theory - теория доказательств
- Logical analysis - логический анализ
- Description logic - дескрипционная логика
- Assertional (ABox) reasoning - построение (ABox) рассуждений над утверждениями
- Terminological (TBox) reasoning - построение терминологических (TBox) рассуждений
РоманСузи (обс.) 08:25, 28 июня 2023 (UTC)
- Благодарю, исправлю XMHNHMX (обс.) 09:31, 28 июня 2023 (UTC)
- В общем, извините, тема интересная — я привел в лучший вид, но постарайтесь расставить сноски — я так и не понял, откуда были взяты эти цифирки 2, 3 и т. д. Заодно отпатрулировал, так как вроде теперь удовлетворяет требованиям к статьям. РоманСузи (обс.) 13:57, 28 июня 2023 (UTC)
- Супер, вы лучший учитель, которого я видел за последнее время, благодарю искренне, а ссылки на источники, это внешние ссылки, через мобильный редактор особо тяжко проставить, одна страница в кэше только сохранилась, оригинал нынче недоступен (удалён по неведомой причине) 😊 XMHNHMX (обс.) 14:42, 28 июня 2023 (UTC)
- Понятно. Там были только значки типа и т.п., поэтому я их удалил, так как непонятно на что они ссылались... Хотя бы приблизительно поставьте если помните, например, так: (имя автора, год) - я смогу посмотреть и проставить. Спасибо - до этого как-то не обращал внимания на гибридную логику. РоманСузи (обс.) 14:49, 28 июня 2023 (UTC)
- Как вы оцениваете и относитесь к нечёткой логике? (между словом, вопрос =)) XMHNHMX (обс.) 14:44, 28 июня 2023 (UTC)
- Это наверное Нечёткая логика? Отношусь нормально, а что с ней не так? РоманСузи (обс.) 14:51, 28 июня 2023 (UTC)
- Супер, вы лучший учитель, которого я видел за последнее время, благодарю искренне, а ссылки на источники, это внешние ссылки, через мобильный редактор особо тяжко проставить, одна страница в кэше только сохранилась, оригинал нынче недоступен (удалён по неведомой причине) 😊 XMHNHMX (обс.) 14:42, 28 июня 2023 (UTC)
- В общем, извините, тема интересная — я привел в лучший вид, но постарайтесь расставить сноски — я так и не понял, откуда были взяты эти цифирки 2, 3 и т. д. Заодно отпатрулировал, так как вроде теперь удовлетворяет требованиям к статьям. РоманСузи (обс.) 13:57, 28 июня 2023 (UTC)
