Читать книгу Wprowadzenie do teorii obliczeń - Michael Sipser - Страница 28

W dowodach matematycznych często pojawia się kilka typów argumentacji. W tym miejscu opiszemy kilka takich, które często występują w teorii obliczeń. Zwróćmy uwagę, że dowód może zawierać więcej niż jeden typ argumentacji, gdyż dowód może mieć kilka różnych dowodów podrzędnych.