formalizar
11Formalización — Saltar a navegación, búsqueda La formalización es la denominación de un trámite procesal del proceso penal chileno. El artículo 229 del Código Procesal de Chile lo define como la comunicación que el fiscal efectúa al imputado, en presencia del… …
12Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …
13Audiencia de formalización de la investigación — Saltar a navegación, búsqueda Es un trámite procesal de la Reforma Procesal de Chile, por la cual el Ministerio Público lleva a cabo la formalización misma. Por su parte, la formalización es la comunicación que el fiscal efectúa al imputado, en… …
14formalización — ► sustantivo femenino Acción y resultado de dar forma legal o reglamentar: ■ ayer tuvo lugar la formalización del contrato. * * * formalización f. Acción y efecto de formalizar. * * * formalización. f. Acción y efecto de formalizar o formalizarse …
15Cynic — Saltar a navegación, búsqueda Cynic Información personal Origen Miami, Florida, EE. UU …
16Espacio uniforme — Saltar a navegación, búsqueda En topología, espacios uniformes son aquellos utilizados para estudiar conceptos como la continuidad uniforme, completitud y convergencia uniforme. Los espacios uniformes generalizan los espacios métricos y abarcan… …
17Guía práctica para el emprendedor — Saltar a navegación, búsqueda Constitución de Empresas: Guía Práctica para el emprendedor, es una iniciativa impulsada en conjunto por el Servicio de Cooperación Técnica, SERCOTEC y el Centro de Políticas Públicas de la Pontificia Universidad… …
18Lenguaje formalizado — El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados». Es una de las características esenciales del lenguaje científico. Incluso hay autores que llegan a opinar que la ciencia en sí misma …
19Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… …
20Tupla — Una tupla, en matemáticas, es una secuencia ordenada de objetos, esto es, una lista con un número limitado de objetos (una secuencia infinita se denomina en matemática como una familia). Las tuplas se emplean para describir objetos matemáticos… …
