Está en la página 1de 6

LA MATEMATICA DISCRETA COMO FORMACION BASICA Sylvia da Rosa Instituto de Computacin, Facultad de Ingeniera, Universidad de la Repblica, Montevideo, Uruguay

email: darosa !ing"edu"uy Resumen #esde las primeras calculadoras $asta los computadores modernos, no $ay duda %ue se $a perseguido y se viene alcan&ando el ob'etivo de reali&ar c(lculos r(pidos y seguros" )l desarrollo de las inter!aces tambi*n $a contribudo a obtener cada ve& me'ores representaciones gr(!icas y se puede preveer %ue la tecnologa aplicada tanto a los problemas de c(lculo como a lo visual brindar( cada ve& $erramientas m(s potentes para asistir en la solucin de problemas en di!erentes (reas" +or otro lado, sabemos %ue los problemas %ue dependen del ra&onamiento $umano, nunca podr(n prescindir del mismo" )n pocas palabras: las computadoras computan ,calculan-, pero nunca van a llegar a ra&onar ,.amilton,/012-" Creemos %ue esta realidad, incide directa y pro!undamente sobre el sistema educativo, cambia radicalmente ob'etivos, contenidos y metodologas de lo %ue ense3amos, cmo lo ense3amos, para %u* ense3amos, siendo imprescindible poner el acento en ense3ar a ra&onar, abstraer, anali&ar, representar, lo cual, a nuestro 'uicio $a sido descuidado por el enorme peso %ue la ense3an&a pone en desarrollar destre&as en el c(lculo y en la demostracin mec(nica de teoremas" La actividad de computar 4a actividad de computar es una disciplina muy antigua, cuyos orgenes se remontan a civili&aciones como la griega, la babilnica y la egipcia"4os antiguos !ilso!os y matem(ticos griegos contribuyeron enormemente en la sistemati&acin del ra&onamiento y en la construccin de algoritmos, mientras %ue los egipcios y los babilnicos desarrollaron m*todos computacionales destinados a !acilitar el traba'o $umano" )n todas las *pocas $an e5istido !uertes motivaciones para conseguir resultados avan&ados tanto en la sistemati&acin del ra&onamiento como en el dise3o y construccin de dispositivos para reali&ar computaciones seguras y e!icientes" 4eibni& ,/6768/1/6- escribi: 9)s lamentable %ue personas de e5celencia deban desperdiciar $oras como esclavos en una labor de calcular, %ue podra con!iarse a otras personas si !ueran utili&adas m(%uinas" /: ,;uc<er et al",/00=-" 4a propuesta de #avid .ilbert ,/26>8/07?- de encontrar un sistema a5iom(tico lgico8matem(tico, del cual toda la matem(tica pudiera ser derivada, !ue probada como imposible de reali&ar por @urt ABdel ,/0C68/012-, en /0?/, estableciendo %ue $ay problemas matem(ticos %ue son in$erentemente insolubles y revolucionando el punto de vista de los matem(ticos sobre su disciplina" )l traba'o de ABdel tuvo repercusiones pr(cticas inmediatas, planteando la cuestin de %u* signi!ica e5actamente decir %ue se tiene un m*todo para resolver un problema" Darias respuestas !ueron propuestas, dos de las cuales tuvieron enorme impacto en el desarrollo posterior de los computadores digitales y de los lengua'es de programacin:
/

;raduccin de la autora" la de Elan ;uring ,/0/>8/0=7-, %ue muestra %ue toda computacin e!ectiva puede ser representada en una m(%uina abstracta, conocida como la m(%uina de ;uring y la de E" C$urc$ conocida como la tesis de C$urc$ ,/0?=-, %ue e5presa %ue un ob'eto es computable

