Johdettu sanasta: formalisoida
Merkitys
- formalization
Etymologia
formalisoida + johdin -nti
Liittyvät sanat
Käännökset
- engl.formalization
- ruotsiformalisering
- saksaFormalisierung
- ranskaformalisation
- viroformaliseerimine
- italiaformalizzazione
Esimerkkilauseet
Predikaattilogiikka mahdollisti myös matematiikan formalisoinnin, ja vaikutti näin matemaattisen logiikan, joukko -opin ja malliteorioiden kehitykseen.Tärkeäksi on osoittautunut myös formalisoinnin vaatimuksen tuominen kieliopin tutkimukseen.Englanninkieliset vastineet
- formalization
Esiintymistiheys
14 esiintymää · 0.0 / milj.
Suomi24
0.0
Sanomalehdet
0.0
Aikakauslehdet
0.0
Wikipedia
0.1
Reddit
0.0
Tekstitykset
0.0
Taivutustiedot
Taivutusluokka 5, vokaalivaihtelutyyppi J
| Sijamuoto | Yksikkö |
|---|---|
| Nominatiivi | formalisointi |
| Genetiivi | formalisoinnin |
| Partitiivi | formalisointia |
| Essiivi | formalisointina |
| Translatiivi | formalisoinniksi |
| Inessiivi | formalisoinnissa |
| Elatiivi | formalisoinnista |
| Illatiivi | formalisointiin |
| Adessiivi | formalisoinnilla |
| Ablatiivi | formalisoinnilta |
| Allatiivi | formalisoinnille |
| Abessiivi | formalisoinnitta |
Riimit
-ointi
Kaikki riimitLähteet
- Wikisanakirja (suomi)· CC BY-SA 4.0
- Wiktionary (englanti)· CC BY-SA 4.0
- FinnWordNet 2.0, Lindén et al. (2012)· CC BY 3.0
- Psykolingvistiset tunnusluvut, Kielipankki· CC BY 4.0