Tłumaczenie Formal Proof to Dowód Formalny.
Co to jest Formal Proof?
Kompletny i przekonujący argument matematyczny, przedstawiający pełne uzasadnienie logiczne dla każdego kroku dowodowego oraz prawdziwości twierdzenia lub zbioru twierdzeń.
Skrót: –
Dodaj komentarz