Dostupné výpočty z krátkých důkazů

Abstrakt

Studujeme několik situací v nichž je možné z důkazu, buď v teorii prvního řadu či ve výrokovém důkazovém systému, získat informaci o vypočtení složitosti.

Klíčová slova

• Dostupné
• výpočty
• krátkých
• důkazů