Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Programa Analtico de Algebra y Geometra Analtica Unidad 1: Nociones de Lgica Proposicional Lgica Proposicional. Proposiciones. Principio de la lgica. Conectivos. Operaciones proposicionales. Tablas de verdad. Proposiciones equivalentes. Negacin, conjuncin, disyuncin, implicacin, doble implicacin, diferencia simtrica. Frmulas Proposicionales. Circuitos lgicos. Tautologas. Contradicciones. Contingencias. Mtodos de demostracin. Unidad 2: Elementos de Teora de Conjuntos. Conjuntos numricos. Breve revisin de la Teora de Conjuntos. Cardinal. Operaciones. Propiedades. Diagramas de Venn. Principio de inclusin y exclusin. Conjuntos numricos. Los nmeros Reales. Intervalos reales. Valor Absoluto de un real. Los nmeros naturales, enteros, racionales, irracionales. Los nmeros complejos. Forma de par ordenado, binmico, trigonomtrica y exponencial de un complejo. Complejos conjugados. Mdulo de un complejo. Formas. Operaciones. Unidad 3: Anlisis Combinatorio. Combinatoria. Definicin. Principios Generales de la Multiplicacin y de la suma. Factorial de un entero no negativo. Permutaciones, arreglos. Combinaciones simples y con elementos repetidos. Nmero combinatorio. Propiedades. Frmula del Binomio de Newton. Unidad 4: Relaciones y Funciones. Par ordenado. Producto cartesiano. Relaciones. Definicin. Composicin. Relacin inversa. Funciones. Definicin. Clasificacin. Composicin. Funcin inversa. Ecuaciones. Unidad 5: Polinomios a una indeterminada. Funciones y Ecuaciones polinmicas. Polinomios. Definicin. Operaciones con polinomios. Especializacin. Funciones polinmicas. Anlisis. Grficas. Ecuaciones polinmicas particulares. Races. Enunciado del Teorema Fundamental del Algebra. Teorema de Gauss. Teorema fundamental de la descomposicin factorial. Races mltiples. Races complejas de polinomios reales. Consecuencia. Relaciones entre coeficientes y races. Solucin monogrfica de sistemas. Unidad 6: Funciones y Ecuaciones no Polinmicas. Funciones particulares, valor absoluto, signo, parte entera. Funciones escalonadas. Funciones y ecuaciones irracionales. Funciones y ecuaciones exponenciales. Funciones y ecuaciones logartmicas. Funciones y ecuaciones trigonomtricas. Unidad 7: Nociones de Algebra Lineal. Espacio vectorial. Definicin. Propiedades. Vectores en Rn. Igualdad y norma en Rn. Combinaciones lineales de vectores. Dependencia e independencia lineal. Base de un espacio vectorial. Versores. Bases cannicas. Coordenadas. Dimensin. lgebra vectorial. Producto escalar. Producto vectorial. Producto mixto. ngulos y cosenos directores en R2 y R3. Vertores paralelos en R2 y R3. Unidad 8: Nociones de Geometra Analtica. Sistemas de coordenadas en el plano R2. La recta en el plano y la ecuacin general de primer grado a dos variables. Frmulas implcitas y explcitas. Pendiente y ordenada al origen. Condiciones de paralelismo y perpendicularidad. Ecuacin de la recta dados dos puntos. Distancia entre dos puntos. ngulo de dos rectas. Cnicas y la ecuacin general de segundo grado a dos variables. Circunferencia, Elipse, Hiprbola y parbola. Sistema de coordenadas en el espacio R3. Ecuacin de la recta en el espacio R3. Ecuacin del plano en R3. Superficies cilndricas, circulares, parablicas e hiperblicas. Superficies cuadrticas, esfricas, elipsoides, hiperboloides y paraboloides. Unidad 9: Matrices y determinantes. Las matrices como conjuntos ordenados de los vectores Rn. Suma de matrices, producto por un escalar. El espacio vectorial de las matrices Rmxn. Rango de una matriz. Matrices equivalentes. Forma escalonada. Matriz transpuesta. Matrices cuadradas particulares. Producto escalar de un vector fila por un vector columna. Producto de matrices. lgebra de matrices cuadradas. Determinante de una matriz cuadrada por el desarrollo de los elementos de la primera columna. Adjunto y menor complementario. Propiedades. Mtodos de clculo. Matriz Adjunta. Matrices inversibles. Clculo de la inversa por operaciones de filas y por la adjunta.

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Unidad 10: Sistemas de Ecuaciones e Inecuaciones Lineales. Ecuaciones e inecuaciones lineales. Sistemas. Conjunto solucin. Sistemas equivalentes. Expresin matricial. Resolucin por operaciones sobre las ecuaciones. Teorema de Rouch-Frobenius. Conecuencias. Sistemas homogneos. Clasificacin de sistemas. Sistemas cuadrados. Teorema de Cramer. Regla de Cramer.

