Resultados de la búsqueda

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

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

Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).
  • Formal puede hacer referencia a: La gramática formal; en lógica matemática, ciencias de la computación y lingüística teórica, estructura con un conjunto…
    1 kB (177 palabras) - 09:01 8 sep 2023
  • La educación formal es un concepto que se utiliza para definir a todo proceso de enseñanza y aprendizaje impartido por los establecimientos educativos…
    9 kB (1076 palabras) - 22:56 1 may 2024
  • Miniatura para Educación no formal
    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…
    27 kB (3618 palabras) - 23:15 1 may 2024
  • Miniatura para Lenguaje formal
    En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos…
    14 kB (1962 palabras) - 23:39 23 abr 2024
  • 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 (1238 palabras) - 11:20 27 ene 2024
  • Miniatura para Gramática formal
    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 (2420 palabras) - 17:33 9 abr 2024
  • 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 (1824 palabras) - 11:25 19 abr 2024
  • 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) - 20:56 25 dic 2023
  • 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 (382 palabras) - 15:32 29 ene 2024
  • 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 (743 palabras) - 02:30 4 may 2024
  • El análisis formal de conceptos (AFC), también denominado análisis de conceptos formales,[Nota 1]​ en inglés Formal Concept Analysis (FCA), es una teoría…
    37 kB (4640 palabras) - 19:58 18 ene 2024
  • 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…
    4 kB (587 palabras) - 02:04 18 oct 2022
  • Miniatura para Atuendo formal
    El atuendo formal o vestimenta formal es la categoría de código de atuendo occidental tradicional aplicable a las ocasiones más formales, tales como casamientos…
    20 kB (470 palabras) - 05:07 15 sep 2023
  • 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 (1456 palabras) - 09:56 18 sep 2022
  • Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales. Si bien su objeto de estudio no es el mundo…
    2 kB (1690 palabras) - 18:39 12 mar 2024
  • 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 (770 palabras) - 13:10 3 ene 2024
  • 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 (887 palabras) - 18:22 17 abr 2021
  • Miniatura para Carga formal
    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 (1221 palabras) - 21:18 16 ene 2024
  • 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…
    32 kB (5266 palabras) - 21:56 6 abr 2024
  • Miniatura para Carta
    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…
    6 kB (815 palabras) - 02:38 7 may 2024
Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).