The logical approach to programming

  • N. N. Nepeivoda
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 122)


This paper is the first attempt to expose the logical approach as a unifying concept of the programming theory. It is well seen now that potential benefits are great but a radical reconstruction of the way of mathematical and programmistic thinking is required. In principle, programming has to be merged with mathematics. The author sees this merging accomplished on the basis ofthe reborn and reconstructed constructive approach that could be called empirical constructivism.

The author is grateful for the support and valuable discussions to many scholars, and especially, A.P.Ershov, V.A.Nepomnyashchy, G.S.Tseitin, and E.Engeler.


Inference Rule Logical Approach Intuitionistic Logic Resolution Method Iterate Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Цейтин Г.С. Нематематичесое мышление в программировании. "Перспективы системного и теоретического программирования", Новосибирск, 1979, стр. 128–132.Google Scholar
  2. 2.
    Ershov A.P. On the essense of compilation. Formal description of programming concepts. Amsterdam, North-Holland, 1977, p. 391–420.Google Scholar
  3. 3.
    Марков А.А. О конструктивной математике. Тр. МИАН СССР, вып.67, 1962, стр. 8–14.Google Scholar
  4. 4.
    Kreisel G. Some uses of proof theory for finding computer programs. Colloq. Intern. Log., Clermont-Ferrant, 1975, p. 151.Google Scholar
  5. 5.
    Dahl O.-J., Dijkstra E.W., Hoare C.A.P. Structured programming. London & New York, Academic Press, 1972.Google Scholar
  6. 6.
    Попов Э.В., Фирдман Г.Р. Алгоритмические основы интеллектуалвных роботов и искусственного интеллекта. "Наука", М., 1976.Google Scholar
  7. 7.
    Kleene S.K. Introduction to metamathematics. New York, Van Nostrand, 1952.Google Scholar
  8. 8.
    Непейвода Н.Н. Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня. ДАН СССР, т. 239, 1978, No 3, стр. 526–529.Google Scholar
  9. 9.
    Непейвода Н.Н. О построении правильных программ. "Вопросы кибернетики", вып. 46, 1978, стр. 88–122.Google Scholar
  10. 10.
    Непейвода Н.Н. Об одном методе построения правилвной программы из правилвных подпрограмм. "Программирование", 1979, No I, стр. 11–21.Google Scholar
  11. 11.
    Непейвода Н.Н. Применение теории доказателвств к задаче построения правилвных программ. "Кибернетика", 1979, No 2, стр. 43–48.Google Scholar
  12. 12.
    Manna Z., Waldinger R. The logic of computer programming. IEEE Trans. on Software Engineering, vol. SE-4, no.5 (1978).Google Scholar
  13. 13.
    Manna Z., Waldinger R. The synthesis of structure-changing programs. Proc. of the 3-d Intern. Conf. on Software Engineering, May 1978.Google Scholar
  14. 14.
    Manna Z., Waldinger R. A deductive approach to program synthesis. Proc. 6-th Intern. Conf. on AI, Tokyo, 1979, p. 542.Google Scholar
  15. 15.
    Rasiowa H., Sikorski R. The mathematics of metamathematics. Warszawa: PWH, 1963.Google Scholar
  16. 16.
    Тыугу Э.Х. Система программирования с автоматическим синтезом алгоритмов. "Тр. Всес. симп. по методам реализации новых алгоритмических языков", вып. 2, Новосибирск, 1975, стр. 94–108.Google Scholar
  17. 17.
    Darlington J. A synthesis of several sorting algorithms. Acta Informatica, 1979, vol.12, no.1, p.1.Google Scholar
  18. 18.
    Ершов А.П. Смешанные вычисления: потенциалвные применения и проблемы исследования. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", ч.2, Вильнюс, 1980, стр. 26–55Google Scholar
  19. 19.
    Burstall R.M., Darlington J. A transformation system for developing recursive programs. J. of ACM, vol.24, no.1 (1977), p.44.CrossRefGoogle Scholar
  20. 20.
    Barzdyn J.M. On inductive synthesis of programs (this volume).Google Scholar
  21. 21.
    Непейвода Н.Н. Конструктивные логики ограниченных построений. "Релевантные логики и теория следования", М., 1979, стр. 76–80.Google Scholar
  22. 22.
    Белвтюков А.П. Формалвная теория для порождения правилвных программ заданной вычислителвной сложности. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", ч.I, Вильнюс, 1980, стр. 64–66.Google Scholar
  23. 23.
    Непейвода Н.Н. Логическое программирование. М., Научн. совет по кибернетике АН СССР, 1980, 16 с.Google Scholar
  24. 24.
    Гололобов В.И., Чеблаков Б.Г., Чинин Г.Д. Описание языка ЯРМО. Препринт 247, ВЦ, СО АН СССР, Новосибирск, 1980.Google Scholar
  25. 25.
    Марков А.А. Об одном принципе конструктивной математической логики. "Тр. 3-го Всес. математ. съезда", т.2. АН СССР, 1956, стр. 146–147.Google Scholar
  26. 26.
    Heiting A. Intuitionism. Amsterdam, North-Holland, 1972 (3rd ed.).Google Scholar
  27. 27.
    Nepeivoda N.N. The connections between the proof theory and computer programming. 6th Intern. Congr. of Logic, Methodology and Philosophy of Science, Hannover, 1979, vol. 1, p. 7–11.Google Scholar
  28. 28.
    Nepeivoda N.N. A proof theoretical comparizon of program synthesis and program verification. 6th Intern. Congr. of Logic, Methodology and Philosophy of Science, Hannover, 1979, vol.1, p. 47–51.Google Scholar
  29. 29.
    Bauer F.L. et al. Report on a mide spectrum language for program specification and development. TUM-I 8104. München, TUM Institut für Informtik, May 1981, 236 p.Google Scholar
  30. 30.
    Tseytin G.S. From logicism to proceduralism (this volume).Google Scholar
  31. 31.
    Knuth D.E. Algorithms in modern mathematics and computer science (this volume).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • N. N. Nepeivoda
    • 1
  1. 1.IzhevskUSSR

Personalised recommendations