Resultados de la búsqueda

Ir a la navegación Ir a la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

Hay una página llamada «Formal» en esta wiki.

  • 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
    1 kB (160 palabras) - 16:40 17 dic 2017
  • En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y reglas para unir esos símbolos están
    14 kB (1946 palabras) - 17:20 21 ene 2021
  • La educación no formal (ENF) hace referencia a todas aquellas actividades que se llevan a cabo fuera del ámbito escolar, fuera de la estructura del sistema
    16 kB (2267 palabras) - 18:08 24 sep 2020
  • En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo
    9 kB (1236 palabras) - 05:26 31 jul 2020
  • La educación formal, también conocida como formación reglada, es el proceso de educación integral correlacionado que abarca desde la educación infantil
    3 kB (296 palabras) - 02:42 5 may 2020
  • Una gramática formal es una estructura lógico-matemática con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un
    18 kB (2421 palabras) - 09:13 2 ene 2021
  • Una especificación formal usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse
    3 kB (383 palabras) - 12:16 5 ago 2019
  • Equivalencia dinámica y formal son dos técnicas de traducción. Para los Estudios de Traducción, la equivalencia es un concepto central, con aproximaciones
    6 kB (763 palabras) - 01:13 15 dic 2020
  • La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir
    8 kB (1022 palabras) - 15:40 11 jul 2019
  • sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que
    9 kB (1814 palabras) - 07:41 30 dic 2020
  • El análisis formal de conceptos (AFC), en inglés Formal Concept Analysis (FCA), es una teoría matemática y un método para el análisis de datos en cuanto
    36 kB (4573 palabras) - 05:53 21 abr 2020
  • La semántica formal es el estudio de las interpretaciones de los lenguajes formales.[1]​ Los lenguajes formales pueden definirse sin necesidad de dar ningún
    2 kB (200 palabras) - 17:50 10 jul 2019
  • Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes. Si bien su objeto de estudio no es el mundo físico-natural,
    2 kB (1398 palabras) - 04:39 29 sep 2020
  • En matemática, se llama serie formal de potencias (a veces serie de potencias formal) a una expresión matemática que extiende las propiedades de las series
    8 kB (1610 palabras) - 21:31 4 ago 2019
  • Lógica matemática (redirección desde Logica formal)
    también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1]​ es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas
    16 kB (3501 palabras) - 21:18 16 dic 2020
  • En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida
    6 kB (773 palabras) - 20:21 17 jul 2019
  • En química, una carga formal (Qf) es una carga parcial de un átomo en una molécula, asignada al asumir que los electrones en un enlace químico se comparten
    9 kB (1227 palabras) - 00:09 22 ene 2021
  • Las Pruebas Formales de Software (Formal Testing) son un enfoque de Prueba de Software en el que se usa extensivamente y de manera integrada una clase
    7 kB (885 palabras) - 00:34 12 ene 2021
  • Carta (redirección desde Carta formal)
    la carta debe ser adecuado para el receptor y entendible: Carta formal: La carta formal sirve para todo lo que tiene que ver con objetivos profesionales
    5 kB (725 palabras) - 11:06 25 ene 2021
  • Feo, fuerte y formal es el duodécimo álbum de estudio del cantante español Loquillo junto a la banda Trogloditas, publicado en 2001.[2]​ Grabado en 2001
    4 kB (248 palabras) - 19:49 26 oct 2020

Resultados de proyectos hermanos

Ver (20 previas · 20 siguientes) (20 · 50 · 100 · 250 · 500).