si se puede de!inir en el C(lculo 4ambda ,.amilton, /012F Garendregt, /027-" )l desarrollo tecnolgico $a actuado en cada momento $istrico como !reno o impulsor de las e5pectativas cient!icas " )n las ltimas d*cadas ese desarrollo $a in!luido enormemente en la e5pansin y pro!undi&acin del estudio de problemas y teoras de antiguo origen, dando lugar a nuevas ciencias, en!o%ues y metodologas" Un e'emplo de ello lo proporciona la disciplina de computacin, %ue se $a e5tendido y pro!undi&ado en di!erentes direcciones y ba'o di!erentes nombres: Ciencia de la Computacin ,CC en adelante-, Ingeniera en Computacin, In!orm(tica, etc, cuya base comn es, como siempre lo $a sido, el $ec$o de %ue se trata de una actividad matem(tica %ue $a tomado tambi*n !orma y nombre como la rama de la matem(tica llamada Matem(tica #iscreta ,M# en adelante-" Como su nombre lo indica, en M# se traba'a con con'untos discretos, a di!erencia de la Matem(tica Continua %ue traba'a con con'untos continuos, como los nmeros reales" )l computador digital moderno es b(sicamente un sistema discreto y muc$as de sus propiedades pueden ser entendidas y descritas model(ndolas en un sistema matem(tico discreto" 4a M# comprende la lgica ,o m(s correctamente, las lgicas-: los computadores modernos no slo nos liberan del Htraba'o de esclavoH al %ue $aca re!erencia 4eibni&, sino %ue 'uegan un papel activo en el desarrollo de pruebas, abriendo nuevos caminos y en!o%ues en el %ue$acer matem(tico ,Aim*ne& I +aulin8Mo$ring,/006-" La Matemtica Discreta y a Ense!an"a Media )n lo %ue respecta al sistema educativo, es imprescindible %ue *ste se adapte a los cambios generados por los avances tericos y las aplicaciones en los di!erentes campos cient!icos y tecnolgicos, garanti&ando la transmisin y supervivencia del conocimiento" Es como en su *poca el c(lculo di!erencial se vi impulsado por el desarrollo de la !sica y los problemas planteados por esta ciencia en el siglo JDIII, determinando !uertemente la orientacin de la educacin matem(tica , los cambios ocurridos en el siglo %ue acaba de terminar reclaman del sistema educativo otras orientaciones" 4a M# debe su intenso desarrollo de los ltimos a3os a la comunidad cient!ica relacionada con la CC y en lo %ue se re!iere a la educacin, los estudios terciarios en dic$a ciencia $an incorporado cursos de M# con alta prioridad" Sin embargo, !uera del (rea de la CC, la M# es pr(cticamente ine5istente y esta situacin es la %ue creemos %ue debe corregirse, ya %ue consideramos %ue los estudios en M# son importantes para la !ormacin de cual%uier estudiante, an de aquellos que no continen estudios terciarios. .oy da, la )conoma, las Ciencias Sociales, las Ciencias gerenciales, la Ingeniera el*ctrica, la Fsica simblica, por solo nombrar algunas, tienen necesidad de resolver problemas %ue se modelan utili&ando $erramientas de M#" )n el mercado laboral, es cada ve& m(s !recuente %ue las personas deban en!rentarse a situaciones %ue involucran toma de decisiones, procesos de abstraccin y ra&onamientos lgicos, necesitando $abilidades %ue raramente son desarrolladas en su pasa'e por la )nse3an&a Media" M(s an, consideramos anacrnico %ue no e5ista en la cultura general brindada por la )nse3an&a Secundaria una base de conocimientos sobre algo tan ampliamente di!undido en la sociedad actual como es la in!orm(tica" Kombres como ;uring, C$urc$, ABdel, #i'<stra, y conceptos como tipo abstracto de datos, variable ligada, cuanti!icador, vinculados a la M#, son desconocidos para el ciudadano comn e ine5istentes en la )nse3an&a Media" )l cambio %ue proponemos implica un proceso de adaptacin, incorporacin y modi!icacin %ue muc$as veces se reali&ar( en etapas de apro5imaciones sucesivas" )n este traba'o presentamos una propuesta para comen&ar a actuali&ar la ense3an&a de matem(tica a nivel de la )nse3an&a Media" )n pocas palabras, consiste en tomar de los programas actuales los temas de M#, como ser ;eora de

