Universidad Del Valle De Mxico

Estadstica

Alvin Betancourt Nez

INTRODUCCION GENERAL La Teora de la Computacin o Informtica Terica, es una ciencia cuyas bases estn establecidas bsicamente en principios de la matemtica y de la computacin que centra su inters en el estudio y definicin formal de los cmputos y es un campo especialmente rico para la indagacin filosfica. Se le llama cmputo a la obtencin de una solucin o resultado (generalmente en el sentido matemtico/aritmtico del trmino), a partir de ciertos datos o entradas utilizando para ello un proceso o algoritmo. El presente trabajo tiene como objetivo estudiar con un cierto nivel de profundidad los siguientes temas: Tablas de verdad Puertas Lgicas NOT, AND, OR, NAND, NOR, XOR, XNOR. Teora de conjuntos Traductores de lenguajes.

Es una tabla que despliega el valor de verdad de una proposicin compuesta para cada combinacin de valores de verdad que se pueda asignar a sus componentes y fue desarrollada por Charles Ledsin Pierce por el ao 1880. En pocas palabras la construccin de tablas de verdad simplifica la tarea de determinar la verdad o falsedad de una proposicin. Como se muestra en el siguiente diagrama:

Las lneas conectadas a la izquierda del smbolo de una puerta lgica son las entradas, a la derecha del smbolo de una puerta lgica hay una nica lnea conectada que representa la salida.

El estado de las entradas y salidas de una puerta lgica lo representaremos de la siguiente manera: Falso: nivel lgico bajo 0 binario Verdadero: nivel lgico alto 1 binario El funcionamiento de una puerta lgica puede caracterizarse usando una tabla de verdad Para simplificar la tabla es frecuente representar los niveles bajos con 0 y los niveles altos con 1. Dada una puerta lgica de n entradas, el nmero de filas de la tabla de verdad ser igual al nmero de posibles combinaciones de las entradas: 2n.

PUERTA LGICA NOT. La puerta lgica NOT, tambin llamada inversor, realiza la operacin lgica conocida como inversin o complementacin. El inversor cambia de un nivel lgico al nivel opuesto: Si la entrada est a nivel bajo, la salida estar a nivel alto Si la entrada est a nivel alto, la salida estar a nivel bajo

El indicador de negacin. El indicador de negacin es un crculo que, cuando aparece a la entrada o a la salida de una puerta lgica, indica complementacin o inversin.

Cuando se encuentra en una entrada quiere decir que se invierte el valor de la entrada. Cuando se encuentra en la salida quiere decir que se invierte el valor de la salida.

Expresin lgica de la puerta NOT.

Las magnitudes lgicas pueden representarse con smbolos denominados variables.

Una variable booleana se designa mediante un nombre, generalmente una letra. Los valores posibles de una variable booleana son 0 y 1. El complemento o negacin de una variable se expresa mediante una barra encima de la letra. Si una variable vale 1 su complemento vale 0. Si una variable vale 0 su complemento vale 1.

PUERTA LGICA AND. El propsito de una puerta lgica AND es determinar cundo ciertas condiciones de entrada son verdaderas de forma simultnea. Se genera un nivel alto a la salida slo cuando todas las entradas estn a nivel alto. Si cualquiera de las entradas est a nivel bajo, se genera un nivel bajo a la salida independientemente del resto de entradas.

Expresin lgica de la puerta AND.

Una puerta lgica AND realiza una operacin que se denomina multiplicacin lgica. La multiplicacin lgica se representa matemticamente colocando un punto entre dos variables o escribiendo las dos variables juntas.

La multiplicacin lgica sigue las reglas bsicas de la multiplicacin binaria.

PUERTA LGICA OR.

El propsito de una puerta lgica OR es determinar cundo una o ms de sus entradas estn a nivel alto.
Se genera un nivel bajo a la salida slo cuando todas las entradas estn a nivel bajo. Si cualquiera de las entradas est a nivel alto, se genera un nivel alto a la salida independientemente del resto de entradas.

Expresin lgica de la puerta OR.

Una puerta lgica OR realiza una operacin que se denomina suma lgica. La suma lgica se representa matemticamente colocando un signo + entre dos variables.

La suma lgica sigue las reglas bsicas de la suma binaria, excepto en el caso de la suma de dos unos, ya que no existe el acarreo.

