Mapa mental de las aportaciones a las matemticas discretas.

MAPA MENTAL, aportaciones a las matemticas discretas

Comprueba opiniones por una consistencia Conmutacin telefnica, computadores y diseos electrnicos

Unin, interseccin y complemento

Forma deductiva a partir de la experiencia

Conjuncin (y), disyuncin (o) y NO

Inferencias lgicas

Verdadero y falso Analtica Dialctica Reglas de validez Aplicaciones actuales Asociativa, conmutativa, idempotente, simplificacin, distributiva.

(lgica de Uso de variables proposicione s

Sentido comn

Base aritmtica computacional moderna

Valores 0 y 1

Forma dialogada del razonamiento

Esquematizacin de lenguaje

Smbolos de operaciones lgicas

Silogismos

Fundador de la Lgica

Fundador de la ciencia de la computacin

Lgica matemtica Propiedades

MATEMATICAS
ARISTOTELES

DISCRETAS

GEORGE BOOLE

Algebra booleana

Proposiciones que proporcionan una nueva solucin

JOHN WILDER TUKEY

Matemticas recreativas

Matemticas en la computacin

RAYMON SMULlyAN
Contribuciones Desarrollo y estudio de las estadsticas Algoritmo de la transformada rpida de Fourier

Lgica

Trabajos autodidactas

Uso la palabra software de programacin

Libros Acertijos sobre ajedrez Introdujo los diagramas de caja Teora de los nmeros Acertijos problemas de lgica Palabra bit Juegos de ajedrez de los caballeros de arabia

Matemtica abstracta

Creador de la media -media

Cuadro y un diagrama, tallo y hoja diagrama

Augustus de morgan

Lgica matemtica

Libros

Aritmtica, algebra, anlisis y lgica

Elementos de la aritmtica

Leyes fundamentales del algebra de la lgica Geometra de los nmeros complejos Sistema de notacin para la lgica simblica.

Cdigo binario

Cuantificacin de predicados

Flecha vertical Uso de tarjetas perforadas

Instrucciones para hacer clculos

Mtodo de entrada de informacin e instrucciones a la maquina analtica

Ni lgico doble

Manipulacin de datos Pasos para hacer clculos de bernaulli

Accidente cerebro vascular Scheffer

Propuso axiomas Descripcin de la antigua maquina analtica de Babbage Contribuciones Descripcin de un lenguaje de programacin Demostr que el algebra de boole se puede definir mediante el uso de solo el operador lgico NAND

La primera programadora de la historia

Prevea la capacidad de las computadoras

Lgico

Ada augusta condesa de lovelace

MATEMATICAS DISCRETAS

HENRY M. Scheffer

La encantadora de nmeros

Principios de la computacin actuales

CHARLES SANDERS PEIRCE

Lgica deductiva Fundador del pragmatismo

Padre de la semitica moderna

Ciencia de los signos Mtodo de resolver confusiones conceptuales relacionando el significado de los conceptos con las consecuencias practicas Grficos existenciales Concepto de cuantificador Lgica de la ciencia

Lgica de relativos

Lgica del continuo

Universal y existencial

Abduccin

Notacin algebraica y geomtrica

Escritura de grficos o preposiciones

Complemento a los procesos de deduccin e induccin

Hoja de asercin

Grafico bsico

Corte doble

APORTACIONES A LAS MATEMTICAS DISCRETAS: INFORMACIN ADICIONAL.

Implicacin

ARISTOTELES Aristteles (384-322a.C.), filsofo y cientfico griego, considerado, junto a Platn y Scrates, uno de los pensadores ms destacados de la antigua filosofa griega y uno de los ms influyentes en el conjunto de toda la filosofa occidental. Vida Nacido en Estagira (Macedonia), hijo de un mdico de la corte real, se traslad a Atenas a los 17 aos de edad para estudiar en la Academia de Platn. Lgica En lgica, Aristteles desarroll reglas para establecer un razonamiento encadenado que, si se respetaban, no produciran nunca falsas conclusiones si la reflexin parta de premisas verdaderas (reglas de validez). En el razonamiento los nexos bsicos eran los silogismos: proposiciones emparejadas que, en su conjunto, proporcionaban una nueva conclusin. En el ejemplo ms famoso, "Todos los humanos son mortales" y "Todos los griegos son humanos", se llega a la conclusin vlida de que "Todos los griegos son mortales". La ciencia es el resultado de construir sistemas de razonamiento ms complejos. En su lgica, Aristteles distingua entre la dialctica y la analtica; para l, la dialctica slo comprueba las opiniones por su consistencia lgica. La analtica, por su parte, trabaja de forma deductiva a partir de principios que descansan sobre la experiencia y una observacin precisa. La influencia de la filosofa de Aristteles ha sido general, contribuyendo incluso a determinar el lenguaje moderno y el denominado sentido comn, y su concepto del "Primer Motor" como causa final ha tenido un importante papel dentro de la teologa. Antes del siglo XX, decir lgica significaba en exclusiva hacer referencia a la lgica aristotlica. Hasta el renacimiento, e incluso despus, tanto poetas como astrnomos ensalzaron el concepto aristotlico del Universo. El estudio de la zoologa estuvo basado en la obra de Aristteles hasta que, en el siglo XIX, el cientfico britnico Charles Darwin cuestion la doctrina de la inmutabilidad de las especies. En el siglo XX se ha producido una nueva apreciacin del mtodo aristotlico y de su relevancia para la educacin, el anlisis de las acciones humanas, la crtica literaria y el anlisis poltico. No slo la disciplina de la zoologa, sino el mundo del saber en general, parecen justificar el comentario realizado por Darwin, quien lleg a afirmar que los hroes intelectuales de su poca "eran simples colegiales al lado del viejo Aristteles GEORGE BOOLE (2 de noviembre de 1815 - 8 de diciembre de 1864) fue un matemtico y filsofo britnico. Como inventor del lgebra de Boole, la base de la aritmtica computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computacin. En 1854 public un sistema de reglas que le permita expresar, manipular y simplificar, problemas lgicos y filosficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemticos se podra decir que es el padre de las operaciones lgicas y gracias a su algebra hoy en da podemos manipular operaciones lgicas El gran descubrimiento de Boole fue aplicar una serie de smbolos a operaciones lgicas y hacer que estos smbolos y operaciones por eleccin cuidadosa tuvieran la misma estructura lgica que

el lgebra convencional. En el lgebra de Boole, los smbolos podan manipularse segn reglas fijas que produciran resultados lgicos. En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por completo de la lgica simblica y su lgebra Public diversos artculos sobre la combinacin del lgebra y el clculo, y desarroll un lgebra propia, que aplic a la lgica, sosteniendo que sta debera ser una rama de las Matemticas, en lugar de la Filosofa. Fue el iniciador de la lgica simblica, que representa los procesos del razonamiento mediante smbolos matemticos. El lgebra de Boole se aplica a cualquier conjunto (llamado retculo) en el que se definen dos operaciones, que representaremos arbitrariamente con los smbolos + y *, que poseen las cuatro propiedades siguientes:
Asociativa: A + (B + C) = (A + B) + C A * (B * C) = (A * B) * C Conmutativa: A + B = B + A A*B=B*A IDE potente: A + A = A Simplificacin: A + (A * B) = A A * (A + B) = A

El lgebra de Boole se define matemticamente como un retculo distributivo y complementario. Es decir, adems de las propiedades anteriores, cada elemento tiene otro complementario y se cumple la propiedad distributiva:
A + (B * C) = (A + B) * (A + C) A * (B + C) = (A * B) + (A * C)

El lgebra de Boole puede aplicarse directamente a la teora de conjuntos, donde las dos operaciones anteriores son la unin y la interseccin. Tambin se aplica a la lgica, donde el conjunto en cuestin tiene slo dos elementos, correspondientes a los valores de verdad (verdadero y falso), y las dos operaciones son la conjuncin (Y) y la disyuncin (O). Esta versin del lgebra de Boole tuvo insospechadas aplicaciones en la conmutacin telefnica y en los computadores electrnicos, que trabajan tambin con entidades que slo pueden tomar dos valores posibles, que usualmente se representan mediante los nmeros 0 y 1. Tambin public dos textos, " Tratado de las ecuaciones diferenciales " (1859) y " Tratado sobre el clculo de diferencias finitas " (1860), ampliamente utilizados. lgebra de Boole (tambin llamada Retculas booleanas) en informtica y matemtica, son estructuras algebraicas que rigorizan las operaciones lgicas Y, O y NO, as como el conjunto de operaciones unin, interseccin y complemento. Especficamente, el lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo electrnico. RAYMOND SMULLYAN Raymond M. Smullyan (New York, Estados Unidos, 1919 -), matemtico, lgico, filsofo, mago y humorista. Raymond Merrill Smullyan (Ray) naci en Far Rockaway, New York, en 1919. Desde una edad temprana se sinti fascinado por las matemticas recreativas, en especial por la lgica. Sus estudios autodidactos sobre matemticas y lgica, sirvindole de inspiracin para lo que seran sus primeros acertijos sobre ajedrez. Sin una perspectiva clara en su horizonte, se ganaba la vida como mago, realizando algunos trucos tradicionales de cartas, y otros de propia invencin, mezclados con la lgica matemtica, lo que le dio un cierto renombre. Un recorrido por la Teora de Nmeros. Acertijo problemas de lgica Cmo se llama este libro? (1989) Ediciones Ctedra, S.A. :: Como se llama este libro :: Juegos de Ajedrez y los misterios de los Caballeros de Arabia

:: Juegos y problemas de Ajedrez para Sherlock Holmes JOHN WILDER TUKEY Como qumico convertido en top logo convertido en estadstica, John Wilder Tukey desempeado un papel clave en el desarrollo y estudio de las estadsticas en el mediados de 1900. El campo de las estadsticas se ha beneficiado enormemente de sus contribuciones. JW Tukey naci el 16 de julio de 1915, en New Bedford, Massachusetts. Fue el nico hijo de Ralph H. y Ada M. (Tasker) Tukey. Tukey recibi su doctorado en 1939 para la Denumerability tesis en la topologa. Esta tesis impresionante fue publicada en 1940 como la convergencia y uniformidad en la topologa. Su trabajo se concentr principalmente en el rea de la matemtica abstracta. Muchos de los estudios del grupo de las armas involucradas problemas estadsticos. Tukey encontrado que realmente gozan de este tipo de matemtica. Uno de sus trabajos ms conocidos se hizo en 1965 con JW Cooley y se public en Matemticas en la computacin. Este documento presenta el algoritmo de la transformada rpida de Fourier. John W. Tukey hecho muchas contribuciones importantes al campo de las estadsticas. Muchos consideran que su primera contribucin importante a la introduccin de tcnicas modernas para la estimacin de los espectros de series de tiempo. (5) Asimismo, inici un movimiento de investigacin en mtodos grficos para el anlisis de datos en las estadsticas. De Tukey se le atribuye la invencin de varios mtodos, tanto grficos y numricos, que son extremadamente eficaces en las aplicaciones estadsticas. De Tukey ha realizado un trabajo de anlisis de series de tiempo, anlisis exploratorio de datos, y las comparaciones mltiples que se considera revolucionario. Tres de las contribuciones especficas de Tukey son el cuadro y un diagrama, el tallo y hoja diagrama, y comparaciones por pares de Tukey. Caja y bigotes Parcelas fueron inventados por Tukey como un medio para mostrar los grupos de datos. Tpicamente, los cinco valores de un conjunto de datos se utilizan, los extremos superior e inferior bisagras (cuartiles), y la mediana. Contribuciones cientficas En 1970, contribuy significativamente en lo que ahora conocemos como la Estimacin Jackknife, tambin denominada la Quenouille-Tukey Jackknife. Introdujo los diagramas de caja en su libro de 1977, Anlisis exploratorio de datos. Tambin contribuy a la prctica estadstica y articul la importante distincin entre el anlisis de datos exploratorio y el anlisis de datos confirmativo, creyendo mucho que la metodologa estadstica pondra un gran nfasis en el futuro. Aunque crea en la utilidad de separar los dos tipos de anlisis, l demostr que a veces, especialmente en la ciencia natural, esto era problemtico, y denomin a esas situaciones como Ciencias Incmodas. Trminos estadsticos Tukey acu muchos trminos estadsticos que ahora son de uso comn, pero las dos ms famosas palabras inventadas por l estn relacionadas con la informtica. Mientras trabajaba con John von Neumann en los primeros diseos de computadoras, Tukey introdujo la palabra "bit" como contraccin de "Dgito binario" Tukey us el trmino "Software de Computacin" fue el creador del no tan conocido "Limes Media-Media" - un mtodo ms simple para obtener la lnea de regresin. AUGUSTUS DE MORGAN Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemtico y lgico ingls nacido en la India. Profesor de matemticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemticas de Londres. De Morgan se interes especialmente por el lgebra. Fue tutor de Ada Lovelace. Escribi varias obras de lgica en las que se encuentra la idea de aplicar en esta esfera los mtodos matemticos, as como los primeros resultados de tal aplicacin. En la moderna lgica matemtica, llevan el nombre de De Morgan las siguientes leyes fundamentales del lgebra de la lgica: la negacin de la conjuncin es

equivalente a la disyuncin de las negaciones; la negacin de la disyuncin es equivalente a la conjuncin de las negaciones. Autor de las Leyes de De Morgan:

De Morgan era un trabajador infatigable. Escribi ms de 700 artculos para la enciclopedia Penny, que se publicaba por una Sociedad que se haba creado para difundir el conocimiento til. En 1938, en uno de estos artculos titulado Induction apareci por primera vez la induccin matemtica. Escribi libros sobre varios temas, aritmtica, lgebra, anlisis, lgica, siendo esta ltima el campo en el que ms sobresali. Entre sus publicaciones cabe destacar las siguientes: Elements of Aritmtica en 1830 que tuvo xito ya que en poco tiempo consigui una segunda edicin. Trygonometry and double lgebra en la que se expone una interpretacin geomtrica de los nmeros complejos. Formal Lgic que fue su obra ms notable y en la que se expona un buen sistema de notacin para la lgica simblica y se inclua el concepto de cuantificacin de predicados con lo cual se podan resolver algunas cuestiones que no tenan respuesta dentro de la lgica aristotlica. Una de sus grandes aportaciones, por las que es conocido por los estudiantes de Secundaria, son las leyes que llevan su nombre y que en el lgebra de sucesos vienen formuladas por: De Morgan muri el 18 de marzo de 1871 en Londres. En su testamento don su biblioteca que tena ms de 3000 libros a la Universidad londinense.

ADA AUGUSTA CONDESA DE LOVELACE Ada Augusta Byron King (10 de diciembre de 1815, Londres, Reino Unido - 27 de noviembre de 1852, Londres, Reino Unido),1 nica hija legtima del poeta ingls Lord Byron y de Annabella Milbanke Byron.2 Es conocida principalmente por haber escrito una descripcin de la antigua mquina analtica de Charles Babbage. Actualmente es considerada como la primera programadora, desde que escribi la manipulacin de los smbolos, de acuerdo a las normas para una mquina de Charles Babbage que an no haba sido construida. Tambin prevea la capacidad de las computadoras para ir ms all de los simples clculos de nmeros, mientras que otros, incluido el propio Babbage, se centraron nicamente en estas capacidades.3 Desarroll instrucciones para hacer clculos en una versin inicial del computador. Su relacin con Charles Babbage comenz cuando ambos se conocieron por medio de uno de los tutores personales de Ada cuando ella tena 17 aos. Babbage estaba muy impresionado con la manera en que ella entenda su computador para el que escribi un "plan" describiendo los pasos que permitiran calcular los valores de los nmeros de Bernoulli. Suyos son, adems, conceptos tan familiares en un lenguaje de programacin como un conjunto de instrucciones que permiten que otras se repitan en un bucle o subrutina, la relacin que llevaron por aos hizo que Babbage reconociera el talento de Ada al grado de llamarle "La encantadora de nmeros" (The Enchantress of Numbers). Posteriormente, Babbage pas a ser su tutor y ms tarde trabajaron juntos. Public en 1843 una serie de influyentes notas sobre la computadora de Babbage, su mquina analtica que nunca lleg a construirse, aunque las firm con sus iniciales por miedo a ser censurada por ser mujer. Ada Byron se llam a s misma una analista, un concepto realmente moderno para la poca. En sus notas, Ada Augusta dice que la mquina analtica slo poda dar informacin disponible que ya era conocida: vio claramente que no poda originar conocimiento. Su trabajo fue olvidado por muchos aos, atribuyndole exclusivamente un papel de transcriptora de las notas de Babbage. Este mismo caracteriz su aportacin al llamarla su intrprete aunque recientes investigaciones

muestran la originalidad de su punto de vista sobre las instrucciones necesarias para el funcionamiento de la mquina analtica. En este momento se reconoce a Ada Byron como la primera persona en describir un lenguaje de programacin de carcter general interpretando las ideas de Babbage, pero reconocindosele la plena autora y originalidad de sus aportaciones. Ada Byron es la madre de la programacin informtica. Existen fuertes evidencias de que una de sus contribuciones fue tambin sugerir el uso de tarjetas perforadas como mtodo de entrada de informacin e instrucciones a la mquina analtica, ello principalmente basado en el dominio que Ada demuestra en las notas que escribe sobre el texto de Luigi Menabrea en 1842, notas por cierto ms extensas que el texto mismo, sobre el funcionamiento del telar de Jaquard as como de la mquina analtica de Babbage, resalta adems que ella menciona que en las tarjetas perforadas hay ceros o estado neutro siendo que las tarjetas representaban para la mquina de Babbage nmeros decimales y no binarios (8 perforaciones equivaldran entonces a 8 unidades). Son muchas las mujeres que han realizado grandes aportaciones a la informtica, pero slo Ada Lovelace cuenta con un lenguaje de programacin que lleve su nombre: en 1979 el Departamento de Defensa de los Estados Unidos cre un lenguaje de programacin basado en Pascal en honor de Ada Byron llamado lenguaje de programacin Ada. Su rostro tambin ha aparecido como marca de autenticidad en los certificados de licencia del sistema operativo Microsoft Windows. Ada Lovelace naci en Inglaterra, nica hija legtima del poeta ingls Lord Byron y de Annabella Milbanke Byron. Sus padres se separaron legalmente cuando ella tena dos meses de edad. Su padre abandon definitivamente Gran Bretaa y su hija nunca lleg a conocerlo en persona. CHARLES SANDERS PEIRCE Charles Sanders Peirce naci en Cambridge, Massachusetts, Estados Unidos de Amrica (10 de septiembre de 1839 - 19 de abril de 1914) y fue un filsofo, lgico y cientfico estadounidense. Est considerado el fundador del pragmatismo y padre de la semitica moderna. Obra y valoracin crtica William James reconoci a Charles Peirce como fundador del pragmatismo. Su pragmatismo puede entenderse como un mtodo de resolver confusiones conceptuales relacionando el significado de los conceptos con las consecuencias prcticas. Sin ninguna duda, esta teora no guarda ninguna semejanza con la nocin vulgar de pragmatismo, que connota una burda bsqueda del beneficio as como la conveniencia poltica. Peirce es tambin considerado como el padre de la semitica moderna: la ciencia de los signos. Ms an, su trabajo a menudo pionero fue relevante para muchas reas del conocimiento, tales como astronoma, metrologa, geodesia, matemticas, lgica, filosofa, teora e historia de la ciencia, semitica, lingstica, econometra y psicologa. Aunque Peirce fue un filsofo sistemtico en el sentido tradicional de la palabra, su obra aborda los problemas modernos de la ciencia, la verdad y el conocimiento, a partir de su propia valiosa experiencia personal como lgico y cientfico experimental que trabajaba en el seno de una comunidad internacional de cientficos y pensadores. Aunque realiz importantes contribuciones a la lgica deductiva, Peirce estaba principalmente interesado en la lgica de la ciencia y, ms especialmente, en lo que llam abduccin (como complemento a los procesos de deduccin e induccin), que es el proceso por el que se genera una hiptesis, de forma que puedan explicarse los hechos sorprendentes. En efecto, Peirce consider que la abduccin estaba en el corazn no slo de la investigacin cientfica sino de todas las actividades humanas ordinarias. Aportes ms significativos Entre estos aportes hay dos que pueden considerarse lneas maestras: la lgica de relativos y la lgica del continuo. Los relativos constituyen una de las ideas generales y fundamentales de Peirce cuya concepcin plena va mucho ms all de la matemtica. En todo caso Peirce ve en un relativo ms que un

conjunto de tuplas, como se define hoy en da una relacin matemtica. En una ocasin expresa que un relativo es el cono que queda al quitar de una proposicin que tiene varios sujetos los ndices de los mismos, por ejemplo " da a ", y puede convertirse siempre en una proposicin llenando los espacios con sustantivos adecuados Peirce desarroll dos notaciones para la lgica de relativos, una algebraica y una geomtrica. Peirce simboliz los relativos y sus ndices con letras y llev muy lejos la analoga con la notacin funcional de la matemtica, definiendo multitud de operaciones con relativos y estudiando sus propiedades. En el sistema de Peirce, la escritura de grficos o proposiciones en la "hoja de asercin" significa su afirmacin; el trazo de una curva cerrada llamada "corte" por ejemplo, un valo alrededor de un grfico significa su negacin; la conexin de dos grficos mediante una "lnea de identidad" significa la existencia de un individuo que guarda las relaciones que ellos indican. Estas convenciones sencillas fuerzan la representacin de cualquier expresin lgica: por ejemplo un corte doble esto es, un valo que encierra a otro significa una implicacin cuyo antecedente es lo escrito entre los dos cortes y cuyo consecuente es lo escrito dentro del corte interior. Peirce indic que este corte doble es el grfico bsico "cuyo desarrollo lgico inevitable me condujo pronto al sistema de los grficos existenciales" Adems de ser un sistema de representacin, los grficos existenciales van acompaados de un cdigo de permisos de transformacin: borra miento en par y escritura en impar; iteracin en cortes adicionales y su reversa, des iteracin; libre insercin y eliminacin de cortes dobles HENRY M. SHEFFER Henry Maurice Sheffer (1882 - 1964) fue un lgico estadounidense. Sheffer fue un Judio polaco nacido en Ucrania, que emigraron a los EE.UU. con sus padres. Fue educado en la Universidad de Harvard, el aprendizaje de la lgica de Josiah Royce. Sheffer pas la mayor parte de su carrera docente en el departamento de filosofa de la Universidad de Harvard. Scanlan (2000) es un estudio de la vida y la obra de Sheffer. Sheffer demostr en 1913 que el lgebra de Boole se podra definir con una sola operacin binaria primitivos ", no tanto... Y...", Ahora abreviado AMP, o su NOR doble, (en el sentido de "ni... Ni). Asimismo, el clculo proposicional podra ser formulado utilizando un trmino de enlace nico, teniendo la tabla de verdad una de las lgicas NAND, generalmente simbolizado con una lnea vertical llamado accidente cerebro vascular Sheffer, o su ni lgico doble (por lo general simbolizado con una flecha vertical, o con un pual ) smbolo. Charles Peirce haba descubierto tambin estos hechos en 1880, pero el documento en cuestin no se public hasta 1933. Sheffer tambin propuso axiomas formulados nicamente en trminos de su accidente cerebro vascular. Un conjuntivo Sheffer, posteriormente, es cualquier conectivo en un sistema lgico que funciona de manera anloga: una en trminos de que todos los otros trminos de enlace posible en la lengua puede ser expresado. Por ejemplo, se han desarrollado para la lgica modal y cuantificacional tambin.