CIRCUITOS LOGICOS
Es un conjunto de llaves k pueden ubicarse en un sistema electrico y existe tres posibilidades:
pasa corriente cuandosusn valores son v
no pasa corriente cuandosusn valores son F
Existe corte circuitocuando son V y F
CIRCUITOS EN SERIE: Se dice cuando son continuosentre uno y otro.
CIRCUITOS EN PARALELO: Se dice cuando se encuentran frente a frente.
Tabla de verdad de la negación
Tabla de verdad de la conjunción
Tabla de verdad de la disyunción
PROPOSICIONES
PROPOSICIONES SIMPLES: Es una oracion bimenbre, es decir tiene sujeto y predicado.
PROPOSICION COMPUESTA: Es la union de dois o mas proposiciones simples.
CONECTIVOS LOGICOS:Son simbolos o palabras que sirven de union a las proposicionessimples y entre ellas tenemos:
Conjuncion [Ù]
disyuncion [Ú]
implicancia [®]
doble implicancia [«]
negacion [-]
FORMALIZACION:Consiste en transformar un texto a simbolos proporcionales.
ENLACES: Son valores o variables con las que sea de trabajar entre las cuales tenemos :
2º=x
º=numeros de variables
x=total de valores x cada variable
La lógica matemática fue también llamada lógica simbólica, en oposición a la lógica filosófica, y metamatemáticas. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración. La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
HISTHISTORIA
•Lógica Matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra. •Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada. •Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática. •El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico (por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico, construyendo modelos apropiados (teoríade modelos).
MATEMATICASY FISICAIA
•La gasolinera más cercana Cuándo Amy y Fry se van a dar una vuelta en coche a Mercurio se quedan sin gasolina justo en un lugar en el que la gasolinera más cercana (y la única) se encuentra a 4750 millas. Esto quiere decir que esta gasolinera se encuentra exactamente en el punto opuesto (antípodas) del planeta, ya que 4750 millas son más o menos 7645 kilómetros, que es lo que mide medio ecuador de Mercurio.
Por lo tanto, sea cual sea la dirección que se tome, siempre habrá 4750 millas hasta dicha gasolinera (en línea recta, trazando una geodésica por la superficie de Mercurio), puesto que este planeta no está achatado por los polos de forma notable y es prácticamente una esfera perfecta.*Nota: Además, “Hg” es el símbolo químico del Mercurio.
MATEMATICAS E INFORMATICAS Para los matemáticos, al disponer de las computadoras actuales, la ejecución de los algoritmos se hace posible, y con ello la tentación es demasiado grande, es como si a un astrónomo del tiempo de Kepler se le ofreciese la oportunidad de poner el pie en el planeta Marte: la matemática constructiva se ha convertido en algo más que una postura filosófica, ahora se puede practicar. Kronecker hubiese increpado a Cantor en términos más específicos: “No me convence tu prueba de la existencia de los números trascendentes, quiero que me calcules uno en pantalla”. Se comprende que las simpatías filosóficas estén cambiando de partido.Y por último, el purismo también se resiente ante el embate de la Informática.
FILOSOFIA DEL DISEÑO
FROG sigue una filosofía de diseño innovadora. Normalmente, un algoritmo de cifrado por bloques aplica una secuencia matemáticas o lógicas conocida (como adiciones, XOR, etc.) sobre el texto plano y la clave para producir el texto cifrado. Esta secuencia de operaciones es conocida por el atacante (a menos que el algoritmo en sí mismo sea desconocido, lo que era imposible en el contexto del concurso). Un atacante podría usar este conocimiento para buscar debilidades en el algoritmo lo que, eventualmente, podría permitirle recuperar el texto plano original. •El diseño de FROG era ocultar la secuencia exacta de las secuencias y operaciones, incluso a pesar de que el algoritmo es conocido. Donde otros cifradores usan la clave solo como datos para producir el texto cifrado, FROG usa la clave además como instrucciones sobre las cuales se generará el producto cifrado. De hecho, una versión expandida de la clave es usada por FROG como programa. FROG opera él mismo como un intérprete que aplica este programa dependiente de la clave sobre el texto plano para producir el texto cifrado. El descifrado opera usando el mismo programa de manera inversa.
