ИСТИНА

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

2 статьи, 2 доклада на конференциях, 1 тезисы доклада

IstinaResearcherID (IRID): 19818171

Деятельность

• Статьи в сборниках

  • • 1989 О конструктивных логиках
    • Непейвода Николай Николаевич
    • в сборнике Синтаксические и семантические исследования неэкстенсиональных логик, место издания Наука Москва, с. 81-92
    • редактор Смирнов Владимир Александрович
  • • 1978 О построении правильных программ
    • Непейвода Николай Николаевич
    • в сборнике Языки моделирования и программное обеспечение гибридных вычислительных систем, серия Вопросы кибернетики, место издания Научный совет по комплексной проблеме «Кибернетика» Академии Наук СССР Москва, том 46, с. 88-122

• Доклады на конференциях

  • • 2014 Конструктивные логики ограниченных построений и их влияние на практику и методологию (Устный)
    • Автор: Непейвода Николай Николаевич
    • Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
  • • 2005 Вызовы логики и математики XX века и ответы на них цивилизации (Устный)
    • Автор: Непейвода Николай Николаевич
    • IV Российский философский конгресс: философия и будущее цивилизации, Москва, Россия, 24-28 мая 2005

• Тезисы докладов

  • • 1972 Предикативная и конструктивная истинность в наивном анализе
    • Непейвода Н.Н.
    • в сборнике Вторая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Москва: Отделение математики АН СССР, тезисы, с. 35