Логические основы компьютера. Формы человеческого мышления. Формальная логика