| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Компьютерная литература > теория программирования |
| Автор: iSpite 10.8.2010, 19:25 |
| подскажите книги про программирование! не по конкретному языку а в общем, как бы философию программирования. очень хочу найти книжку или лекцию, помню только цитату(не помню точно, но мысль такая): "каждая создаваемая программа изначально забагованна, ибо проверить и доказать обратное нельзя, ввиду невозможности запустить программу бесконечное число раз, и программист может обеспечить только определенный процент устойчивости программы" ps извиняюсь если тема уже обсуждалась, но я нашел(здесь) только книги по ООП программированию. |
| Автор: surfrider 14.8.2010, 16:19 |
| iSpite, книга SICP считается у многих "библией программирования", очень часто про нее слышу. http://ru.wikipedia.org/wiki/Структура_и_интерпретация_компьютерных_программ А вообще, вероятно тебе тут больше смогут помочь, если ты конкретней укажешь, о чем бы хотел прочитать. Да, попробуй прямо поискать книги с названием "философия программирования", я где-то подобное видел. |
| Автор: ValeryLaptev 22.8.2010, 08:22 |
| Данные слова принадлежат Эдсгеру Дейкстре: "Тестирование никогда не докажет отсутствие ошибок, а только их наличие" И еще: "Избыточное тестирование невозможно". SICP - хороший вариант. Можно почитать Дейкстру - все книжки, что есть. По философии программирования можно читать Непейводу "Основания программирования". Есть очень сильная книга Ершова "Введение в теоретическое программирование" - но тут надо сечь теорию графов. |