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.

PropertyValue
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