formalizēt
formalizēt 2. konjugācijas darbības vārds; transitīvs
LocīšanaLocīšana
Īstenības izteiksme:
Tagadne | Pagātne | Nākotne | ||||
---|---|---|---|---|---|---|
Vsk. | Dsk. | Vsk. | Dsk. | Vsk. | Dsk. | |
1. pers. | formalizēju | formalizējam | formalizēju | formalizējām | formalizēšu | formalizēsim |
2. pers. | formalizē | formalizējat | formalizēji | formalizējāt | formalizēsi | formalizēsiet, formalizēsit |
3. pers. | formalizē | formalizēja | formalizēs |
Pavēles izteiksme: formalizē (vsk. 2. pers.), formalizējiet (dsk. 2. pers.)
Atstāstījuma izteiksme: formalizējot (tag.), formalizēšot (nāk.)
Vēlējuma izteiksme: formalizētu
Vajadzības izteiksme: jāformalizē
Veidot (kādas parādības, struktūras u. tml. aprakstu) ar noteiktiem formāliem paņēmieniem.
Avoti: LLVV
Korpusa piemēri
Korpusa piemēri
- Nepieciešamība formalizēt šādu potenciālo modeļu klātbūtni noteica pievēršanos alternatīvam konceptualizācijas instrumentam, proti, Paula Frančeski konceptu matricai.
- 1. Pirmo reizi formalizēti tādi jēdzieni kā programmas ceļa simboliska izpilde testu ģenerēšanas vajadzībām, programmas globāla simboliska izpilde, ievesti formāli simboliskas valodas, tās pilnības un globālas pilnības jēdzieni.
- Testēšanas automatizācijas iespēju izpētes gaitā tika pirmoreiz formalizēti datorprogrammas testu ģenerēšanai izmantojamās ceļa simboliskas izpildes jēdziens, programmas globālas simboliskas izpildes jēdziens, ievesti formāli simboliskas valodas, tās pilnības un globālas pilnības jēdzieni.
Šie piemēri no latviešu valodas tekstu korpusa ir atlasīti automātiski un var būt neprecīzi.