«Философия Java» — С. А. Ан

«Философия Java» — С. А. Ан

Соревнование по программированию, которое сейчас называют Олимпиадой по информатике, началось в середине 1970-х и давно перестало быть экзаменом: это отдельная наука со своей эстетикой. Книга «Философия Java» отражает именно её — взгляд на язык как на способ выражать мысли и проектировать программы, а не просто писать работающий код. Авторы — преподаватели МГУ, много лет связанные с олимпиадным движением.

Первая часть работы посвящена истории: как менялись языки и условия соревнований, почему задачи формулируются именно так и что именно требуется доказать в решении. Объясняется, что олимпиадная программа живёт по иным правилам, чем обычная: здесь важны не только результат, но и строгость доказательства корректности, а код должен быть коротким и ясным.

Далее разбираются основные идеи, которые встречаются в задачах: динамическое программирование, жадные алгоритмы, комбинаторика, теория графов. Материал изложен на конкретных примерах с разбором решений, включая ошибки, которые чаще всего встречаются у новичков, и объяснением, как до них не дойти.

Отдельная часть книги говорит о самом языке Java. Разбираются классы, наследование, интерфейсы, исключения и коллекции — но с олимпиадной точки зрения. Автор объясняет, какие возможности стоит применять, а от каких лучше отказаться, потому что они мешают уложиться в ограничения по времени и памяти.

Книга будет полезна всем, кто готовится к соревнованиям, а также преподавателям информатики и студентам: она показывает, что программирование развивает не только инженерные, но и математические навыки. Спортивное чутьё, способность придумывать решение и доводить его до строгого доказательства здесь важнее скорости набора текста.

Олимпиадная программа живёт по иным правилам: здесь важны не только результат, но и строгость доказательства корректности.

• история олимпиадного программирования
• правила олимпиадного кода и доказательства
• динамическое программирование и жадные алгоритмы
• комбинаторика, графы, математика и логика
• особенности Java, важные на соревнованиях