Formaali (adj. ) on muodollinen, muotoa koskeva, säännöin täsmällistetty. Esimerkiksi luonnollista logiikkaa käytetään intuitiivisesti arkielämän päättelyissä. Jos se täsmällistetään - esimerkiksi tietokoneohjelmointia tai matemaattista päättelyä varten - tarvitaan formaalit päättelysäännöt ja näiden muodostamaa kokonaisuutta kutsutaan formaaliksi logiikaksi. Myös unkarin kielessä esiintyvä sijamuoto, modaali, joka ilmaisee tapaa.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Formaali (adj. ) on muodollinen, muotoa koskeva, säännöin täsmällistetty. Esimerkiksi luonnollista logiikkaa käytetään intuitiivisesti arkielämän päättelyissä. Jos se täsmällistetään - esimerkiksi tietokoneohjelmointia tai matemaattista päättelyä varten - tarvitaan formaalit päättelysäännöt ja näiden muodostamaa kokonaisuutta kutsutaan formaaliksi logiikaksi. Myös unkarin kielessä esiintyvä sijamuoto, modaali, joka ilmaisee tapaa.
- Het begrip formeel betekent letterlijk betreffende de vorm. In de wetenschap en maatschappij wordt het begrip "formeel" vooral gebruikt als predicaat in verschillende context: in de bedrijfskunde: formele organisatie, formele werkgever. in de economie: formele concurrentiepositie, formele kapitaalsverhoging. In de informatica: formeel algoritme, formele computertaal, formele programmeertaal, formele informatica, formele methoden. in de staatsleer en recht: formele eisen, formeel recht, formele rechtspositie, formele status. Zie ook: De jure. in de taalwetenschap: formele definitie, formele notatie, formele omschrijving, formele taal. in de formele wetenschap: logica, formele modelvorming, formeel systeem, formele theorie. formeel (bouwkunde): een tijdelijke ondersteuningsconstructie voor het metselen van bogen en gewelven formaliteit. beleefdheid. uitgedrukt in een vergelijking (wiskunde).
|
| dbpedia-owl:wikiPageDisambiguates
| |
| rdfs:comment
|
- Formaali (adj. ) on muodollinen, muotoa koskeva, säännöin täsmällistetty. Esimerkiksi luonnollista logiikkaa käytetään intuitiivisesti arkielämän päättelyissä. Jos se täsmällistetään - esimerkiksi tietokoneohjelmointia tai matemaattista päättelyä varten - tarvitaan formaalit päättelysäännöt ja näiden muodostamaa kokonaisuutta kutsutaan formaaliksi logiikaksi. Myös unkarin kielessä esiintyvä sijamuoto, modaali, joka ilmaisee tapaa.
- Het begrip formeel betekent letterlijk betreffende de vorm. In de wetenschap en maatschappij wordt het begrip "formeel" vooral gebruikt als predicaat in verschillende context: in de bedrijfskunde: formele organisatie, formele werkgever. in de economie: formele concurrentiepositie, formele kapitaalsverhoging. In de informatica: formeel algoritme, formele computertaal, formele programmeertaal, formele informatica, formele methoden.
|
| rdfs:label
|
- Formal
- Formaali
- Formalità
- Formel
- Formeel
- Formel
|
| foaf:page
| |
| is dbpedia-owl:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