Introduccin
A mediados del siglo XIX, los matemticos britnicos George Boole y Augustus De Morgan abrieron un nuevo campo a la lgica, hoy conocido como lgica simblica (o moderna), que ms tarde fue desarrollada por el matemtico alemn Gottlob Frege y de un modo especial por los matemticos britnicos Bertrand Russell y Alfred North Whitehead en Principia Mathematica (3 vols., 1910-1913). El sistema lgico de Russell y Whitehead cubre un espectro mayor de posibles argumentaciones que las que se pueden encontrar en la lgica silogstica. Introduce smbolos para frases enteras y para las conjunciones que las unen, como o, y, si... entonces.... Cuenta con smbolos diferentes para el sujeto lgico y el predicado lgico de una frase; y adjudica smbolos para distinguir las clases, para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusin en una clase. Tambin se aleja de la lgica clsica en sus suposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones universales. La afirmacin Todo A es B significa en lgica moderna que Si algo es A, entonces es B; lo que, a diferencia de la lgica tradicional, no significa que todo A existe. El primer manual de lgica formal publicado en espaol fue la obra de Juan David Garca Bacca titulada Introduccin a la lgica moderna (1936). Tanto la rama clsica como la moderna implican mtodos de lgica deductiva. En cierto sentido, las premisas de una proposicin vlida contienen la conclusin, y la verdad de la conclusin se deriva de la verdad de las premisas. Tambin se han hecho esfuerzos para desarrollar mtodos de lgica inductiva como las que sostienen que las premisas conllevan una evidencia para la conclusin, pero la verdad de la conclusin se deduce, slo con un margen relativo de probabilidad, de la verdad de la evidencia. La contribucin ms importante a la lgica inductiva fue la aportada por el filsofo britnico John Stuart Mill, quien en Sistema de Lgica (1843) estructur los mtodos de prueba que, segn su interpretacin, iban a caracterizar la ciencia emprica. Este estudio ha desembocado, en el siglo XX, en el campo conocido como filosofa de la ciencia. Muy relacionada con sta se encuentra la rama de las matemticas llamada teora de la probabilidad. Tanto la lgica moderna como la clsica asumen en sus formas ms corrientes que cualquier proposicin bien elaborada puede ser o verdadera o falsa. En aos recientes se han desarrollado sistemas de la denominada lgica combinatoria: una afirmacin puede tener un valor distinto a verdadero o falso. En algunos supuestos es slo un tercer valor neutro, en otros es un valor de probabilidad expresado como una fraccin que oscila entre 0 y 1 o entre -1 y +1. Tambin se han llevado a cabo serios trabajos para desarrollar sistemas de lgica modal, con el objeto de representar las relaciones lgicas entre las afirmaciones de posibilidad e imposibilidad, de necesidad y contingencia. Otra va es la que propone la lgica dentica: la investigacin de las relaciones lgicas entre rdenes o entre afirmaciones de obligacin.

