sistema de cine

SAF
Un sistema formal o un sistema axiomático es un artificio matemático compuesto de símbolos que se unen entre sí formando cadenas que a su vez pueden ser manipuladas según reglas para producirotras cadenas. De esta manera, el sistema formal es capaz de representar cierto aspecto de la realidad.
En las ciencias formales de la lógica y las matemáticas, así como en otras disciplinasrelacionadas, como son la informática, la teoría de la información, y la estadística, un ‘’sistema formal’’ es una gramática formal usada para la modelización de diferentes propósitos. Llamamos‘’formalización’’ al acto de crear un sistema formal, y se trata de una acción con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, en un modelo conceptual expresado enun determinado lenguaje formal


Sistemas axiomáticos formales e informales

Un sistema formal se compone de lo siguiente:
1. Un conjunto finito de símbolos que se utilizan para la construcciónde fórmulas. Es el alfabeto o vocabulario.
2. Una gramática formal, es decir, un mecanismo para la construcción de fórmulas bien formadas (abreviado: fbf ó wff)
3. Un conjunto de axiomas que debenser fórmulas bien formadas.
4. Un conjunto de reglas de inferencia (mediante las cuales se obtienen conclusiones en base a la información conocida)
5. Un conjunto de teoremas que incluye todas lasfbf que se pueden derivar de los axiomas o de otros teoremas mediante reglas de inferencia.





Un sistema informal se compone de lo siguiente:
Usa una lengua natural formalizada ydefiniciones no ambiguas, los libros de matemática y otras disciplinas formales normalmente redactan los axiomas de esta manera.
Los sistemas de axiomas formales son más sencillos de estudiar y son preferiblespara caracterizar las propiedades de los sistemas matemáticos. En particular admiten una caracterización semántica muy clara en la teoría de modelos y sus propiedades deductivas pueden ser...