formalizēt
formalizēt -ēju, -ē, -ē, pag. -ēju; trans.
Veidot (kādas parādības, struktūras u. tml. aprakstu) ar noteiktiem formāliem paņēmieniem.
PiemēriMatemātiskā loģika - zinātne par matemātiskiem pierādījumiem. ..Aplūko formalizētus pierādījumus un izvedumus tā sauktajās deduktīvajās teorijās, kuras uzbūvētas ar aksiomātisku metodi.
Avoti: 2. sējums