Lgica Proposicional La lgica (del griego,logos, 'palabra', 'proposicin', 'razn') es la ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o incorrecto; en este sentido, la Lgica Proposicional analiza los tipos de razonamientos utilizando modelos matemticos con la ayuda de proposiciones lgicas. Proposiciones Definicin: Proposicin es toda oracin, respecto de la cual puede decirse si es verdadera o falsa. Y como el significado de una oracin, se puede decir de diferentes maneras tendramos que definir as: Proposicin es el significado de toda oracin declarativa y esta, est asociada a un valor de verdad, el cual puede ser verdadero (V) o bien falso (F). Las proposiciones lgicas pueden ser simples o compuestas. Conectivos Las proposiciones genricas (simples) son denotadas con las letras p, q, r, etc. A partir de proposiciones simples es posible generar otras simples o compuestas. Es decir, se puede operar con proposiciones, y segn sean tales operaciones se utilizan ciertos smbolos, llamados conectivos lgicos. Conectivo ~ Operacin asociada
Negacin Conjuncin o producto lgico Disyuncin incluyente o suma lgica Implicacin o condicin Doble implicacin o bicondicional Diferencia simtrica o disyuncin excluyente

Significado
No p, no es cierto que p, etc. p y q, p pero q, p sin embargo q, etc. p o q (en sentido incluyente), p y/o q, etc. p implica q, si p, entonces q, etc. p si y slo si q p o q (en sentido excluyente), o p o q, etc.

Operaciones proposicionales Negacin

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Definicin: Negacin de la proposicin p es la proposicin ~p (no p). Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su negacin. Su tabla de verdad es:
Tabla de verdad de la negacin

p V F

~p F V

Conjuncin Definicin: Conjuncin de las proposiciones p y q es la proposicin p q (p y q), cuya tabla de valores de verdad es la siguiente y que establece que la conjuncin slo es verdadera si lo son las dos proposiciones componentes. En todo otro caso es falsa.
Tabla de verdad de la conjuncin

p V V F F

q V F V F

pq V F F F

Disyuncin Definicin: Disyuncin de las proposiciones p y q es la proposicin p q (p o q), sta es utilizada en sentido incluyente, ya que la verdad de la disyuncin se da en el caso de que al menos una de las proposiciones sea V. En el lenguaje ordinario la palabra o es utilizada en sentido excluyente o incluyente. La ambigedad se elimina con la eleccin del smbolo adecuado. En matemtica se utiliza la disyuncin definida por la tabla siguiente la cual agota toda posibilidad. La disyuncin slo es F en el caso en que las dos proposiciones componentes sean falsas.
Tabla de verdad de la disyuncin

p V V F F

q V F V F

pq V V V F

Implicacin o condicional Definicin: Implicacin de las proposiciones p y q es la proposicin p q (p implica q, si p entonces q). Las proposiciones p y q se llaman antecedente y consecuente, respectivamente, de la implicacin o condicional. La implicacin usual en matemticas es formal en el sentido de que no es necesario que el consecuente se derive lgicamente de antecedente; cuando esto ocurre, la implicacin se llama material y queda incluida en la primera. La implicacin slo es falsa cuando el antecedente es V y el consecuente es F. Las tablas de valores de verdad es:
Tabla de verdad de la implicacin

p V V F F

q V F V F

pq V F V V

Doble implicacin o bicondicional Definicin: Doble implicacin de las proposiciones p y q es la proposicin p q (p si y slo si q). La doble implicacin o bicondicional slo es verdadera si ambas proposiciones tienen el mismo valor de verdad. La doble implicacin puede definirse como la conjuncin de una implicacin y su recproca. De este modo, La tabla de valores de verdad de p q, puede obtenerse radiante la tabla de (p q) (q p) como se ve en la tabla de verdad:

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Tabla de valores de verdad de la dobleimplicacin o bicondicional

p V V F F

q V F V F

pq V F F V

pq V F V V

qp V V F V

(pq)(qp) V F F V

Diferencia Simtrica Definicin: Diferencia simtrica o disyuncin excluyente de las proposiciones p y q es la proposicin p q (p o q, en sentido excluyente). La verdad de p y q est caracterizada por la verdad de una y slo una de !as proposiciones componentes. Es claro que p q equivale a la negacin de p q. La tabla de valores de verdad es:
Tabla de verdad de la diferencia simtrica

p V V F F

q V F V F

p q F V V F

