Новости
19.07.2017
В Москве прошла международная конференция программистов PSI-2017
Организаторы PSI-2017: Институт системного программирования РАН, Институт систем информатики им. А.П. Ершова СО РАН, Новосибирский государственный университет, НИУ Высшая школа экономики.
Профессор берлинской Высшей школы техники и экономики Томас Баар: «Есть три взгляда на создание и развитие софта. Одни считают, что это — чистая математика, другие, что это — чистое искусство, третьи — чистое ремесло. На самом деле, истина где-то посредине. То, чего нельзя достичь обычными методами программирования, например, доказать корректность программы, можно сделать математически. И вместе это — искусство».