que es un sistema formal

1. ¿QUÉ ES UN SISTEMA FORMAL?
Un sistema formal es un tipo de sistema lógico-deductivo constituido por un lenguaje formal, una gramática formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas. Los sistemas formales también han encontradoaplicación dentro de la informática, la teoría de la información, y la estadística, para proporcionar una definición rigurosa del concepto de demostración. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema axiomático, los cuales pueden ser expresados en lenguaje formal o en lenguaje natural formalizado.
Llamamos formalización al acto de crear unsistema formal, con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, en un modelo conceptual expresado en un determinado lenguaje formal.
En la Teoría de la demostración, las demostraciones formales pueden expresarse en el lenguaje de los sistemas formales, consistentes en axiomas y reglas de inferencia. Los teoremas pueden ser obtenidos por mediode demostraciones formales. Este punto de vista de las matemáticas ha sido denominado formalista; aunque en muchas ocasiones este término conlleva una acepción peyorativa. En ese sentido David Hilbert creó la disciplina denominada metamatemática dedicada al estudio de los sistemas formales, entendiendo que el lenguaje utilizado para ello, denominadometalenguaje era distinto del lenguaje del sistemaformal que se pretendía estudiar. El lenguaje formal que se estudia, en este caso se llama también, en ocasiones, lenguaje objeto.
Un sistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje formalizado y simbolizado sin contenido material alguno; un lenguaje reducido a mera forma que se expresa mediante fórmulas que reflejan las relaciones sintácticas entre los símbolosy las reglas de formación y transformación que permiten construir las fórmulas del sistema y pasar de una fórmula a otra.
El objetivo de un sistema formal es señalar como válidas determinadas cadenas. Estas cadenas válidas se denominan teoremas. Para obtener los teoremas se emplean las reglas de producción que convierten una cadena en otra. Hay ciertos teoremas iniciales que no se obtienen deninguna regla, éstos son los axiomas que se suponen válidos por definición y se convierten en el germen de producción de teoremas.



3. LA ORGANIZACIÓN ES UN CONJUNTO DE ROLES QUE INTERACTUAN Y QUE SE ENTRE LAZAN, ¿CUALES SON ESOS ROLES?
- El acceso a los recursos: los bienes e instrumentos de que dispone el grupo es frecuente que se distribuyan de forma desigual y no siempre equitativa entretodos sus miembros:
- El control de las personas: la división del trabajo asociada a la complejidad de las situaciones en las que actúan los grupos requiere de crecientes niveles de coordinación, que, a su vez, exigen que se ejerza control sobre las actividades que realizan los subgrupos y los individuos;
- El “status” de los miembros del grupo: la percepción que tienen los miembros de un grupoacerca de la contribución real y potencial que cada uno de ellos hace o puede hacer al logro de los objetivos colectivos inducen niveles de influencia y de prestigio diferenciados y jerarquizados;
- El grado de solidaridad o de identificación: los procesos de compartimentación y especialización que se producen en los grupos es frecuente que determinen una disminución del nivel de solidaridad queexiste entre sus integrantes.

-Desarrollo del negocio
El desarrollo empresarial es una responsabilidad esencial en toda organización. En la mayoría de situaciones, los gerentes de alto nivel son responsables de mapeo de las actividades del negocio. Estos gerentes incluyen ejecutivos, directores generales y directores financieros. Sin embargo, los directivos de todos los niveles tienen la...