Tipos de proposiciones Tautologa Definicin: En una proposicin cuyos valores de verdad del operador principal son todos verdaderos, cualquiera sea el valor de verdad de sus componentes. Contradiccin Definicin: Es una proposicin cuyos valores de verdad del operador principal son todos falsos, cualquiera que sea el valor de verdad de sus componentes. Contingencia No es ni tautologa ni contradiccin porque los valores de verdad de su operador principal tienen por lo menos una verdad y/o una falsedad. Condiciones necesarias y suficientes Consideramos la tabla de valores de verdad de la implicacin. Hay tres casos en que p q es V, y entre ellos hay uno en que p es V, en el cual resulta q verdadera. Es obvio que nos referimos al primer rengln de la tabla, y se tiene que si p q es V y p es V, entonces q es V. Se dice entonces que el antecedente p es condicin suficiente para el consecuente q. En cambio, si p es F, nada podemos decir de q, puesto que puede ser V o F. Por otra parte, cuando p q es V, si q es V, entonces p puede ser V o F; mas para que p sea V se necesita que q lo sea. Se dice entonces que q es condicin necesaria para p. Resumiendo, si p q es V, entonces p es condicin suficiente para q y q es condicin necesaria para p. Estas condiciones suelen expresarse as: q si p (condicin suficiente) p slo si q (condicin necesaria) Leyes lgicas Consideremos la proposicin ( p q ) p q Cuya tabla de valores es:

Tabla de verdad

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

p V V F F

q V F V F

pq V F V V

( p q) p
V F F F

( p q ) p q V V V V

La anterior proposicin compuesta es V, independientemente de los valores de verdad de las proposiciones componentes. Se dice entonces que tal proposicin es una tautologa o ley lgica. La proposicin p p es V cualquiera sea el valor de verdad de p. Es otro ejemplo de una ley lgica. En cambio p ~p es F, cualquiera que sea p. Se dice que es una contradiccin. En el clculo proposicional se utilizan las siguientes leyes o tautologas cuya demostracin se reduce a la confeccin de las correspondientes tablas de valores de verdad: De identidad pp pp Una proposicin slo es idntica consigo misma. De contradiccin : ( p : p ) Una proposicin no puede ser verdadera y falsa a la vez. Del tercio excluido p : q Una proposicin o es verdadera o es falsa, no hay una tercera opcin. De la doble negacin (Involucin) : ( : p) p La negacin de la negacin es una afirmacin. (El smbolo se lee es equivalente a ) De la idempotencia p p p ... p p p p p ... p p Las variables repetidas redundantemente es una cadena de conjunciones o en una cadena de disyunciones se reemplazan por la sola variable. De la conmutatividad pq q p pq q p pq q p En una proposicin, la conjuncin, la disyuncin inclusiva y la bicondicional son conmutativas. De la asociatividad p ( q s) ( p q) s p ( q s) ( p q) s p ( q s) ( p q) s En una proposicin, la doble conjuncin, la doble disyuncin o la doble bicondicional se asocian indistintamente. De la distributividad

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

p ( q s) ( p q) ( p s) p ( q s) ( p q) ( p s) p ( q s) ( p q) ( p s) p ( q s) ( p q) ( p s) En una proposicin la conjuncin, la disyuncin y la implicacin son distributivas. De De Morgan : ( p q ) ( : p : q ) : ( p q ) ( : p : q ) En una proposicin, la negacin de una conjuncin o de una disyuncin son distributivas respecto a la disyuncin o conjuncin. Del Condicional p q : p q : ( p q ) p : q p q : ( p : q ) En una proposicin, la condicional equivale a la disyuncin de la negacin del antecedente con el consecuente, y la negacin de una condicional equivale a una conjuncin del antecedente con la negacin del consecuente. Es decir, la negacin de una implicacin no es una implicacin, sino la conjuncin del antecedente con la negacin del consecuente. Del bicondicional p q ( p q ) ( q p) : ( p q) p q De la absorcin p ( p q) p p ( p q) p p ( : p q) p q p ( : p q) p q De transposicin p q : q : p p q : p : q La primera, implicacin contrarecproca. De exportacin p q ( p q ) ( : p : q ) : ( p q )