Con'untos, Relaciones, Funciones, Combinatoria, Induccin Completa, #ivisibilidad, e introducirlos con un en!o%ue alternativo %ue rescate la naturale&a discreta de los mismos y al mismo tiempo permita dedicarles mayor tiempo y pro!undidad, relacion(ndolos entre ellos" El menos en nuestro pas, constatamos %ue los temas mencionados como temas de M#, son subvalorados en la ense3an&a: se dan en poco tiempo y a las apuradas, para poder dedicar pr(cticamente todo el tiempo de los cursos al estudio del con'unto de los nmeros reales y al c(lculo" Como consecuencia de esto, $emos constatado a trav*s de tests reali&ados a estudiantes del curso de M# del primer a3o de la carrera de Ingeniera en Computacin, %ue los estudiantes desconocen los con'untos y sus propiedades ,todo se reduce al con'unto de los reales- y aplican incorrectamente los m*todos de prueba m(s elementales por !alta de una slida base en lgica" Kuestro en!o%ue plantea asimismo una metodologa para encarar el proceso de resolucin de un problema dado, incorporando el m*todo !ormal de una manera %ue puede $acerse desde el nivel secundario" +odemos resumirla en los siguientes pasos: Crear un algoritmo ,m*todo- para resolver el problema, e5pres(ndolo en algn lengua'e in!ormal ,por e'emplo, en espa3ol )5presar el algoritmo matem(ticamente Construir un programa %ue implemente el algoritmo de!inido matem(ticamente Deri!icar la correctitud del algoritmo ,o del programa)l tercer punto planteado puede obviarse, sin %ue el en!o%ue sea alterado, en caso de %ue no sea posible incorporar en el curso un lengua'e de programacin" )n la siguiente seccin ilustramos el proceso a trav*s de un e'emplo" Las #unciones como m$todos )l concepto de algoritmo est( estrec$amente vinculado a la resolucin de problemas matem(ticos desde sus orgenes: el propio nombre HalgoritmoH proviene del nombre del matem(tico persa Ebu LaM!ar Mo$ammed ibn MNsa al8@$oOPri&mQ, %ue vivi apro5imadamente en el a3o 2>= E"C"" +or otro lado, el concepto de !uncin es tambi*n un concepto matem(tico !undamental y %ue tiene aplicaciones en casi todas las ciencias y disciplinas" Embos conceptos, el de algoritmo y el de !uncin, raramente se presentan relacionados, a pesar de %ue lo est(n estrec$amente" ;radicionalmente, se introduce el concepto de !uncin como una relacin %ue cumple determinada propiedad, es decir como un con'unto de pares" #e esta !orma, no es intuitivo ver el ne5o e5istente entre !uncin y algoritmo, ni tampoco !ormali&ar la aplicacin" )n cambio, si consideramos a las !unciones como m*todos ,Garendregt, /027-, es !(cil ver %ue una !uncin es un ob'eto matem(tico %ue representa un algoritmo, a la ve& %ue aplicar una !uncin es aplicar un m*todo para obtener un resultado" Como e'emplo ilustrativo, presentamos brevemente el tratamiento del tema sobre el algoritmo de )uclides para $allar el m(5imo comn divisor de dos naturales" Como partimos de un m*todo ya creado, el primer punto consiste en especi!icar el m*todo para resolver el problema en un lengua'e in!ormal: #ados a y b K, b R C, para obtener el mcd de a y b, seguimos el siguiente m*todo ,algoritmo-: #ividimos a entre b obteniendo un resto r" Si r es C, devolvemos b, Si no, volvemos a aplicar el m*todo con b y r" Sbservar %ue las variables a, b y r usadas en el algoritmo, designan los distintos valores con los cuales aplicamos el m*todo reiteradamente $asta %ue obtenemos un valor de r igual a C" Se puede observar tambi*n, %ue este en!o%ue !acilita la introduccin del concepto de

recursin y su comprensin, a partir de %ue el algoritmo especi!icado en lengua'e natural es recursivo, es decir, se consigue el resultado mediante aplicaciones del mismo a valores %ue de alguna manera se van reduciendo a un caso !inal ,caso base-" Si llamamos mcd al algoritmo, podemos de!inir la siguiente !uncin matem(tica %ue lo e5presa ,a mod b es el resto de la divisin entera entre a y b-: mcd : K 5 ,K 8 TCU- K b, si ,a mod b- es igual a C mcd ,a,b- V mcd ,b, ,a mod b--, si no Si se cuenta con la posibilidad de utili&ar un lengua'e de programacin en el curso, el proceso contina con la implementacin de la !uncin de!inida" Mostramos como $acerlo en Isetl ,#ubins<y I Fenton, /006-: mcd :V !unc,5,y-F i! isWnat ,5- and isWnat ,y- and y R C t$en r: V 5 mod yF i! r V C t$en return yF else return mcd ,y,r-F endF endF endF Si no es posible o no se considera adecuado introducir la construccin de un programa, puede pasarse a la etapa siguiente %ue consiste en reponder la siguiente pregunta: Cmo sabemos %ue e!ectivamente el algoritmo computa el m(5imo comn divisor de dos naturales dados X )s decir, lo %ue se plantea es demostrar %ue el algoritmo es correcto" Usando la !uncin divisores %ue toma un natural y devuelve el con'unto de sus divisores y la !uncin max %ue toma un con'unto de naturales y devuelve el mayor de ellos, puede de!inirse el m(5imo comn divisor de a y b como ma5 ,divisores,a- divisores,b--" +ara probar %ue el algoritmo es correcto, se establece la siguiente propiedad %ue e5presa %ue la !uncin mcd, de!inida para representar el algoritmo, debe satis!acer la de!inicin: a,b K, b R C, ma5 ,divisores,a- divisores,b-- V mcd ,a,b4a posibilidad de olvidarnos de la necesidad de calcular, nos permite pro!undi&ar en conceptos esenciales y las relaciones entre ellos: la especificacin de la solucin del problema dado, la correctitud de un algoritmo %ue lo soluciona y la e5presin matem(tica del algoritmo como funcin, la propiedad %ue establece el vnculo entre especi!icacin y algoritmo y la prueba de la propiedad" ;odos estos conceptos aparecen continuamente en el estudio de la matem(tica, en cual%uier nivel, los estudiantes los mane'an separada e in!ormalmente" Kuestro en!o%ue presenta una metodologa %ue les da co$erencia y perspectiva, permitiendo el desarrollo de la capacidad de abstraccin y el pensamiento algortmico" Yueda claro %ue lo importante no es la reali&acin de los c(lculos ,%ue puede $acerlos la computadora-, sino comprender el proceso de abstraccin por el cual representamos el m*todo por una !uncin matem(tica" Se puede estudiar las propiedades de dic$a !uncin, por e'emplo, la inyectividad y la sobreyectividad" #e a%u surgen interrogantes interesantes, como ser: podemos representar cual%uier m*todo por una !uncin matem(tica X, toda !uncin matem(tica representa un algoritmo X, %u* signi!ica %ue los algoritmos ,o las !unciones %ue los representan- sean iguales o e%uivalentes X +or supuesto, el tratamiento !ormal de estas cuestiones, escapa al marco de la educacin media, sin

embargo, pueden introducirse in!ormalmente como problemas relacionados %ue se plantean" ;ambi*n pueden presentarse problemas de aplicacin relacionados con la CC, de la misma manera %ue muc$as veces se plantean aplicaciones de la matem(tica a la !sica u otras ciencias, por e'emplo, las interrogantes mencionadas tienen %ue ver con el $ec$o de %ue $ay !unciones %ue no son computables, o algoritmos %ue si bien son computables, insumen tantos recursos %ue son inviables en la pr(ctica" Como e'emplos de aplicacin, se puede ver %ue un programa es la implementacin de una !uncin parcial, %ue el dominio son los datos de entrada, e'ecutar el programa es aplicar la !uncin y los elementos del codominio son los datos de salida" 4a etapa de construccin del programa, si bien no es estrictamente necesaria en una primera apro5imacin, tiene muc$as venta'as desde el punto de vista educativo" )ntre ellas, un lengua'e de programacin obliga a ser riguroso en las de!iniciones, lo cual muc$as veces permite clari!icar conceptos, el lengua'e de programacin permite e5perimentar los algoritmos con mayor nmero de casos o casos m(s grande o HrarosH, ayuda a detectar errores y a corregirlos y adem(s, algo nada despreciable """ $ace la clase muc$o m(s divertida Z Resu tados o%tenidos 4as ideas e5puestas en este traba'o !ueron estructuradas en la !orma de un curso dictado para docentes de matem(tica del ciclo superior de )nse3an&a Secundaria de Montevideo, Uruguay" )ste ciclo comprende los dos ltimos a3os, luego de los cuales el estudiante est( $abilitado para ingresar en la Universidad" )l curso estuvo basado en el libro H#iscrete Mat$ematics Oit$ IsetlH de )d #ubins<y y [illiam Fenton y se utili& el lengua'e de programacin Isetl" Como evaluacin, los integrantes debieron reali&ar un traba'o sobre cmo e5poner un tema de su eleccin con el nuevo en!o%ue y utili&ando el lengua'e Isetl" )n particular, dos grupos de docentes reali&aron la e5periencia con sus alumnos en clase, uno de ellos introduciendo el tema 9Induccin: y el otro el tema 9#ivisibilidad:" Si bien este $ec$o no brinda datos su!icientemente amplios como para e5traer conclusiones generales, los resultados obtenidos son alentadores: se constat en la pr(ctica la !alta de valide& de pre'uicios tales como Hlos estudiantes de secundaria no pueden programarH, Hprogramar es di!cilH, etc, y las venta'as mencionadas arriba sobre la inclusin de un lengua'e de programacin !ueron empricamente comprobadas" #e los resultados observados, se desprende claramente, por e'emplo, %ue la posibilidad de programar permite a los estudiantes construir la de!inicin de una !uncin , a partir de abstraer de casos particulares, me'orando enormemente la comprensin del concepto de !uncin" +ara lograr este tipo de resultados, los docentes llevaron a cabo una ardua labor de elaboracin de problemas, e'ercicios y preguntas, de modo de adecuar la presentacin y desarrollo de los temas a la metodologa propuesta" Conc usiones )sta e5periencia $a rea!irmado nuestro convencimiento en dos sentidos %ue sinteti&amos en las siguientes conclusiones: /- la actuali&acin de contenidos, ob'etivos y metodologas en la ense3an&a de Matem(tica de nivel pre8universitario, incorporando estudios en Matem(tica #iscreta, no solamente es una necesidad imperiosa sino %ue es una tarea posible de llevar a cabo en las condiciones actuales" 4a actuali&acin de la educacin matem(tica en el sentido %ue proponemos redundar( en un bene!icio para todos los estudiantes y la !ormacin de los estudiantes %ue seguir(n estudios terciarios en CC se ver( enormemente !avorecida" )ste $ec$o merece ser tenido muy en cuenta, !undamentalmente por dos ra&ones: en primer lugar, en nuestro pas las carreras en CC son las %ue m(s $an

aumentado el nmero de estudiantes en los ltimos >C a3os" Solamente en la Faculatd de Ingeniera de la Universidad de la Repblica, %ue imparte 0 ttulos de grado, la mitad de los estudiantes ingresa a Ingeniera en Computacin donde recin comienzan a recibir la base adecuada en su !ormacin matem(tica" )n segundo lugar, proporcionar una !ormacin me'or a los in!orm(ticos, desde el punto de vista de la utili&acin de m*todos !ormales en la construccin de so!tOare, es un re%uerimiento cada ve& m(s e5igido por el mercado laboral y la sociedad ,da Rosa I Cirigliano, /002-" >- el modelo seguido en nuestra e5periencia es el m(s adecuado, a saber: la etapa de !ormacin de los docentes de la )nse3an&a Media, debe reali&arse en estrecha colaboracin con docentes de Ciencia de la Computacin de la Universidad" )ste punto, %ue consideramos condicin ineludible para el *5ito de la tarea, brinda adem(s una posibilidad concreta de !omentar el intercambio entre los docentes de los dos (mbitos del sistema educativo, necesidad muc$as veces sentida por los docentes y pocas veces satis!ec$a" Re#erencias Bi% io&r#icas' Ellen ;uc<er et al" ,/00=-" Fundamentals of Computing I. Logic !roblem "olving !rograms and Computers. McAraO8.ill Series in Computer Science, KeO \or<" )d #ubins<y I [illiam Fenton" ,/006-" Introduction to #iscrete $athematics %ith Isetl. Springer8Derlag, KeO \or<" E"A" .amilton" ,/012-" Logic for $athematicians. Cambridge, USE: Cambridge University +ress" ."+"Garendregt" ,/027-" &he Lambda Calculus. Its s'ntax and semantics" Studies in 4ogic and t$e Foundations o! Mat$ematics" Dol /C?" Emsterdam, Kort$8.olland" )duardo Aim*ne& I C$ristine +aulin8Mo$ring, ,/006-" &'pes for !roofs and !rograms. 4KCS nr" /=/>" ;ypesM06" Springer8Derlag, Gerlin" Sylvia da Rosa I Austavo Cirigliano" ,/002-" Matem(tica y +rogramacin. Enales del DI Congreso Iberoamericano de )ducacin Superior en Computacin" CI)SC]02" +onti!icia Universidad Catlica del )cuador, Yuito, )cuador"