1. Incompleteness theorem of formal theories from programmer's viewpoint

   • V. M. Glushkov

   OriginalPaper Pages: 155 - 159

2. Completeness of algorithmic logic

   • B. A. Trakhtenbrot

   OriginalPaper Pages: 160 - 166

3. On the logic of programs

   • R. A. Plyushkyavichyus
   • A. Yu. Plyushkyavichene
   • S. P. Yukna

   OriginalPaper Pages: 167 - 176

4. Information in a calculus and combinatorial-scan performance

   • S. Yu. Maslov

   OriginalPaper Pages: 176 - 183

5. Machine deduction of theorems on dynamic properties with vector functions of Lyapunov

   • V. M. Matrosov
   • S. N. Vasil'ev
   • S. A. Yadykin

   OriginalPaper Pages: 184 - 194

6. Instrumental means for the design of programs for processing mathematical texts

   • V. M. Glushkov
   • Yu. V. Kapitonova
   • A. A. Letichevskii

   OriginalPaper Pages: 195 - 201

7. Application of proof theory to the problem of construction of correct programs

   • N. N. Nepeivoda

   OriginalPaper Pages: 202 - 209

8. System for processing mathematical texts

   • Yu. V. Kapitonova
   • K. P. Vershinin
   • A. V. Lyaletskii

   BriefCommunication Pages: 209 - 210

9. Algorithm of intellect and its evolution

   • N. M. Amosov

   OriginalPaper Pages: 210 - 218

10. Knowledge representations in robot artificial intelligence systems

    • A. M. Kasatkin

    OriginalPaper Pages: 218 - 228

11. methodological, engineering, and mathematical aspects of computer-aided design of robot environmental-perception systems

    • V. I. Rybak

    OriginalPaper Pages: 228 - 234

12. Symmetrical approach to the problem of automating stereoscopic measurements in photogrammetry

    • G. L. Gimel'farb

    OriginalPaper Pages: 235 - 247

13. Adaptation in problem-solving systems

    • V. P. Gladun
    • N. D. Vashchenko

    OriginalPaper Pages: 247 - 254

14. Problem description language SITPLAN

    • N. I. Galagan

    OriginalPaper Pages: 255 - 266

15. Situational and definitor semantics in a knowledge-representation system

    • V. S. Lozovskii

    OriginalPaper Pages: 266 - 270

16. Dialogue between user and computer involving artificial intelligence

    • A. M. Dovgyallo

    OriginalPaper Pages: 270 - 278

17. Concepts system for applied-intelligence objects

    • G. A. Ball

    OriginalPaper Pages: 279 - 283

18. Fluctuation approach to general systems theory

    • V. M. Glushkov

    Brief Communications Pages: 284 - 286

19. Bionic approach to structural simulation of purposive thinking

    • Z. L. Rabinovich

    Brief Communications Pages: 286 - 289

20. IFIP-80 Congress—An invitation to submit papers

    Brief Communications Pages: 290 - 290