( p q) s p ( q s) ( p1 p2 ... pn ) s ( p1 p2 ... pn-1 ) Pn s

Del modus ponens ( p q ) p q En una premisa condicional; si se afirma el antecedente, entonces se concluye en la afirmacin del consecuente.

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Del modus tolens ( p q ) : q : p En una proposicin, si se niega el consecuente de una premisa condicional entonces se concluye en la negacin del antecedente. Del silogismo disyuntivo ( p q ) : p q En una proposicin, cuando se niega el antecedente de la premisa de una disyuncin, se concluye en la afirmacin del consecuente. De la inferencia equivalente ( p q ) p q En una proposicin, cuando se afirma que uno de los miembros de una bicondicional es verdadera, entonces el otro miembro tambin es verdadero. Del silogismo hipottico ( p q ) ( q s ) ( p s ) En una proposicin, el condicional es transitivo. De la transitividad simtrica ( p q ) ( q p ) ( p s ) En una proposicin, el bicondicional es transitivo. De la simplificacin

( p q) p ( p q) q
En una proposicin, si el antecedente y consecuente de una conjuncin son verdades, entonces cualquiera de los trminos es verdad. De la adicin q ( p q) p ( p q)

En una proposicin, una disyuncin est implicada por cualquiera de sus dos miembros. Conjuncin de una proposicin V

( p V ) p
Conjuncin de una proposicin F

( pF) F
Disyuncin de una proposicin V

( p V ) V
Disyuncin de una proposicin F

( pF) p
Implicaciones asociadas

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Sea el condicional p q , que llamamos directo; en conexin con l, se presentan otros tres, obtenidos por permutaciones o negaciones del antecedente y consecuente: qp : p : q : q : p recproco contrario contrarecproco

Las cuatro implicaciones propuestas se llaman conjugadas, y cualquiera de ellas puede tomarse como directa. El siguiente esquema nos proporciona la relacin que las vincula: pq recprocos qp

: p : q recprocos

Es fcil verificar que las implicaciones contrarecprocas son equivalentes, es decir, los siguientes bicondicionales son tautologas;

Si la implicacin directa es V, tambin Io es la contrarecproca, y no podemos afirmar la verdad de la reciproca de la contraria. Pero si son verdaderos un condicional y su recproco o contrario, entonces son verdaderos los cuatro, y las proposiciones antecedente y consecuente son equivalentes. Se presenta continuamente la necesidad de demostrar la verdad de p q , y de acuerdo con lo expuesto se presentan dos mtodos: i) directo. Si p es F, nada hay que probar, pues en este caso p q es V. Si p es V hay que establecer que el valor de verdad de q es V. ii) indirecto. Si q es V queda establecida la verdad de p q . Pero si q es F hay que examinar p y llegar a establecer que su valor de verdad es F. Razonamiento deductivo valido En matemtica interesa el tipo de razonamiento llamado deductivo. Llamamos razonamiento a un par ordenado ( { pi } ; q ) siendo { pi } un conjunto finito de proposiciones, llamadas premisas, y q una proposicin, llamada conclusin, respecto de la cual se afirma que deriva de las premisas. Un razonamiento es deductivo si y slo si las premisas son evidencias de la verdad de la conclusin, es decir, si p1,p2,,pn son verdaderas, entonces q verdadera. Un razonamiento deductivo es vlido si no es posible que las premisas sean verdaderas y la conclusin falsa. De un razonamiento no se dice que es V o F, sino que es vlido o no. Llamamos regla de inferencia, a todo esquema vlido de razonamiento, independientemente de la V o F de las proposiciones componentes. De este modo, toda regla de inferencia es tautolgica. Un razonamiento deductivo es vlido cuando el condicional cuyo antecedente es la conjuncin de las premisas, y el consecuente es la conclusin, es tautolgico. Son ejemplos de reglas de inferencia: a) Ley del modus ponens: Si p y p q , entonces q La notacin clsica es

contrarios

: q : p

contrarios

( p q) ( : ( q p) ( :

q : p ) p : q )

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

p pq q b) Ley de modus tolens: pq : q : p

