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

...орые были опубликованы в [[Доклады Академии наук|Докладах Академии наук]]. По окончании университета несколько лет проработала, затем училась в аспиранту По окончании аспирантуры проработала несколько лет в [[Научно-исследовательски ...

...ет и получил степень магистра математики, а в [[1957]] защитил диссертацию по философии на тему «Проблемы аксиоматизации теории множеств» ({{lang-en|Cont ...урсий]]. Он успешно применил методы [[математическая логика|математической логики]] для решения целого ряда задач в [[философия|философии]], в том числе в [[ ...

...математической [[кибернетика|кибернетики]]. Автор ряда классических работ по проблемам синтеза, надёжности и контроля управляющих систем. ...осова|МГУ им. М. В. Ломоносова]] кафедру теории автоматов и математической логики (позднее переименованную в [[ВМК МГУ#Кафедра математической кибернетики (КМ ...

Автор более 200 книг и статей, он был одним из основателей математической логики и [[Теория множеств|теории множеств]]. ...Пеано принадлежит одна из первых дедуктивных систем [[Логика высказываний|логики высказываний]]. ...

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

А. А. Вороненко построил континуальное семейство замкнутых классов частичной логики, содержащих класс функций, доопределимых до линейных; получил ряд оценок ас ...нетики, по дискретной математике для бакалавров, ведёт семинарские занятия по курсам дискретной математики, дополнительных глав дискретной математики. ...

...[РАН]], лидер [[Сибирская школа алгебры и логики|сибирской школы алгебры и логики]]. [[Число Эрдёша]] — 3<ref>{{Cite web |url=https://mathscinet.ams.org/math ...льную оценку на [[вступительные экзамены|вступительном экзамене]] — устном по физике<ref>{{Cite web |url=http://soran1957.ru/DeepZoomMarked.aspx?id=newsp ...

...ине также восходит к его автору, многие годы читавшему курс математической логики на [[Механико-математический факультет МГУ|механико-математическом]] факуль ...и]]. НАМ — [[Полнота по Тьюрингу|полный по Тьюрингу]] язык, что делает его по выразительной силе эквивалентным [[машина Тьюринга|машине Тьюринга]] и, сле ...

...основоположника казахстанской школы [[Математическая логика|математической логики]]. * ''Тайманов И. А.'' Лекции по дифференциальной геометрии. Ижевск. 2002 . — ISBN 5-93972-467-1. ...

....txt, не имеющих 'bad' в качестве первых трёх символов, отсортированный по алфавиту. Такой способ передачи информации направляет потоки данных, подобно трубопр ...подобных языках символ "|" служит для операции побитового «или» ([[Алгебра логики|дизъюнкция]]), а два таких символа, написанных слитно ("||"), используются ...

...4em; text-align:center; font-weight:bold; font-size:120%;">Ключевые статьи по разделам математики</div> * [[Сравнение по модулю натурального числа|Сравнения по модулю]] ...

...итуте математики Сибирского отделения АН СССР]] в [[Новосибирск]]е. С 1993 по 2010 — профессор университета в г. Салерно (Италия). Одной из первых его работ по этой тематике была статья [[#1|[1]]], посвященная спектральной последовател ...

...ниверситета Нью-Йорка]]. Лауреат [[Премия Рольфа Шока|премии Рольфа Шока]] по философии и логике (2001), согласно одному из опросов, входит в десятку наи Основные работы — по [[математическая логика|математической логике]], [[философия языка|философи ...

...о 1012 года. В 997—998 гг. [[Аль-Бируни|Бируни]] вел переписку с Ибн Синой по различным вопросам космогонии и физики, воплощенную в форме вопросов и отве === Труды по медицине === ...

...в ряде других областей математики и её приложений. Автор новаторских работ по [[философия математики|философии]], [[история математики|истории]], [[Метод ...лся {{СС|25|апреля||12}} 1903 года в [[Тамбов]]е, где его мать задержалась по пути из [[Крым]]а домой в [[Ярославль]]. Мать Колмогорова — ''Мария Яковлев ...

* заложил основы [[Математическая логика|математической логики]]<ref name="энциклопедия" />{{sfn |В. Лейбниц // Большая энциклопедия Кирил ...Лейпциге ''21 июня (1 июля) 1646 года'', протестанты считали в то время ''по старому стилю''; его отец умер ''5 сентября 1652 года''.</ref>; его отец ум ...

...ана заявка [[АК:772]] (касающаяся истолкования правил Википедии), которая, по моему мнению, могла разрешить и этот спор. Я (09:02, 16 января) {{sd|408818 ...я:Не играйте с правилами|сознательное применение тактики упорного хождения по кругу в дискуссии]] - [http://ru.wikipedia.org/w/index.php?title=Арбитраж:О ...