> -- Валерий Лаптев писал(а):
> Очень интересно почитать и посмотреть, как физики подходят к программированию...Ну вот, совсем страшно стало... Нету там ничего особенного. Никакого доказательного программирования, три упражнения с конъюнкцией на цикл Дейкстры, и всё.