Formal

Formal , formalidad , informalidad o informalidad implican el cumplimiento o el incumplimiento de un conjunto de requisitos ( formas , en griego antiguo ). Pueden referirse a:

• Ropa formal , atuendo para eventos formales
• Vestimenta semiformal , vestimenta para eventos semiformales
• Vestimenta informal , más controlada que la casual pero menos formal.
• Cena formal (universitaria) , baile u otro evento oficial de la universidad.
• Fiesta formal escolar , cena oficial de la escuela, baile u otro evento

• Lógica formal o lógica simbólica
  • La lógica informal , el complemento, cuya definición y alcance son controvertidos.
• Falacia formal , razonamiento de estructura inválida
  • Falacia informal , el complemento
• Matemáticas informales , también llamadas matemáticas ingenuas
• Causa formal , la causa intrínseca y determinante de Aristóteles.
• Series de potencias formales , una generalización de las series de potencias que no requiere convergencia, utilizadas en combinatoria.
• Cálculo formal , un cálculo que es sistemático, pero sin una justificación rigurosa.
• Teoría formal de conjuntos , en contraposición a la teoría ingenua de conjuntos.
• Derivada formal , una operación sobre elementos de un anillo de polinomios que imita la forma de la derivada del cálculo.

• Métodos formales , técnicas basadas en las matemáticas para la especificación, el desarrollo y la verificación de sistemas de software y hardware.
• Especificación formal : describe lo que un sistema debe hacer, no cómo debe hacerlo.
• La verificación formal demuestra la corrección de un sistema.

• Sistema formal , un medio abstracto para generar inferencias en un lenguaje formal.
• Lenguaje formal , que comprende las "palabras" o "oraciones" simbólicas de un sistema formal.
• Gramática formal , una gramática que describe un lenguaje formal.
• Coloquialismo , el estilo lingüístico utilizado para la comunicación informal.
• Distinción T–V , que implica una distinción entre palabras formales e informales para "tú".
• Prueba formal , una prueba totalmente rigurosa como solo es posible en un sistema formal.
• Traducción palabra por palabra con equivalencia dinámica y formal , especialmente de la Biblia.

• Concentración formal , concentración molar de la fórmula química original en solución.
• Formal (se pronuncia "form-al")
  • Un compuesto CH ₂ (OR) ₂ , nombrado por analogía con los acetales CHR ¹ (OR) ₂ (definición histórica) y los cetales CR ¹ R ² (OR) ₂
  • Dimetoximetano (CH₂ ₍ OCH₃ ₎ ₂ ₎ en particular, el derivado formal del metanol

• Una formalidad , un procedimiento establecido o un conjunto de comportamientos específicos.
  • Pro forma , sin otro propósito que el de cumplir con una formalidad.
• Actividades informales:
  • Educación informal , educación fuera de un entorno escolar estándar.
  • Sector informal , la parte de una economía que no está sujeta a impuestos ni a la supervisión de ningún tipo de gobierno.
  • Asentamiento informal o barrio marginal
  • Sistema informal de transferencia de valor , fuera del sistema bancario convencional.
  • Control social informal , imposición de normas sin recurrir a las leyes.

• Voto informal , un voto nulo, inválido o no válido emitido en una elección.
• MV Formality , un crucero (anteriormente Empire Favourite ) propiedad de FT Everard & Sons, desguazado en 1962.

• Formulario (desambiguación)
• Formalismo (desambiguación)
• Teoría formal (desambiguación)