formal

Formal and Informal, and Formality and Informality, may refer to

• Form (disambiguation)
• Formalism (disambiguation)

Das Adjektiv formal bezieht sich auf die Substantive

Formal puede hacer referencia a:

• El cálculo formal.
• La gramática formal; en lógica matemática, ciencias de la computación y lingüística teórica, estructura con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural.
• El lenguaje formal; en matemáticas, lógica y ciencias de la computación, lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.
• El método formal; en ingeniería de software, método para la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos.
• El sistema formal; en lógica, matemáticas, informática, teoría de la información y estadística, formalización rigurosa y completa del concepto de sistema axiomático.
• La verificación formal; en lenguaje lógico, método de validación estática.

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 kapitaalverhoging.
• 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).

Formel

• Langage formel
• Calcul formel
• Système formel
• Neurone formel
• Logiciel de calcul formel

Informel

• Art informel
• Économie informelle