Логические инструменты на службе у физиков