Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Непейвода, Николай Николаевич

Из Википедии — свободной энциклопедии

Николай Николаевич Непейвода
P-nepeivoda-nn-5941.jpg
Дата рождения 17 июня 1949(1949-06-17) (71 год)
Место рождения
Страна  СССР Россия
Научная сфера логика, философия, информатика
Место работы Институт программных систем РАН
Альма-матер МГУ (мехмат)
Учёная степень доктор физико-математических наук
Учёное звание профессор
Научный руководитель А. А. Марков, А. Г. Драгалин
Commons-logo.svg Медиафайлы на Викискладе

Никола́й Никола́евич Непейвода́ (род. 17 июня 1949, село Шелаево, Курская область[1]) — советский и российский математик, учёный в области теоретической информатики и математической логики, доктор физико-математических наук, профессор, главный научный сотрудник Института программных систем РАН. Автор более 150 печатных трудов.

Биография

Род Непейвода берёт начало от знаменитого запорожского казацкого полковника.

Окончил сельскую школу, затем мехмат МГУ. Специализировался по логике. Затем стал заниматься программированием, философией, лингвистикой и общим системным и логическим анализом.

Является одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик, создал два из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу.

Активно работал над созданием учебной программы по фундаментальным основам информатики, вёл интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему, считая, что научить настоящему программированию без надлежащего уровня подготовки по математике и философии невозможно. Участвовал в разработке учебных планов и становлении факультета информационных технологий НГУ, выросшего из состава механико-математического факультета. В 90-е годы XX века работал преподавателем Удмуртского государственного университета.

С 2012 года — главный научный сотрудник исследовательского центра мультипроцессорных систем Института программных систем РАН в Переславле-Залесском.

В свободное время — писатель-фантаст.

Библиография

Примечания

Ссылки

Эта страница в последний раз была отредактирована 27 марта 2020 в 19:22.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).