Cтраница 2
На третьем этапе контролируется правильность зафиксированной на носителях информации. В случае несоответствия ( наличия ошибки) оператор либо исправляет обнаруженную ошибку, либо вторично формирует промежуточный носитель, а затем вновь контролирует его содержание. Методы контроля различны и зависят в основном от вида носителя информации и применяемого оборудования. Наиболее распространены методы верификации, дубль-перфорации, сравнения, счетного и логического контроля. [16]
Если следующая нажатая клавиша соответствует предыдущей неправильной пробивке, то транспортный механизм машины сработает и передвинет перфокарту влево для контроля следующей колонки. Такого рода пропуск ошибок может быть, если в нескольких расположенных рядом колонках, пробиты одинаковые цифры. Но так как в этом случае контроль закончится не на последней колонке макета и, следовательно, не произойдет автоматического выброса перфокарты, то при внимательной работе оператора такого рода ошибки могут быть выявлены. Но следует отметить, что по ряду специальных и особенно статистических работ метод верификации остается единственно возможным. [17]
Проблемой проверки научных знаний, т.е. проверкой истинности знания вообще, специально занимается логика как научная дисциплина, и в этом случае речь идет о верификации знания. Под верификацией знания подразумевается проверка и установление не только необходимых и строгих истин, но возможной и вероятной истины. Но точно так же верификации в этом смысле могут подвергнуться все модальности истины, в том числе и отрицательные, от частных до общих, от основных до производных и от простых до наиболее сложных. В рамках рассмотрения весьма сложной проблематики верификации знания почти всегда рассматриваются принципы и методы верификации, вопросы уровня верификации знаний и проблема верификации общих положений. [18]