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

...Джеффри Парисом]] (Великобритания) и [[Харрингтон, Лео|Лео Харрингтоном]] (США). ...ариант теоремы Рамсея может быть записан на языке [[Логика первого порядка|логики первого порядка]]{{sfn |MathWorld}}. ...

Родился [[20 сентября]] [[1930]] в городе Стоктон ([[Калифорния]], [[США]]). Окончил среднюю школу Св. Марии. В [[1947]] поступил в Стоктонский колл ...урсий]]. Он успешно применил методы [[математическая логика|математической логики]] для решения целого ряда задач в [[философия|философии]], в том числе в [[ ...

...[2023 год|2023]]) — [[Соединённые Штаты Америки|американский]] {{математик|США}}, известный своей работой, которая посвящена [[Десятая проблема Гильберта| Родители Дэвиса иммигрировали в [[США]] из города [[Лодзь]] ([[Польша]]). Встретившись уже в [[Нью-Йорк]]е, они п ...

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

...естный учёный [[Сибирская школа алгебры и логики|сибирской школы алгебры и логики]]. [[Число Эрдёша]] — 4<ref>[https://mathscinet.ams.org/mathscinet/freetool С 1972 по 2017 г. работал на кафедре алгебры и математической логики Новосибирского государственного университета (с 1972 г. — ассистентом, с 19 ...

...[РАН]], лидер [[Сибирская школа алгебры и логики|сибирской школы алгебры и логики]]. [[Число Эрдёша]] — 3<ref>{{Cite web |url=https://mathscinet.ams.org/math С 1967 по 2004 год работал заведующим отделом математической логики [[Институт математики СО РАН|Института математики СО АН СССР]]. ...

...}<ref>Priest (2002), p. 288 and §3.3.</ref>. Изучение паранепротиворечивой логики получило название парапротиворечивости<ref>Carnielli, W.; Rodrigues, A. ...ение [[Принцип взрыва|принципа взрыва]]. В результате паранепротиворечивые логики, в отличие от классических и других логик, могут быть использованы для форм ...

...|Стонем|в Стонеме (Массачусетс)|Стонем (Массачусетс)}}, [[Массачусетс]], [[США]] ...рк|в Менло-Парке (Калифорния)|Менло-Парк (Калифорния)}}, [[Калифорния]], [[США]] ...

...ичной системе счисления]] по законам двоичной и [[троичная логика|троичной логики]] с применением двоичных и [[троичные алгоритмы|троичных алгоритмов]]. ...f>, выполненной под руководством [[Нейман, Джон фон|Джона фон Неймана]] ([[США]]), упоминается, но не обсуждается троичная система счисления. ...

...Преамбула}}) — американский {{философ/кат|США|XX века|XXI века}} и {{логик|США|XX века|XXI века}}. Почётный профессор [[Гарвардский университет|Гарвардско ...их работах внёс значительный вклад в развитие [[модальная логика|модальной логики]]. Последующие работы оказали глубокое влияние на [[аналитическая философия ...

...читал Браун. Позднее вместе с Брауном в середине [[1950-е|50-х]] годов в [[США]] работал немецкий инженер [[Луссер, Роберт|Роберт Луссер]] ([[:en:Robert L ...турными и аналитическими средствами [[Математическая логика|математической логики]], а расчет показателей свойств надёжности, живучести и безопасности выполн ...

...ённые Штаты Америки|США]]), [[Rohde & Schwarz]] (Германия), [[Tektronix]] (США). Такие анализаторы появились в конце прошлого века и ныне бурно развиваютс |заглавие = Цифровые анализаторы спектра, сигналов и логики ...

* 1930 год — [[Буш, Ванневар|Ванневар Буш]] ([[США]]) создал механическую интегрирующую машину, применявшуюся при расчёте [[тр * 1942—1944 годы, [[США]] — [[операционный усилитель]] [[постоянный ток|постоянного тока]], имеющий ...

...яет собой пару ('''Имя''', '''X'''), где <math>X</math> является [[Алгебра логики|нулём или единицей]], обозначающим, имеет ли человек гастрит или нет: * [[Бюро переписи населения США]] при показе статистики{{sfn|Machanavajjhala et al|2008|p=1}} ...

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

В 1911 году выходит книга [[США|американского]] экономиста [[Мур, Генри Людвелл|Г. Мура]] «[[Законы заработ ...яется появлением мощного регулирующего фактора в [[экономика США|экономике США]]. В этих условиях основным методом макроэкономического анализа становится ...

...{lang-en|Stuart Milner-Barry}}). Среди математиков был и молодой профессор логики из Кембриджа — [[Тьюринг, Алан Матисон|Алан Тьюринг]]<ref name="chernyak"/> ...ужающих посёлках.</ref>. Впоследствии, когда часть работ была перенесена в США, вместе с технологиями была направлена и часть сотрудниц<ref name="chernyak ...

...)? Одним из выходов из этой проблемы является следование выше обозначенной логики полупартий, особенно в системах, где <math>N \approx 2{,}5</math>, которые ...ыми барьерами или низкими порогами для участия в выборах<ref group="~">Ср. США, где в 2012 <math>N_V-N_S=0{,}14</math>, <math>\frac{N_V-N_S}{N_V}=0{,}066< ...

Иностранный член [[Национальная академия наук США|Национальной академии наук США]] (1967)<ref>{{us nas id}}</ref>, [[Лондонское королевское общество|Лондонс ...ревращаются в выводимые формулы [[Интуиционистская логика|интуиционистской логики]] — его знаменитая работа ''«О принципе tertium non datur»''{{sfn|Колмогоро ...

...http://www.taswegian.com/MOSCOW/vega.html |date=20100929142141 }}</ref>, в США в том же году появился массовый полностью транзисторный калькулятор [[FRIDE ...реализует один (очень редко — два) из трёх вариантов [[Логические операции|логики операций]], то есть порядка ввода команд, который требуется для выполнения ...