formaalit menetelmät
Tieteen termipankista
Kieliopillinen koodaus (suomi)
| Sanaluokka | substantiivi |
| Sanamuoto | sanaliitto |
| Perussanatyyppi | |
| Johdostyyppi | |
| Yhdysosamuoto | |
| Suku | |
| Alkuperä |
Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
formaalit menetelmät (Tietojenkäsittelytiede)
joukko työkaluja ja merkintätapoja, jotka perustuvat matemaattisen päättelyn soveltamiseen tietokonejärjestelmien suunnittelussa ja toteutuksessa
Alaviite
Lähdeviittaus tähän sivuun:
Tieteen termipankki 6.12.2025: Nimitys:formaalit menetelmät.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:formaalit menetelmät.)