М.: Мир, 1975. — 97 с. К моему читателю. О количественной ограничености наших возможностей. О надежности аппаратуры. О наших интеллектуальных средствах. Пример доказательства правильности программы. О противоречии между правильностью доказательств и правильностью реализации. О понимании программ. О сравнении программ. Первый пример поэтапного составления программы. О семействах...
Комментарии