logika Hoare'a 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
formalizm matematyczny służący do opisu poprawności algorytmów.
No relations on this side
Polishhypernymy
formalizm 3
noun
kierunek w filozofii matematyki, będący formą rozwojową logicyzmu, który postuluje, że matematyka jest systemem formalnym, który zawiera aksjomaty, pewien zespół definicji oraz wyprowadza swoje wnioski w oparciu o te pojęcia korzystając z rachunku logicznego zdań.
