Книга: Непейвода Николай Николаевич «Стили и методы программирования. Курс лекций. Учебное пособие для студентов вузов»
Производитель: "Интернет-университет информационных технологий" Серия: "Лазерная техника и технология" Данный курс предполагает начальные умения структурного программирования на традиционном языке и не исключает начальных умений на одном из языков других стилей. Базовые умения для других стилей программирования могут быть получены по ходу изучения курса, для чего в него включены необходимые сведения и упражнения. Рекомендовано для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий. ISBN:5-9556-0023-Х Издательство: "Интернет-университет информационных технологий" (2005) Формат: 60x90/16, 320 стр.
ISBN: 5-9556-0023-X |
Непейвода, Николай Николаевич
Николай Николаевич Непейвода | |
Дата рождения: | |
---|---|
Научная сфера: | |
Альма-матер: |
Непейвода́ Никола́й Никола́евич (род. 1949) — математик, логик, философ, информатик, в свободное время писатель-фантаст. Доктор физико-математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов. Преподаватель Удмуртского государственного университета.
Биография
Родился в 1949 году в одном из сёл нынешней Белгородской области. Род берёт начало от знаменитого русского (запорожского) казацкого полковника. Закончил сельскую школу, затем мехмат МГУ. Специализировался по логике. Затем стал заниматься программированием, философией, лингвистикой и общим системным и логическим анализом.
Является одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик, создал два из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу.
Более 15 лет ведёт интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему (научить настоящему программированию без надлежащей математики и философии невозможно).
Участвовал в разработке учебных планов и становлении Факультета Информационных Технологий НГУ, выросшего из состава механико-математического факультета.
Работал консультантом ведущих российских софтверных фирм.
Список ключевых трудов
- Стили и методы программирования: Курс лекций: Учеб.пособие. — Интернет-ун-т информ.технологий, 2005. — ISBN 5-95560-023-0
- Непейвода Н. Н., Скопин И. Н. Основания программирования. — 2003. — ISBN 5-93972-299-7
- Непейвода Н. Н. О построении правильных программ // Вопросы кибернетики. — 1978. — № 46. — С. 88-122.
- Непейвода Н. Н. Прикладная логика. — Новосибирск: НГУ, 2000.
- Публикации в Викиучебнике в разделе Журнал «Потенциал»
Внешние ссылки
- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 17 июня
- Родившиеся в 1949 году
- Выпускники механико-математического факультета МГУ
- Математики России
- Философы России
- Кибернетики России
- Персоналии:Удмуртия
- Математики по алфавиту
Источник: Непейвода, Николай Николаевич
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
Непейвода Николай Николаевич | Стили и методы программирования. Курс лекций. Учебное пособие для студентов вузов | Данный курс предполагает начальные умения структурного программирования на традиционном языке и не… — Интернет-университет информационных технологий, (формат: 60x90/16, 320 стр.) Лазерная техника и технология Подробнее... | 2005 | 1239 | бумажная книга |
См. также в других словарях:
Событийно-ориентированное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Автоматное программирование — Автоматное программирование это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого либо формального автомата. В зависимости от конкретной задачи в автоматном программировании… … Википедия
Функциональное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия