Результаты поиска

...редложил это название в рамках семантики геометрии взаимодействия линейной логики, которая характеризует линейную логику в терминах [[Линейная алгебра|линейн ...ская разрешимость|разрешимого]] подраздела теории [[Логика первого порядка|логики первого порядка]], названной «прямой логикой» (Кетонен и Вехраух, 1984; Кет ...

...ние конечного множества и дедуктивная неполнота теории множеств // Изв. АН СССР, сер. мат. — 1956. — Т. 20, № 4. — С. 569—582. — URL: http://mi.mathnet.ru/ [[Категория:Теоремы математической логики|Трахтенброта]] ...

|Место рождения = {{МестоРождения|Баку}}, [[АзССР]], [[СССР]] ...дах Г. П. Гаврилов работал инженером на предприятии [[Министерство обороны СССР|Министерства обороны]]. По окончании аспирантуры в 1963—1967 годах работал ...

|Гражданство = СССР ...дной математики имени М. В. Келдыша РАН|Института прикладной математики АН СССР]] у [[Лупанов, Олег Борисович|О. Б. Лупанова]] и в 1967 году защитила канди ...

...представитель [[Сибирская школа алгебры и логики|сибирской школы алгебры и логики]]. [[Число Эрдёша]] — 4<ref>[https://mathscinet.ams.org/mathscinet/freetool [[Категория:Женщины-математики СССР]] ...

|Известен как = один из пионеров математической логики в Болгарии ...) — болгарский математик, многолетний преподаватель кафедры математической логики и её приложений при факультете математики и информатики [[Софийский универс ...

|Место рождения = {{МестоРождения|Москва}}, [[СССР]] ...кладной математики им. М. В. Келдыша РАН|Институт прикладной математики АН СССР]], [[МФТИ]] ...

...ная логика]], является простейшим расширением [[двоичная логика|двузначной логики]]. Однако из-за наличия третьего значения некоторые законы двоичной логики оказываются неверными и для них сформулированы троичные аналоги. Так, вмест ...

...то рождения = {{МестоРождения|Ленинград|в Санкт-Петербурге}}, [[РСФСР]], [[СССР]] ...[[2 марта]] [[1947]], [[Ленинград]]) — советский и российский {{математик|СССР|России|XX века|XXI века}}, исследователь [[Санкт-Петербургское отделение Ма ...

| Известен как = Первый специалист в области теории стабильности в [[СССР]] ...[[ученый]]-[[математик]] в области [[Математическая логика|математической логики]], [[Доктор наук|доктор физико-математических наук]], [[профессор]], директ ...

...м, что они не могут быть формализованы средствами [[Логика первого порядка|логики первого порядка]]. В противном случае потребовалась бы аксиома вида: |издание = Изв. АН СССР Сер. матем. ...

...естный учёный [[Сибирская школа алгебры и логики|сибирской школы алгебры и логики]]. [[Число Эрдёша]] — 4<ref>[https://mathscinet.ams.org/mathscinet/freetool ... г. был аспирантом [[Институт математики СО РАН|Института математики СО АН СССР]]. В 1973 г. защитил [[Кандидат наук|кандидатскую]] [[Диссертация|диссертац ...

...х Республик|советский]] {{математик|СССР|России|Венгрии|XX века}}, {{логик|СССР|России|Венгрии|XX века}}-конструктивист, внёсший весомый вклад в интеграцию ...ческий факультет МГУ]], с 1966 года — преподавал на кафедре математической логики. В 1968 году защитил в МГУ кандидатскую диссертацию «Конструктивные трансфи ...

...ются от последних принципом работы: основным процессом в системах струйной логики является движение [[Жидкость|жидкостей]] или [[газ]]ов. Данная технологичная серия была разработана в [[СССР]]. Выпускалась и применялась под общим названием «Волга». ...

...их надёжность. Примером может являться промышленная серия 74 (USA) (155 (СССР)). ...org/web/20091231051545/http://alglib.sources.ru/articles/logic.php Алгебра логики и цифровые компьютеры] ...

| Учёное звание = [[профессор]],<br>{{Учёное звание|АН СССР|1}}&nbsp;([[1970]])<br>{{Учёное звание|РАН|0}}&nbsp;([[1991]]) ...[РАН]], лидер [[Сибирская школа алгебры и логики|сибирской школы алгебры и логики]]. [[Число Эрдёша]] — 3<ref>{{Cite web |url=https://mathscinet.ams.org/math ...

...5%D0%B4%D1%80%D1%8B.pdf |title=Кафедра геометрии, алгебры и математической логики |access-date=2021-06-24 |archive-date=2021-05-02 |archive-url=https://web.a [[Категория:Математики СССР]] ...

| место рождения = {{МестоРождения|Новосибирск}}, [[РСФСР]], [[СССР]] ...основоположника казахстанской школы [[Математическая логика|математической логики]]. ...

|Место рождения = {{МестоРождения|Москва}}, [[СССР]] А. А. Вороненко построил континуальное семейство замкнутых классов частичной логики, содержащих класс функций, доопределимых до линейных; получил ряд оценок ас ...

В середине 60-х годов почти одновременно в СССР и во Франции появились работы, где с иных позиций и в более доступной форме {{теорема|Максимальное число функций в базисе алгебры логики равно 4<ref name="alexeev_12" />.}} ...