Результаты поиска
Перейти к навигации
Перейти к поиску
Совпадения в названиях страниц
- ...иом <math>(\neg \neg A) \to A</math><ref>''В. Е. Плиско'' Интуиционистская логика. — Математический энциклопедический словарь. — М., [[Советская энциклопедия * ''[[Новиков, Пётр Сергеевич|Новиков П. С.]]'' Конструктивная математическая логика с точки зрения классической. — М., 1977. ...4 КБ (225 слов) - 21:55, 23 октября 2024
- ...звание «секвенциальная» восходит к {{lang-en|sequential}}. Соответствующая логика может именоваться также как ''последовательностная'', хотя последний термин Секвенциальная логика отличается от [[Комбинационная логика|комбинационной логики]] тем, что моделирует цифровые устройства с учётом пр ...9 КБ (269 слов) - 15:21, 29 января 2022
- ...теоретическая логика''{{sfn|Гильберт, Аккерман|1947|с=5}}, ''символическая логика''{{sfn|Бродский|1972|с=3}}, <small>устар.</small> ''логи́стика''<ref>{{БСЭ3 ...емая с помощью математических методов''»<ref>С. К. Клини, ''Математическая логика'', М., 1973, с.12.</ref>. ...42 КБ (271 слово) - 20:34, 26 февраля 2025
- {{не путать|Комбинаторная логика}} ...рии функционирования цифрового устройства. Другими словами, секвенциальная логика предполагает наличие памяти, которая в комбинационной логике не предусмотре ...7 КБ (280 слов) - 23:31, 14 октября 2020
- ...ктурными логиками являются [[релевантная логика|релевантная]] и [[линейная логика|линейная]]. ...равило на том основании, что ''B'' явно не имеет отношения к [[Заключение (логика)|заключению]]. ...11 КБ (210 слов) - 09:05, 15 сентября 2024
- ...предикатов|логики предикатов]], синтаксически же они близки к [[модальная логика|модальным логикам]]. ...и «конце́пт» и «роль», соответствующими в других разделах [[математическая логика|математической логики]] понятиям «одноместный предикат» (или множество, кла ...64 КБ (2079 слов) - 04:43, 26 января 2025
- ...ая система|формальных систем]], существенно отличающихся от [[Классическая логика|классических логик]] путём различных вариаций законов и правил (например, л Понятие «[[философская логика]]» нередко трактуется как обобщающее для всех неклассических логик, хотя те ...14 КБ (507 слов) - 02:39, 14 сентября 2024
- '''Паранепротиворечивая логика''' — стремление [[Формальная система|формальной системы]] к решению проблем В [[Классическая логика|классической логике]], а также в [[Интуиционистская логика|интуиционистской]] и большинстве других логик, противоречия [[Умозаключение ...59 КБ (2079 слов) - 12:47, 13 марта 2025
- ...ии]]. Кроме того, данная логика может быть охарактеризована как [[линейная логика]] с ослаблением. Название «аффинная логика» ассоциируется с [[Линейная логика|линейной логикой]], от которой она отличается тем, что допускает правило ос ...5 КБ (133 слова) - 17:36, 9 апреля 2024
- ...тематика|математики]], являющийся обобщением классической [[Математическая логика|логики]] и [[теория множеств|теории множеств]], базирующийся на понятии [[н ...ислительных системах<ref>В. В. Круглов, M. И. Дли, Р. Ю. Голунов. Нечеткая логика и искусственные нейронные сети. — М.: Физматлит, 2000. — 224 с. ISBN 5-9405 ...34 КБ (854 слова) - 09:14, 26 февраля 2025
- ...на́я логика''; {{lang-en|temporal logic}}) — [[логика]], в [[Высказывание (логика)|высказываниях]] которой учитывается временной аспект. Используется для опи ...одор Крон]], и [[Стоицизм|стоики]]. Современная символическая темпоральная логика, впервые концептуализированная и сформулированная в 1950-е годы {{iw|Прайор ...12 КБ (703 слова) - 03:25, 3 января 2024
- ...м, что человек халатно относится к своим обязанностям» (см.: [[Тавтология (логика)|Тавтология]]). В отдельных случаях такие определения всё же допускаются (с # [[Род (логика)|Родовой признак]] должен указывать на ближайшее широкое понятие, не переск ...21 КБ (149 слов) - 12:01, 25 января 2025
- '''Литерал''' в [[Булева функция|теории булевых функций]] и [[логика высказываний|логике высказываний]] — [[булева формула]], имеющая вид <math> В [[Логика первого порядка|логике первого]] или [[Логика высшего порядка|высших]] порядков '''литералом''' называют либо [[атомарная ...2 КБ (56 слов) - 12:42, 25 июля 2024
- ...ushnero/asynchronous/Zemanek.pdf Г. Цеманек, "Последовательная асинхронная логика, " Mеждународный симпозиум ИФАК Теория конечных и вероятностных автоматов 1 [[Категория:Математическая логика]] ...193 КБ (13 823 слова) - 17:18, 12 марта 2025
- ...718072845/https://rscf.ru/project/16-11-10252/ |deadlink=no }}</ref>. Хотя логика также изучалась сама по себе, идеи линейной логики находят применения во мн ...[[Линейная функция|линейную функцию]], что и дало начало термину «Линейная логика»{{sfn|Ломазова|2004}}. ...18 КБ (979 слов) - 09:14, 6 июня 2024
- '''Выска́зывание''' в [[Математическая логика|математической логике]] — предложение, выражающее [[суждение]]. Если сужден ...ак нерасчленённое целое, суждение является абсолютным единством [[Субъект (логика)|субъекта]] и [[Объект (философия)|объекта]], которые связаны между собой п ...18 КБ (159 слов) - 14:03, 20 октября 2024
- {{не путать|Комбинационная логика|комбинационной логикой|способом соединения логических элементов в цифровых ...ов|1971}}. В [[дискретная математика|дискретной математике]] комбинаторная логика тесно связана с [[лямбда-исчисление]]м, так как описывает вычислительные пр ...14 КБ (454 слова) - 13:03, 10 февраля 2025
- '''Предложение''' (в [[логика предикатов|логике предикатов]]) — это корректно сформированная формула <mat * [[Клини, Стивен Коул|Клини С.]] — Математическая логика. ...2 КБ (36 слов) - 07:14, 1 июля 2023
- ...специальная логическая система, в которой при операциях с [[Высказывание (логика)|высказываниями]] не применяется ни [[закон исключённого третьего]], ни то ...инимальная логика является результатом пересмотра принципов [[Классическая логика|классической логики]]. ...5 КБ (57 слов) - 21:53, 4 ноября 2024
- ...2024}} [[многозначная логика]], является простейшим расширением [[двоичная логика|двузначной логики]]. ...им значением «неопределённость», занимающую (в сравнении с [[Вероятностная логика|вероятностной логикой]]) весь интервал <math>(0,1)</math>. Примером значени ...23 КБ (717 слов) - 19:35, 21 декабря 2024
Совпадения в текстах страниц
- '''Классическая модальная логика''' — [[модальная логика]] <math>\mathbf L</math>, содержащая, в качестве [[Аксиома|аксиомы]] или [[ Двойственное определение — модальная логика <math>\mathbf L</math> является классической [[тогда и только тогда]], когд ...2 КБ (98 слов) - 13:45, 10 апреля 2024
- '''Закон Пи́рса''' — один из [[закон (логика)|законов]] [[классическая логика|классической логики]], аналог законов [[Закон двойного отрицания|двойного о ...онистская логика|интуиционистской логики]], превращает её в [[классическая логика|классическую]]. То же самое происходит при добавлении [[закон двойного отри ...3 КБ (76 слов) - 08:45, 28 июня 2022
- ...а''', '''элементарная формула''' или просто '''атом''', в [[математическая логика|математической логике]] — простейший случай [[Булева формула|логической фор ...сывается атомом ''БОЛЬШЕ''(x,3), где [[предикат]] ''БОЛЬШЕ'' [[истинность (логика)|истинен]], когда первый [[Функция (математика)#Определения|аргумент]] боль ...2 КБ (55 слов) - 11:59, 1 июня 2024
- ...ми — по крайней мере одно из них ложно<ref>Кириллов В. И., Старченко А. А. Логика: учебник для юридических вузов.</ref>. ...кая система|логические системы]], в которых он не соблюдается, например, [[логика Клини]]. ...3 КБ (27 слов) - 15:26, 1 марта 2022
- ...], [[Тавтология (логика)|тавтологиями]], аппаратом вывода с [[Подстановка (логика)|подстановками]] и ''[[modus ponens]]''. Синтаксис при этом дополнен модаль * [[Модальная логика]] ...3 КБ (141 слово) - 10:38, 17 июня 2022
- В [[логика|логике]] '''теория''' — это множество формул некоторого [[язык (логика)|языка]]. ...ьная логика''' и '''нормальная модальная логика''' (см. статью [[модальная логика]]). ...4 КБ (60 слов) - 05:56, 9 июня 2022
- ...[Литерал (математическая логика)|литералов]] (переменных и их [[Отрицание (логика)|отрицаний]]): ....org/web/20090207190044/http://olddesign.isu.ru/~slava/do/disc/prlogic.htm Логика высказываний] ...2 КБ (76 слов) - 15:27, 10 марта 2025
- '''Литерал''' в [[Булева функция|теории булевых функций]] и [[логика высказываний|логике высказываний]] — [[булева формула]], имеющая вид <math> В [[Логика первого порядка|логике первого]] или [[Логика высшего порядка|высших]] порядков '''литералом''' называют либо [[атомарная ...2 КБ (56 слов) - 12:42, 25 июля 2024
- ...] закон, связывающий [[Импликация|импликацию]] («если, то») и [[Отрицание (логика)|отрицание]]. Назван в честь немецкого математика — [[Клавий, Христофор|Хри |заглавие = Логика. Учебник для гуманитарных факультетов ...2 КБ (30 слов) - 07:49, 4 февраля 2022
- ...бщезначимыми''''', или '''''тождественно истинными''''', или [[Тавтология (логика)|тавтологиями]]. Всякая общезначимая формула выражает логический закон. Вме ...ледует, что все общезначимые предикатные формулы и только они выводимы в [[Логика первого порядка|классическом исчислении предикатов]]. ...4 КБ (14 слов) - 22:02, 18 сентября 2023
- ...огообразий дуально [[Изоморфизм|изоморфна]] решётке [[Нормальная модальная логика|нормальных модальных логик]]. ...h>\Box (-\Box x \lor x) = \Box x</math>; алгебры Магари соответствуют {{iw|Логика доказуемости|логике доказуемости|en|Provability logic}}. ...3 КБ (111 слов) - 10:23, 24 июля 2023
- ...ии]]. Кроме того, данная логика может быть охарактеризована как [[линейная логика]] с ослаблением. Название «аффинная логика» ассоциируется с [[Линейная логика|линейной логикой]], от которой она отличается тем, что допускает правило ос ...5 КБ (133 слова) - 17:36, 9 апреля 2024
- ...[[Общезначимость|общезначим]], то при добавлении дополнительных [[Посылка (логика)|посылок]], его невозможно сделать [[Ложь|ложным]]<ref>Hedman, p. 14.</ref> ...азываются монотонными логиками, поскольку они отличаются от [[Немонотонная логика|немонотонных логик]]. ...5 КБ (65 слов) - 18:17, 9 апреля 2024
- '''Теорема о существовании модели''' — утверждение [[логика первого порядка|логики первого порядка]], согласно которому любое непротиво | заглавие = Математическая логика ...2 КБ (43 слова) - 23:10, 19 сентября 2015
- ...а естественного вывода, а <math>\mathrm{N_{i}}</math> — [[Интуиционистская логика|интуиционистская]] система естественного вывода. * {{публикация|книга|заглавие=Математическая логика. Курс лекций: Учеб. пособие для студентов вузов|ссылка=https://obuchalka.or ...2 КБ (87 слов) - 23:58, 16 ноября 2023
- ...дение|суждениях]], [[Заключение (логика)|заключениях]] и [[Доказательство (логика)|доказательствах]] понятие, означающее следствие, '''вывод''' в отношении [[Категория:Логика]] ...2 КБ (59 слов) - 18:45, 23 декабря 2021
- ...я''' ({{lang-la|reductio}} — сведение, возведение, приведение обратно) — [[логика|логический]] приём [[моделирование|преобразования]] каких-либо [[данные|дан |, где t — произвольный '''[[Терм (логика)|терм]]''' ...3 КБ (207 слов) - 12:15, 4 апреля 2016
- '''Сигнату́ра''' в [[Математическая логика|математической логике]] и [[Универсальная алгебра|универсальной алгебре]] — [[Категория:Математическая логика]] ...2 КБ (32 слова) - 09:32, 13 марта 2025
- '''Предложение''' (в [[логика предикатов|логике предикатов]]) — это корректно сформированная формула <mat * [[Клини, Стивен Коул|Клини С.]] — Математическая логика. ...2 КБ (36 слов) - 07:14, 1 июля 2023
- '''Теорема Лёба''' — теорема в [[Математическая логика|математической логике]] о взаимосвязи между доказуемостью утверждения и сам ...включающей [[Аксиомы Пеано|аксиоматику Пеано]], для любого [[Высказывание (логика)|высказывания]] <math>P</math> доказуемость высказывания «доказуемость <mat ...3 КБ (57 слов) - 06:54, 19 мая 2021