Книга: Николай Непейвода «Уроки конструктивизма»
|
Производитель: "LAP Lambert Academic Publishing" Книга излагает основные направления конструктивной математики (интуиционизм, советский конструктивизм, промежуточные концепции) с точки зрения современной теоретической информатики. При этом все концепции перерабатываются таким образом, чтобы они могли быть применены к нечисловым структурам данных (алгебраическим, топологическим) и применены к системам программирования высокого уровня. Основные используемые математические инструменты: логика, топология, алгебра, теория категорий. Показаны принципиально новые методы формализации и анализа понятий, разработанные в конструктивных направлениях. Разобраны уроки попыток прямого приложения конструктивизма к несовершенным программным системам. Дается также введение в недавно появившиеся разделы конструктивизма, работающие с реальной осуществимостью иограниченными ресурсами. Завершается книга манифестом прикладного конструктивизма. ISBN:9783844351811 Издательство: "LAP Lambert Academic Publishing" (2011)
ISBN: 9783844351811 |
Николай Непейвода
Непейвода́ Никола́й Никола́евич (род. 1949) — математик, логик, философ, информатик. Доктор физико-математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов.
Преподаватель Удмуртского государственного университета.
Родился в 1949 году в одном из сёл нынешней Белгородской области. Род берёт начало от знаменитого русского (запорожского) казацкого полковника. Закончил сельскую школу, затем мехмат МГУ. Специализировался по логике. Затем стал заниматься программированием, философией, лингвистикой и общим системным и логическим анализом. Является одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик, создал две из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу.
Более 15 лет ведёт интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему (научить настоящему программированию без надлежащей математики и философии невозможно). Ученики являются руководителями фирм и ведущими специалистами. Ведущие фирмы, приглашавшие их к себе, с удивлением отмечали, что их подготовка глубже, скажем, чем в МГУ и НГУ. Работал консультантом ведущих российских софтверных фирм. Участвовал в разработке учебных планов факультета информационных технологий НГУ и в становлении этого факультета.
Список ключевых трудов
- Непейвода Н. Н. Стили и методы программирования: Курс лекций: Учеб.пособие. — Интернет-ун-т информ.технологий, 2005. — ISBN 5-95560-023-0
- Непейвода Н. Н., Скопин И. Н. Основания программирования. — 2003. — ISBN 5-93972-299-7
- Непейвода Н. Н. О построении правильных программ // Вопросы кибернетики. — 1978. — № 46. — С. 88-122.
- Непейвода Н. Н. Прикладная логика. — Новосибирск: НГУ, 2000.
- Публикации в Викиучебнике в разделе Журнал «Потенциал»
Внешние ссылки
Источник: Николай Непейвода
См. также в других словарях:
Хан-Магомедов, Селим Омарович — В Википедии есть статьи о других людях с такой фамилией, см. Хан Магомедов. Селим Омарович Хан Магомедов Дата рождения: 9 января 1928(1928 01 09) Место рождения: Москва, СССР Дата смерти … Википедия
Франция — (France) Французская Республика (République Française). I. Общие сведения Ф. государство в Западной Европе. На С. территория Ф. омывается Северным морем, проливами Па де Кале и Ла Манш, на З. Бискайским заливом… … Большая советская энциклопедия
Кострома — У этого термина существуют и другие значения, см. Кострома (значения). Город Кострома … Википедия
Мельников, Константин Степанович — Запрос «Константин Мельников» перенаправляется сюда; см. также другие значения. В Википедии есть статьи о других людях с именем Мельников, Константин Степанович. Константин Степанович Мельников … Википедия
Константин Мельников — Константин Степанович Мельников К. С. Мельников в конце 1920 х годов Годы жизни Гражданство … Википедия
Константин Степанович Мельников — К. С. Мельников в конце 1920 х годов Годы жизни Гражданство … Википедия
