formalizacja 2
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
postępowanie logiczne, którego celem jest nadanie teorii lub systemowi myślowemu postaci sformalizowanej, np. formalizacja rachunku zdań.
hyponymy
aksjomatyzacja 1
noun
przedstawienie teorii, zwłaszcza matematycznej za pomocą systemu aksjomatów.
proces polegający na wyborze spośród tez rachunku zdań pewnych zdań jako aksjomatów i podaniu reguł wyprowadzenia z nich innych tez.
Polishhypernymy
zamiana 1
noun
przekształcenie się, przejście z jednej formy lub postaci w inną.
