matematyzacja 1
noundomain: thinking
Słowosieć [ver.5.0]
PolishSynonyms
- formalizacja 2
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ą.
