Прикладна́я матема́тика — область математики, рассматривающая применение математических методов, алгоритмов в других областях науки и техники. Примерами такого применения будут: численные методы, математическая физика, линейное программирование, оптимизация и исследование операций, моделирование сплошных сред, биоматематика и биоинформатика, теория информации, теория игр, теория вероятностей и статистика, финансовая математика и актуарные расчёты, криптография, а следовательно комбинаторика и в некоторой степени конечная геометрия, теория графов в приложении к сетевому планированию, и во многом то, что называется информатикой. В вопросе о том, что является прикладной математикой, нельзя составить чёткую логическую классификацию. Математические методы обычно применяются к специфическому классу прикладных задач путём составления математической модели.
Информа́тика — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Геллий Никола́евич По́варов — советский математик, философ и историк науки, профессор кафедры кибернетики Московского инженерно-физического института, действительный член Международной академии информатизации, внёсший значительный вклад в развитие отечественной кибернетики, философию науки.
Андрей Николаевич Терехов — доктор физико-математических наук, профессор, заведующий кафедрой системного программирования Санкт-Петербургского государственного университета.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Касьянов Виктор Николаевич — доктор физико-математических наук, профессор, главный научный сотрудник и заведующий лабораторией «Конструирование и оптимизация программ» Института систем информатики СО РАН им. А. П. Ершова. Член-корреспондент РАЕН. Известный специалист в области теоретического и системного программирования, результаты работ которого воплощены в ряде инструментальных и прикладных программных систем, опубликованы почти в 300 научных трудах, в том числе 30 монографиях и учебных пособиях. Член редколлегий международных журналов и сборников, программных комитетов международных конференций, национальных и международных научных обществ. Победитель всех конкурсов грантов Президента РФ для выдающихся ученых.
Аркадий Дмитриевич Закревский — советский и белорусский кибернетик, специалист в области дискретной математики, алгоритмического и логического проектирования. Свой жизненный путь окончил в качестве главного научного сотрудника Объединённого института проблем информатики. Был членом-корреспондентом НАН Беларуси, академиком Международной академии информации, информационных процессов и технологий, доктором технических наук, профессором. Аркадий Дмитриевич, стоявший у истоков рождения кибернетики в Советском Союзе, являлся основателем одной из самых известных школ логического проектирования в Советском Союзе и в мире.
Институт вычислительной математики и математической геофизики СО РАН — научно-исследовательский институт в Новосибирске, основанный Гурием Ивановичем Марчуком.
Институ́т систе́м информа́тики и́мени А. П. Ершо́ва СО РАН — научно-исследовательский институт Сибирского отделения РАН, организованный в 1990 году. Расположен в Новосибирске.
Институт кибернетики имени В. М. Глушкова НАН Украины — украинский научно-исследовательский институт, занимающийся решениями фундаментальных и прикладных проблем информатики и вычислительной техники, внедрения их методов и средств в различные сферы человеческой деятельности.
Факультет вычислительной математики и кибернетики (ВМК) Московского государственного университета имени М. В. Ломоносова — учебный центр по подготовке кадров в области фундаментальных исследований по прикладной математике, вычислительной математике, информатике и программированию.
Меха́нико-математи́ческий факультет (мехмат) — один из крупнейших факультетов Пермского государственного национального исследовательского университета (ПГНИУ), один из центров механико-математического образования в Пермском крае. Основан в 1916 году как физико-математический факультет, с 1960 года назывался «механико-математическим», на 2024 год запланировано воссоединение с физическим факультетом под названием Институт физики и математики ПГНИУ.
Альберт Григорьевич Драгалин — советский математик, логик-конструктивист, внёсший весомый вклад в интеграцию советской школы конструктивной математики в общемировую систему математико-логического знания. В 1970-х — начале 1980-х годов — доцент МГУ, в 1990-х — профессор Дебреценского университета. Основные работы — по теории доказательств, интуиционизму, нестандартному анализу.
Факультет компьютерных наук (ФКН) — научно-учебное подразделение НИУ ВШЭ, созданное в 2014 году при поддержке компании «Яндекс». На факультете существуют пять программ бакалавриата и девять программ магистратуры, а также аспирантская школа, открыты 13 научных лабораторий, из них шесть — международные. Одна из лабораторий факультета, LAMBDA, является участником эксперимента LHCb в CERN. Факультет пользуется популярностью у победителей олимпиад: так, в 2020 году на ФКН поступили 112 призеров и победителей Всероссийской олимпиады школьников.
Алекса́ндр Ива́нович Ми́ков — советский и российский математик, доктор физико-математических наук, профессор, декан (1984–1989), создатель и заведующий кафедрой математического обеспечения вычислительных систем (1991–2003) механико-математического факультета Пермского университета, заведующий кафедрой вычислительных технологий Кубанского университета.
Влади́мир Алексе́евич Серебряко́в — советский и российский математик, д.ф.-м.н. (1990), профессор ВМК МГУ (1993) и ФУПМ МФТИ, зав. отделом ВЦ РАН. Член редколлегии журнала «Программирование». Член учёных советов ВЦ РАН, ИСП РАН, ФУПМ МФТИ. Руководитель и участник разработки ряда известных программных проектов.
Серге́й Савостья́нович Гончаро́в — советский и российский математик и организатор науки, академик РАН (2016), профессор, специалист в области математической логики и теории вычислимости.
Институт проблем информатики и автоматизации НАН РА — научно-исследовательский институт Национальной Академии Наук Республики Армения, образован в 1957 году.
Редько Владимир Никифорович — академик НАН Украины (2000), доктор физико-математических наук, профессор, Заслуженный деятель науки и техники Украины.
СССР → 
Россия
Медиафайлы на Викискладе
