Universidad Autnoma de Nuevo Len Facultad de Ciencias Qumicas Ingeniera Qumica Mtodos Computacionales de la Ingeniera Qumica Dr.

icardo !om" #eatri" Amari Medina $oto Matricula %&'%('& Metodologa de solucin de pro)lemas lgico*matem+ticos.
$eg,n Mara Antonia Canals el ra"onamiento logico matem+tico inclu-e las capacidades de. / Identi0icar / elacionar / 1perar 2ste tipo de ra"onamiento permite desarrollar competencias 3ue se re0ieren a la 4a)ilidad de solucionar situaciones nuevas de las 3ue no se conoce de antemano un mtodo mec+nico de resolucin. Las competencias lgico matem+ticas anali"an - comprenden mensa5es orales6 gr+0icos - escritos 3ue e7presan situaciones a resolver tanto en la vida real como imaginarias. desarrolla la curiosidad por la e7ploracin6 la iniciativa - el espirtu de )us3ueda6aplica los recursos - lengua5es adecuados 8gra0icos - escritos9 mas adecuados respecto a la situacin. La lgica matem+tica es una parte de la lgica - las matem+ticas6 3ue consiste en el estudio matem+tico de la lgica - en la aplicacin de este estudio a otras +reas de las matem+ticas. La lgica matem+tica tiene estrec4as cone7iones con las ciencias de la computacin - la lgica 0ilos0ica. La lgica matem+tica estudia los sistemas 0ormales en relacin con el modo en el 3ue codi0ican nociones intuitivas de o)5etos matem+ticos como con5untos6 n,meros6 demostraciones - computacin. La lgica matem+tica suele dividirse en cuatro su)campos. teora de modelos6 teora de la demostracin6 teora de con5untos - teora de la recursin. La investigacin en lgica matem+tica 4a 5ugado un papel 0undamental en el estudio de los 0undamentos de las

matem+ticas. La lgica matem+tica estudia los sistemas 0ormales en relacin con el modo en el 3ue codi0ican conceptos intuitivos de o)5etos matem+ticos como con5untos6 n,meros6 demostraciones - computacin. La lgica estudia las reglas de deduccin 0ormales6 las capacidades e7presivas de los di0erentes lengua5es 0ormales - las propiedades metalgicas de los mismos. 2n un nivel elemental6 la lgica proporciona reglas - tcnicas para determinar si es o no v+lido un argumento dado dentro de un determinado sistema 0ormal. 2n un nivel avan"ado6 la lgica matem+tica se ocupa de la posi)ilidad de a7iomati"ar las teoras matem+ticas6 de clasi0icar su capacidad e7presiva6 - desarrollar mtodos computacionales ,tiles en sistemas 0ormales. La teora de la demostracin - la matem+tica inversa son dos de los ra"onamientos m+s recientes de la lgica matem+tica a)stracta. De)e se:alarse 3ue la lgica matem+tica se ocupa de sistemas 0ormales 3ue pueden no ser e3uivalentes en todos sus aspectos6 por lo 3ue la lgica matem+tica no es mtodo de descu)rir verdades del mundo 0sico real6 sino slo una 0uente posi)le de modelos lgicos aplica)les a teoras cient0icas6 mu- especialmente a la matem+tica convencional. Algoritmos 2n matem+ticas6 ciencias de la computacin - disciplinas relacionadas6 un algoritmo 8del griego - latn6 di7it algorit4mus - este a su ve" del matem+tico persa Al*;uarismi 9 es un con5unto preescrito de instrucciones o reglas )ien de0inidas6 ordenadas - 0initas 3ue permite reali"ar una actividad mediante pasos sucesivos 3ue no generen dudas a 3uien de)a reali"ar dic4a actividad. Dados un estado inicial - una entrada6 siguiendo los pasos sucesivos se llega a un estado 0inal - se o)tiene una solucin. Los algoritmos son el o)5eto de estudio de la algoritmia. 2n la vida cotidiana6 se emplean algoritmos 0recuentemente para resolver pro)lemas. Algunos e5emplos son los manuales de usuario6 3ue muestran algoritmos para usar un aparato6 o las instrucciones 3ue reci)e un tra)a5ador por parte de su patrn. Algunos e5emplos en matem+tica son el algoritmo de la divisin para calcular el cociente de dos n,meros6 el algoritmo de 2uclides para o)tener el m+7imo com,n divisor de dos enteros positivos6 o el mtodo de !auss para resolver un sistema lineal de ecuaciones. Los algoritmos pueden ser e7presados de muc4as maneras6 inclu-endo al lengua5e natural6 pseudocdigo6 diagramas de 0lu5o - lengua5es de programacin entre otros. Las descripciones en lengua5e natural tienden a ser am)iguas - e7tensas. 2l usar pseudocdigo - diagramas de 0lu5o evita muc4as am)ig<edades del lengua5e natural. Dic4as e7presiones son 0ormas m+s estructuradas para representar algoritmos= no o)stante6 se mantienen independientes de un lengua5e de programacin espec0ico.

La descripcin de un algoritmo usualmente se 4ace en tres niveles. Descripcin de alto nivel. $e esta)lece el pro)lema6 se selecciona un modelo matem+tico - se e7plica el algoritmo de manera ver)al6 posi)lemente con ilustraciones omitiendo detalles. Descripcin 0ormal. $e usa pseudocdigo para descri)ir la secuencia de pasos 3ue encuentran la solucin. Implementacin. $e muestra el algoritmo e7presado en un lengua5e de programacin espec0ico o alg,n o)5eto capa" de llevar a ca)o instrucciones. >am)in es posi)le incluir un teorema 3ue demuestre 3ue el algoritmo es correcto6 un an+lisis de comple5idad o am)os. Diagramas de 0lu5o Los diagramas de 0lu5o son usados para representar algoritmos pe3ue:os6 -a 3ue a)arcan muc4o espacio - su construccin es la)oriosa. ?or su 0acilidad de lectura son usados como introduccin a los algoritmos6 descripcin de un lengua5e - descripcin de procesos a personas a5enas a la computacin. Los algoritmos pueden ser e7presados de muc4as maneras6 inclu-endo al lengua5e natural6 pseudocdigo6 diagramas de 0lu5o - lengua5es de programacin entre otros. Las descripciones en lengua5e natural tienden a ser am)iguas - e7tensas. 2l usar pseudocdigo - diagramas de 0lu5o evita muc4as am)ig<edades del lengua5e natural. ?seudocdigo 2s utili"ado para descri)ir algoritmos en li)ros - pu)licaciones cient0icas6 - como producto intermedio durante el desarrollo de un algoritmo6 como los diagramas de 0lu5o6 aun3ue presentan una venta5a importante so)re estos6 - es 3ue los algoritmos descritos en pseudocdigo re3uieren menos espacio para representar instrucciones comple5as. 2l pseudocdigo est+ pensado para 0acilitar a las personas el entendimiento de un algoritmo6 - por lo tanto puede omitir detalles irrelevantes 3ue son necesarios en una implementacin. ?rogramadores di0erentes suelen utili"ar convenciones distintas6 3ue pueden estar )asadas en la sinta7is de lengua5es de programacin concretos. $in em)argo6 el pseudocdigo6 en general6 es comprensi)le sin necesidad de conocer o utili"ar un entorno de programacin espec0ico6 - es a la ve" su0icientemente estructurado para 3ue su implementacin se pueda 4acer directamente a partir de l.