PUERTA LGICA NAND.

La puerta lgica NAND es muy popular porque es una puerta universal, es decir, es posible disear un circuito digital utilizando nicamente puertas NAND El trmino NAND es una contraccin de NOTAND e indica una puerta AND con la salida complementada.

Una puerta lgica NAND funciona de una forma exactamente contraria a una puerta lgica AND. Se genera un nivel bajo a la salida slo cuando todas las entradas estn a nivel alto. Si cualquiera de las entradas est a nivel bajo, se genera un nivel alto a la salida independientemente del resto de entradas.

Cualquier coleccin de objetos o individuos se denomina conjunto, y estn en todas partes, vamos a mencionar algunos ejemplos de conjuntos para hacerlo mas claro:

Conjunto de los nmeros naturales, de los televisores de la ciudad de Mxico y de los peces en los ocanos; y nuestro objetivo ser el de estudiar aquellos conjuntos que estn relacionados con el campo de las matemtica, especialmente los conjuntos numricos.

La teora de conjuntos es fundamental en matemtica y de suma importancia en informtica, donde encuentra aplicaciones en reas tales como inteligencia articial, bases de datos y lenguajes de programacin.

Un conjunto est integrado por objetos y los objetos que integran el conjunto se llaman elementos de ese conjunto. Un conjunto sin elementos se denomina conjunto vaco. En general usaremos letras maysculas para designar a los conjuntos y letras minsculas para designar a sus elementos. Ejemplo: Si a es un elemento de un conjunto A se escribe a A y se lee a pertenece a A o a es un elemento de A. Si a no es un elemento del conjunto A se escribe a A y se lee a no pertenece a A o a no es elemento de A.

Los smbolos N, Z, Q y R servirn para denotar a los siguientes conjuntos:

N: el conjunto de los nmeros naturales. Z: el conjunto de los nmeros enteros. Q: el conjunto de los nmeros racionales. R: el conjunto de los nmeros reales

El orden en el cual se enumeran los elementos del conjunto es irrelevante, y los elementos se consideran una sola vez.
EJEMPLO: {1, 2, 3}, {3, 2, 1} y {1, 1, 2, 2, 2, 3} describen al mismo conjunto. En algunos casos no se listan todos los elementos, pero se nombran los sucientes y se usan los puntos suspensivos . . . para sugerir los elementos faltantes. EJEMPLO 1.2. B = {3, 5, 7, . . . }, C = {2, 4, . . . , 25}.

Sin embargo esta forma de nombrarlos es siempre ambigua, no puede saberse de antemano qu elementos son los que se han omitido. Por ejemplo, B podra ser el conjunto de los nmeros impares, o podra ser el conjunto de los nmeros primos mayores que 2. Del mismo modo, C podran ser todos los pares entre 2 y 25 o bien todas las potencias de 2 comprendidas en el intervalo natural [2, 25].

Al conjunto vaco se lo denota con el smbolo o { }. EJEMPLO: El conjunto A = {x | x > 0 y x < 0} no tiene elementos, ya que ningn nmero es positivo y adems negativo. Por lo tanto A es un conjunto vaco, y lo denotamos A = o A = { }.

Diagramas de Venn.
Es frecuente utilizar ciertos diagramas, llamados diagramas de Venn, para representar a los conjuntos. Un conjunto se representa con una lnea curva cerrada, y sus elementos con puntos en el interior. Por ejemplo, el diagrama de Venn para el conjunto A = {a, b, c, d} es: A a b c d

Subconjuntos Consideremos los conjuntos

A = {1, 3, 5}, y B = {1, 2, 3, 4, 5}. Como podemos ver, los elementos de A: 1, 2 y 3, tambin son elementos de B. Decimos entonces que A es un subconjunto de B, o que A est incluido en B. Un conjunto A es un subconjunto del conjunto B si todo elemento de A es tambin elemento de B. Se denota A B y se dice que A est incluido o contenido en B. En particular, todo conjunto est incluido en s mismo. EJEMPLO A = {1, 3, 5} est incluido en A, y lo escribimos A A Dos conjuntos A y B son iguales si los elementos de A son elementos de B, y viceversa. Es decir, si A B y tambin B A. Dos conjuntos A y B son distintos si no son iguales.