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