| |||
|
Личная страничка Н.Н.Непейводы ... Николай Николаевич Непейвода --- доктор физико-математических наук, профессор математического факультета УдГУ, имеет более 150 научных работ по математике, логике, информатике и программированию, философии, лингвистике, один из создателей теории неформализуемых понятий и конструктивной теории синтеза программ. О нем говорят, что он один из лучших отечественных логиков (по крайней мере - прикладных). ... Непейвода у нас - заметка в газете За науку 2005 г ... В субботу 14 мая 2005 г на Физтехе прочитал лекцию “Призраки и подпорки: на стыке между теорией и практикой программирования” известный математик Н.Н. Непейвода. Тема касалась прагматики языков программирования как знаковых систем. Непейвода – автор известной книги по прикладной логике. Занимается ей уже давно. Изложение, полный текст которого доступен на сайте журнала “Потенциал”, было яркой иллюстрацией известной универсалии китайской философии о том, что настоящая истина на вид парадоксальна. Под призраком понимается значение, условие (и даже шире – понятие), не входящее в программу, а чаще всего оно и не может входить из-за неэффективности либо прямой невычислимости, но существенно необходимо для ее понимания. ... Непейвода Н. Н. - Хаотическое управление ... Часть 1 Предпосылки • Теория неформализуемых понятий – Каждое действительно сложное и важное понятие активно сопротивляется формализации, порождая новую альтернативу, не учтенную ею – Тем не менее эффективная деятельность возможна лишь на базе формализации понятий – Необходимо четко понимать. что мы в огромном числе случаев формализуем неформализуемое. – Любая формализация заводит в тупик, и тем быстрее и основательнее, чем более эффективна она на первых порах. – Тупик образуется еще тогда, когда отказаться от формализации нет сил. – Тупик становится намного труднее для выхода и основательнее, если с самого начала не позаботиться о том, чтобы осознать альтернативы существующей успешной формализации. – Тупика можно избежать, если одновременно поддерживаются несколько несовместимых альтернатив. ... Непейвода на факультете ВМК ... 7 декабря 2007 г. На семинаре факультета ВМК МГУ им. Ломоносова, проводимым под руководством профессора В.Б. Алексеева, заведующего кафедрой математической кибернетики, состоялось выступление профессора Удмуртского государственного университета Николая Николаевича Непейводы на тему «Логика как средство моделирования сложных системных свойств в обучении информатиков». Семинар прошел живо. Докладчик был логичен, оригинален, находчив. А главное - показал себя глубоким осмыслителем своего дела. Побольше бы таких профессоров. ... Математические структуры - курс лекций ... Математические структуры - курс лекций Н.Н.Непейвода Математика является в своей основе единым организмом. Но это единство затушевывается разделением на специальности, представители которых зачастую с трудом понимают друг друга. Скажем, возникают большие трудности при общении анналиста и алгебраиста, логика и тополога и т. д. Поэтому практически нигде в российских вузах нет курса, который пытался бы охватить многообразие математических методов с единой точки зрения. ... Непейвода, Николай Николаевич ... Материал из Википедии — свободной энциклопедии Никола́й Никола́евич (род. 1949) — математик, логик, философ, информатик. Доктор физико-математических наук, профессор. Активно работает над разработкой учебной программы по фундаментальным основам информатики. Более 150 печатных трудов. Преподаватель Удмуртского государственного университета. Родился в 1949 году в одном из сёл нынешней Белгородской области. Род берёт начало от знаменитого русского (запорожского) казацкого полковника. Закончил сельскую школу, затем мехмат МГУ. Специализировался по логике. Затем стал заниматься программированием, философией, лингвистикой и общим системным и логическим анализом. Является одним из основателей теории неформализуемых понятий и теории логического синтеза программ на базе конструктивных логик, создал две из четырёх известных классов конструктивных логик, разработал методику логического подхода, ставшего естественной альтернативой системному подходу. Более 15 лет ведёт интенсивные эксперименты по перестройке преподавания информатики, рассматривая это как комплексную проблему (научить настоящему программированию без надлежащей математики и философии невозможно). Ученики являются руководителями фирм и ведущими специалистами[источник?]. Ведущие фирмы, приглашавшие их к себе, с удивлением отмечали, что их подготовка глубже, скажем, чем в МГУ и НГУ[источник?]. Работал консультантом ведущих российских софтверных фирм. Участвовал в разработке учебных планов факультета информационных технологий НГУ и в становлении этого факультета. [править] Список ключевых трудов Непейвода Н. Н. Стили и методы программирования: Курс лекций: Учеб.пособие. — Интернет-ун-т информ.технологий, 2005. — ISBN 5-95560-023-0 Непейвода Н. Н., Скопин И. Н. Основания программирования. — 2003. — ISBN 5-93972-299-7 Непейвода Н. Н. О построении правильных программ // Вопросы кибернетики. — 1978. — № 46. — С. 88-122. Непейвода Н. Н. Прикладная логика. — Новосибирск: НГУ, 2000. Публикации в Викиучебнике в разделе Журнал «Потенциал» [править] Внешние ссылки Личная страничка Н. Н. Непейводы Программный комитет Конференции ТИПД-2008 Источник — «http://ru.wikipedia.org/wiki/%D0%9D%D0%B5%D0%BF%D0%B5%D0%B9%D0%B2%D0%BE%D0%B4%D0%B0,_%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0%D0%B9_%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0%D0%B5%D0%B2%D0%B8%D1%87» ... Системный анализ на фоне Ливии ... Продолжаю серию публикаций по материалам занятий на курсе “Системный и логический анализ” 22 марта 2011 г. и в предшествующую субботу основными материалами для анализа студентов были события вокруг Ливии .... ... |
