Индукция, её виды. Методы научной индукции и выявления причинно-следственных связей: метод единственного сходства, единственного различия, объединенный, сопутствующих изменений, остатков. Примеры использования в случае потери регистров в ассемблере NASM на Linux x64. Условно-категорический силлогизм и его модусы. Заметка о контрактном программировании. Недостатки методологии и возможность ошибок.