Более быстрый доступ, чем браузер!
32 отношения: Карнап, Рудольф, Колмогоров, Андрей Николаевич, Конструктивная математика, Принцип Маркова, Провиденс, Основания математики, Амстердамский университет, Американское математическое общество, Наука (издательство), Новая философская энциклопедия, Нестандартный анализ, Непейвода, Николай Николаевич, Система Цермело — Френкеля, Теория доказательств, Устранимость сечений, Формальная система, Математическая энциклопедия, Математическая логика, Математический энциклопедический словарь, Марков, Андрей Андреевич (младший), Московский государственный университет, Моржовец, Инфаркт миокарда, Брауэр, Лёйтзен Эгберт Ян, Большая советская энциклопедия, Высшая школа экономики, Дебрецен, Дебреценский университет, 10 апреля, 18 декабря, 1941 год, 1998 год.
Карнап, Рудольф
Рудольф Ка́рнап (Rudolf Carnap; 18 мая 1891 года, Вупперталь, Германия — 16 сентября 1970 года, Санта-Мария, Калифорния) — немецко-американский философ и логик, ведущий представитель логического позитивизма и философии науки.
Новый!!: Драгалин, Альберт Григорьевич и Карнап, Рудольф · Узнать больше »
Колмогоров, Андрей Николаевич
Андре́й Никола́евич Колмого́ров (урождённый Катаев,, Тамбов — 20 октября 1987, Москва) — советский математик, один из крупнейших математиков XX века.
Новый!!: Драгалин, Альберт Григорьевич и Колмогоров, Андрей Николаевич · Узнать больше »
Конструктивная математика
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Новый!!: Драгалин, Альберт Григорьевич и Конструктивная математика · Узнать больше »
Принцип Маркова
Принцип Маркова — один из основных принципов логики конструктивной математики, сформулированный в начале 1950-х годов Андреем Андреевичем Марковым (младшим).
Новый!!: Драгалин, Альберт Григорьевич и Принцип Маркова · Узнать больше »
Провиденс
Про́виденс (Providence) — столица и самый населённый город штата Род-Айленд, США.
Новый!!: Драгалин, Альберт Григорьевич и Провиденс · Узнать больше »
Основания математики
Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин.
Новый!!: Драгалин, Альберт Григорьевич и Основания математики · Узнать больше »
Амстердамский университет
Амстердамский университет (Universiteit van Amsterdam, UvA) является одним из крупнейших в Европе (бюджет 600 млн евро, 31 тысяча студентов, 5 тысяч сотрудников).
Новый!!: Драгалин, Альберт Григорьевич и Амстердамский университет · Узнать больше »
Американское математическое общество
Американское математическое общество — ассоциация профессиональных математиков США.
Новый!!: Драгалин, Альберт Григорьевич и Американское математическое общество · Узнать больше »
Наука (издательство)
Профсоюзная, д.nbsp90 — здание издательства «Наука» Издательство «Нау́ка» (полное наименование — Академический научно-издательский, производственно-полиграфический и книгораспространительский центр Российской академии наук «Издательство „Наука“», сокращённое наименование — ФГУП «Издательство „Наука“») — советское и российское академическое издательство книг и журналов.
Новый!!: Драгалин, Альберт Григорьевич и Наука (издательство) · Узнать больше »
Новая философская энциклопедия
Но́вая филосо́фская энциклопе́дия — первая и пока единственная академическая философская энциклопедия, изданная в постсоветской России.
Новый!!: Драгалин, Альберт Григорьевич и Новая философская энциклопедия · Узнать больше »
Нестандартный анализ
Нестандартный анализ — альтернативный подход к обоснованию математического анализа, в котором бесконечно малые — не переменные величины, а особый вид чисел.
Новый!!: Драгалин, Альберт Григорьевич и Нестандартный анализ · Узнать больше »
Непейвода, Николай Николаевич
Никола́й Никола́евич Непейвода́ (род. 17 июня 1949, село Шелаево, Курская область) — советский и российский, учёный в области теоретической информатики и математической логики, доктор физико-математических наук, профессор, главный научный сотрудник Института программных систем РАН.
Новый!!: Драгалин, Альберт Григорьевич и Непейвода, Николай Николаевич · Узнать больше »
Система Цермело — Френкеля
Система аксиом Цермело — Френкеля (ZF) является стандартной системой аксиом для теории множеств.
Новый!!: Драгалин, Альберт Григорьевич и Система Цермело — Френкеля · Узнать больше »
Теория доказательств
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов.
Новый!!: Драгалин, Альберт Григорьевич и Теория доказательств · Узнать больше »
Устранимость сечений
Устранимость сечений (теорема Генцена, элиминационная теорема) — свойство логических исчислений, согласно которому всякую секвенцию, выводимую в данном исчислении, можно вывести без применения правила сечений.
Новый!!: Драгалин, Альберт Григорьевич и Устранимость сечений · Узнать больше »
Формальная система
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Новый!!: Драгалин, Альберт Григорьевич и Формальная система · Узнать больше »
Математическая энциклопедия
Математическая энциклопедия — советское энциклопедическое издание в пяти томах, посвящённое математической тематике.
Новый!!: Драгалин, Альберт Григорьевич и Математическая энциклопедия · Узнать больше »
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Новый!!: Драгалин, Альберт Григорьевич и Математическая логика · Узнать больше »
Математический энциклопедический словарь
«Математический энциклопедический словарь» — энциклопедический словарь, выпущенный издательством «Советская энциклопедия» в 1988 году под редакцией академика Юрия Прохорова.
Новый!!: Драгалин, Альберт Григорьевич и Математический энциклопедический словарь · Узнать больше »
Марков, Андрей Андреевич (младший)
Андре́й Андре́евич Ма́рков (Санкт-Петербург — 11 октября 1979, Москва) — советский, сын известного русского математика А. А. Маркова, основоположник советской школы конструктивной математики.
Новый!!: Драгалин, Альберт Григорьевич и Марков, Андрей Андреевич (младший) · Узнать больше »
Московский государственный университет
Моско́вский госуда́рственный университе́т и́мени М. В. Ломоно́сова — один из старейшихУниверситетская идея впервые реализовалась в России в 1725 году в лице учреждённого в Петербурге Академического университета.
Новый!!: Драгалин, Альберт Григорьевич и Московский государственный университет · Узнать больше »
Моржовец
Моржове́ц — остров в Белом море при входе в Мезенскую губу.
Новый!!: Драгалин, Альберт Григорьевич и Моржовец · Узнать больше »
Инфаркт миокарда
Инфа́ркт миока́рда — одна из клинических форм ишемической болезни сердца, протекающая с развитием ишемического некроза участка миокарда, обусловленного абсолютной или относительной недостаточностью его кровоснабжения.
Новый!!: Драгалин, Альберт Григорьевич и Инфаркт миокарда · Узнать больше »
Брауэр, Лёйтзен Эгберт Ян
Лёйтзен Э́гберт Ян Бра́уэр (Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.
Новый!!: Драгалин, Альберт Григорьевич и Брауэр, Лёйтзен Эгберт Ян · Узнать больше »
Большая советская энциклопедия
Больша́я сове́тская энциклопе́дия (в выходных сведениях — Большая Советская Энциклопедия; сокращённо БСЭ) — наиболее известная и полная советская универсальная энциклопедия.
Новый!!: Драгалин, Альберт Григорьевич и Большая советская энциклопедия · Узнать больше »
Высшая школа экономики
Национальный исследовательский университет «Высшая школа экономики» (НИУ ВШЭ) — один из крупнейших университетов России.
Новый!!: Драгалин, Альберт Григорьевич и Высшая школа экономики · Узнать больше »
Дебрецен
Большая церковь Вид на центр Дебрецена с воздуха Гостиница «Золотой Бык» Университет Дебрецена Дебреце́н (Debrecen) — город на востоке Венгрии, второй по населению город в стране после Будапешта, административный центр медье Хайду-Бихар.
Новый!!: Драгалин, Альберт Григорьевич и Дебрецен · Узнать больше »
Дебреценский университет
Дебреценский университет (Debreceni Egyetem) — крупнейшее учебное заведение в Дебрецене и один из ведущих университетов в Венгрии.
Новый!!: Драгалин, Альберт Григорьевич и Дебреценский университет · Узнать больше »
10 апреля
См.
Новый!!: Драгалин, Альберт Григорьевич и 10 апреля · Узнать больше »
18 декабря
См.
Новый!!: Драгалин, Альберт Григорьевич и 18 декабря · Узнать больше »
1941 год
Сталинец № 1 (528) от 1 января 1941 года.
Новый!!: Драгалин, Альберт Григорьевич и 1941 год · Узнать больше »
1998 год
Объявлен ООН Международным годом океана (резолюция ООН 49/131).
Новый!!: Драгалин, Альберт Григорьевич и 1998 год · Узнать больше »
Перенаправления здесь:
Альберт Григорьевич Драгалин, Драгалин, Драгалин Альберт Григорьевич.
