UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera 301405- AUTOMATAS Y LENGUAJES FORMALES 2013- 2 Inter

semestral

ACTIVIDAD No. 2 FASE DE RECONOCIMIENTO GENERAL

Elaborado por: Luis Alberto Sanchez C CC 16.786.134 Grupo # 1

Tutor Alfonso Alexander Lpez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA PALMIRA Noviembre - 2013

INTRODUCCION

El presente documento tiene como objetivo presentar el respectivo desarrollo de las actividades requeridas en esta actividad de reconocimiento general la cual pretende en su amplio contenido Reconocer nociones bsicas de conjuntos y su aplicacin, lo cual incluye el reforzar conceptos bsicos de la Teora de Conjuntos, y a la vez interpretar funciones bsicas de los conjuntos, tambin motiva para hacer un recorrido por el documento base del curso e identificar las temticas del curso, lo cual incluye las definiciones y conceptos de expresiones regulares, gramticas, lenguajes, alfabetos, cadenas.

Sin lugar a dudas la catedra Autmatas y lenguajes formales da conocer el uso y mtodos utilizados para los lenguajes y mquinas de estado finito e infinito y su programacin y evolucin. La teora de autmatas es una rama de las ciencias de la computacin que estudia las mquinas abstractas y los problemas que stas son capaces de resolver. La teora de autmatas est estrechamente relacionada con la teora del lenguaje formal ya que los autmatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.

Un autmata es un modelo matemtico para una mquina de estado finito (FSM). Una FSM es una mquina que, dada una entrada de smbolos, "salta" a travs de una serie de estados de acuerdo a una funcin de transicin.

JUSTIFICACION

La teora de conjuntos es una rama de las matemticas que estudia las propiedades de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cualquier teora matemtica.

Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras geomtricas,; y junto con la lgica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teora de Zermelo - Fraenkel es suficiente para desarrollar toda la matemtica.

Adems, la propia teora de conjuntos es objeto de estudio per se, no slo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hiptesis del continuo o la existencia de un cardinal inaccesible. Por esta razn, sus razonamientos y tcnicas se apoyan en gran medida en la lgica matemtica.

DESARROLLO DEL INFORME

Sean los conjuntos conformados por:

CONCLUSIONES

Tal como se observa en el documento base de la catedra lgica matemtica se puede comprender que servir para desarrollar competencias para expresar razonamientos lgicos en lenguaje simblico.

Tambin durante el transcurso del curso podremos identificar y aplicar las diferentes leyes de la lgica en procesos de argumentacin, al llevarlas al lenguaje natural.

El curso busca que se desarrollen competencias para la construccin de funciones lgicas en programas de computacin, como las hojas de clculo o de lenguajes de programacin.

El uso del software CMAP tolos permite una visin fcil y practica del contenido general del curso.

BIBLIOGRAFIA

http://www.cimm.ucr.ac.cr/cuadernos/documentos/Normas_APA.pdf
http://cmap.ihmc.us/download/dlp_CmapTools.php http://es.wikipedia.org/wiki/Estilo_APA Modulo Logica Matematica, Autor Georffrey Acevedo Gomez, UNAD, Medellin, 2012.