logika Hoare'a 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
formalizm matematyczny służący do opisu poprawności algorytmów.
Brak relacji po tej stronie
Polskihiperonimia
formalizm 3
rzeczownik
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ń.