Este esquema de la notacin clsica del condicional ( p q ) : q : p c) Ley de silogismo hipottico: pq qr pr

Es decir, la proposicin ( p q ) ( q r ) ( p r ) es una tautologa. En cambio, el condicional ( p q ) q p no es una forma vlida de razonamiento, ya que la correspondiente tabla de valores nos muestra que no es tautolgico. Funciones proposicionales. Su cuantificacin El smbolo P (x) es la representacin de un predicado o propiedad relativos al objeto indeterminado x. perteneciente a cierto universo o conjunto. Si nos referimos a los nmeros enteros y estamos interesados en la propiedad de ser impar, entonces la traduccin de P (x) consiste en: x es impar, y se escribe P(x) : x es impar Es claro que el enunciado: x es impar no es una proposicin, ya que a menos que se especifique a x no podemos decir nada acerca de su verdad o falsedad. Ocurre, sin embargo, que para cada asignacin dada al sujeto x dicho enunciado es una proposicin. A expresiones de este tipo se las llama funciones o esquemas preposicionales. Definicin: Funcin proposicional en una variable o indeterminada x es toda oracin en la que figura x como sujeto u objeto directo, la cual se convierte en proposicin para cada especificacin de x. Se presentan tambin funciones preposicionales con dos variables o indeterminadas. Se presentan tambin funciones proposicionales con dos variables o indeterminadas. A partir de funciones proposicionales es posible obtener proposiciones generales mediante un proceso llamado de cuantificacin. Asociados a la indeterminada x, introducimos los smbolos x y x , llamados cuantificadores universal y existencial en x, respectivamente. Las expresiones Para todo x, se verifica P (x) Existe x, tal que se verifica P (x) Se denotan mediante x : P ( x ) x / P ( x )

Y corresponden a una funcin proposicional P(x) cuantificada universalmente en el primer caso, y existencialmente en el segundo. Una funcin proposicional cuantificada adquiere el carcter de proposicin. Es obvio que una funcin preposicional cuantificada universalmente es V si y slo si son V todas las proposiciones particulares asociadas a aquella. Para asegurar la verdad de una funcin preposicional, cuantificada existencialmente, es suficiente que sea verdadera alguna de las proposiciones asociadas a la funcin proposicional.

Ingeniera en Electrnica

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Para negar una funcin proposicional cuantificada universalmente se cambia el cuantificador en existencial, y se niega la funcin preposicional. Y para negar una funcin proposicional cuantificada existencialmente se cambia el cuantificador en universal, y se niega la funcin proposicional. Se tienen entonces las siguientes equivalencias. : x : P ( x ) x / : P ( x ) : x / P ( x ) x :: P ( x ) Circuitos Lgicos La verdad de una proposicin puede asociarse al pasaje de corriente en un circuito elctrico con un interruptor. Para representar a p, si es V, se tiene

Y para p, si es F

Es decir, el interruptor se cierra si p es V y se abre si p es F. Las operaciones preposicionales pueden representarse mediante circuitos con tantos interruptores como proposiciones componentes, combinados en serie o en paralelo. Conjuncin

Este circuito admite el pasaje de corriente, es decir, la verdad de p q , slo si las dos son V. Disyuncin

Implicacin

( p q ) : ( p : q ) ( p q) ( : p q)

Ingeniera en Electrnica

10

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Diferencia simtrica

( p q ) : ( p q ) : ( p q ) ( q p ) : ( p q ) : ( q p ) ( p : q ) ( q : p ) ( p q ) ( p : p ) ( : q q ) ( : q : p ) ( p q ) ( : q : p )

Ingeniera en Electrnica

11

Miguel Leonardo Bielak Programa Analtico de Algebra y Geometra Analtica

Textos consultados: Captulo 1, Algebra 1 (XVII Edicin) - Armando O. Rojo EL ATENEO (1996) ISBN 950-02-5204-X. FRMULAS MATEMTICAS (1ra Edicin 2008) - Departamento de Creacin Editorial de Lexus Editores - ISBN 978-9972-209-54-3. "Lgica" Microsoft Encarta 2009 [DVD]. Microsoft Corporation, 2008.

Ingeniera en Electrnica

12