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

...[[Многозначная_логика|расширение]] (например до [[троичная логика|троичной логики]] в языке [[Аймара_(язык)#Уникальные_особенности|Аймара]], с использованием Алгебра логики стала первой системой математической логики, в которой алгебраическая символика стала применяться к логическим выводам ...

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

...ведены основные примеры структурных правил. В рамках [[Логика высказываний|логики высказываний]] применение данных правил выглядит достаточно убедительным. В Предположим, что A означает «жить в России», а B означает «говорить по-русски», а C это «любовь к футболу». ...

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

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

...осова|МГУ им. М. В. Ломоносова]] кафедру теории автоматов и математической логики (позднее переименованную в [[ВМК МГУ#Кафедра математической кибернетики (КМ ...атические вопросы кибернетики»)<ref>{{Книга|заглавие=История информатики в России ...

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

...марта]] [[1947]], [[Ленинград]]) — советский и российский {{математик|СССР|России|XX века|XXI века}}, исследователь [[Санкт-Петербургское отделение Математич ...им научным сотрудником, а в 1980 году возглавил лабораторию математической логики. В 1995 году Матиясевич стал профессором [[Санкт-Петербургский государствен ...

...логика — вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследу ...ечал [[Джевонс, Уильям Стенли|Джевонс]], операция вычитания в этой алгебре логики была не совсем удобной и иногда приводила к недоразумениям. ...

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

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

..., могут быть связаны с особенностями коммуникации, неправильным пониманием логики, а также недостатком внимания к другим факторам и [[Ошибка единственной при : Если кто-то живёт в [[Екатеринбург]]е, значит, что живёт и в [[Россия|России]]. ...

...' (род. [[20 декабря]] [[1961]], [[Новосибирск]]) — российский {{математик|России}}, [[Доктор наук|доктор физико-математических наук]], [[академик РАН]] (201 ...основоположника казахстанской школы [[Математическая логика|математической логики]]. ...

'''Андре́й Анато́льевич Вороне́нко''' (род. 1972) — {{математик|России}}, доктор физико-математических наук, профессор кафедры математической кибе А. А. Вороненко построил континуальное семейство замкнутых классов частичной логики, содержащих класс функций, доопределимых до линейных; получил ряд оценок ас ...

...скими параметрами, а с точки зрения [[Композиция (музыка)|композиционной]] логики музыкального произведения. ...о тона»; см. подробней [[Высота звука]]), а с позиций музыкальной [[Логика|логики]] — по местоположению и значению в [[Звуковая система|звуковой системе]], в ...

...(публикация длинных текстов в это время была совсем не простой). «Алгебра логики теории линейных дифференциальных операторов» [[#2|[2]]] содержала построени ... Виноградов во время лекции.]]А. М. Виноградов воспитал плеяду учеников (в России, Италии, Швейцарии, Польше), 19 из них защитили кандидатские диссертации, 6 ...

=== В Российской империи/СССР/России === ...м массово производимым устройством для автоматизации вычислений в [[Россия|России]] был [[арифмометр Однера]]. Изобретённый в 1874 году, арифмометр серийно п ...

4. Последняя реальность — ощущения, что свидетельсвует и заимствовании логики субъективного идеализма (лежит ли что-нибудь за ощущениями проверить нельзя ...сла символизировало отказ от традиционной ([[Аристотель|аристотелевской]]) логики, где изолированные понятия рассматривались как неизменные. Смысл зависит от ...

...тура специальностей научных работников], утверждённая приказом Минобрнауки России от 25.02.2009 № 59</ref> подразделяется на специальности: ...й анализ|математического анализа]], [[Математическая логика|математической логики]], [[Теория множеств|теории множеств]] и др. Геометрия испокон века пользов ...

В первые студенческие годы, кроме математики, Колмогоров увлекался историей России и принимал активное участие в работе семинара по истории профессора [[Бахру ...ревращаются в выводимые формулы [[Интуиционистская логика|интуиционистской логики]] — его знаменитая работа ''«О принципе tertium non datur»''{{sfn|Колмогоро ...