Что такое чудо? Нечто сверхъестественное? Кинофильм поведает о явлениях, которые можно зафиксировать и даже изучить современными методами, но невозможно найти объяснение. Туринская Плащаница – умелая мистификация либо великая святыня? Почему химики, палеоботаники, антропологи, историки утверждают: Плащаница подлинная, а радиоуглеродный анализ показывает обратное? Каковы результаты дополнительных исследовательских работ? Что современная наука может сказать о Туринской Плащанице? Существуют ли бесспорные подтверждения ее подлинности? Как описать появление на ткани отпечатка тела?

Описание: В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.