Matematica Discreta

Mercedes Villalba El lugar de los Naturales en la Sociedad de la Información

DEFINICIÓN DE TÉRMINOS Matemática Discreta Lenguaje matemático Lenguaje de programación ISETL La traducción del concepto matemático al lenguaje de programación asegura una construcción previa de dicho contenido y de las relaciones implicadas: Este es el valor didáctico de Isetl como auxiliar en la enseñanza de la Matemática.

Matemática Discreta ,[object Object]

Lenguaje matemático ,[object Object],[object Object]

Lenguaje de programación ,[object Object]

[object Object],Se conceptualiza “evaluar una expresión”. Las propiedades de la variable ( x ) pueden separarse con coma o con el nexo “y” [2] El uso de coma o “y” para separar propiedades de la variable da mensaje de error. [1] Los elementos del conjunto no están ordenados x / x Є / x : x in | Los elementos de los conjuntos se separan con comas y se escriben entre llaves A = { } A := { } ; Se determinan conjuntos por extensión y por comprensión matemática isetl diferencias similitudes

[object Object],[object Object],[object Object],[object Object],Por similitud con el caso anterior, se espera que identifiquen “is_integer” como una función predefinida, pero de distinto codominio. Si el carácter es un entero, devuelve “true”, si no lo es, devuelve “false”. > is_integer(3); true; > is_integer(4/2); false; Se espera que comparen las dos definiciones de “d” y sus correspondientes respuestas y que reconozcan la operación matemática aplicada. La primera definición no puede ser evaluada porque el objeto no está definido (OM) En la segunda definición “25” toma el valor de una variable: en Isetl, la operación matemática raíz cuadrada “sqrt” es una función predefinida que la calcula. > d:=sqrt25; > d; OM; > d:=sqrt(25); > d; 5.000; defino “a” como “1 dividido 4” pido el valor de “a” o sea pido que evalúe la expresión Isetl realiza el cálculo y devuelve una expresión “más simple” que es su expresión canónica. > a:=1/4; > a; 0.250;

[object Object],En Matemática se usa el signo = para definir y para preguntar, en Isetl, solo para preguntar. El símbolo := se lee “se define como”. La sintaxis de una definición es: nombre:= expresión e > A := 5*1750; > B := 6*1000+3000; > A = B; false ; A = 5 * 1750 B = 6 * 1000 + 3000 A = B 8750 = 9000 falso Isetl Matemática

2- CONCEPTOS MATEMÁTICOS. ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],SI NO ¿x ≥ 0? x devolver “false” devolver “true” X Se interpreta la evaluación en cada caso, teniendo en cuenta el algoritmo que realiza la computadora. func, return y end son palabras reservadas de Iset para identificar la función, devolver un valor y terminar la definición respectivamente. Natural es un conjunto infinito por lo que no puede definirse por extensión; para cada Entero del dominio Isetl devuelve “true” en caso de ser mayor o igual a cero; “false” en caso contrario. is_natural: Z -> Bool > is_natural:=func(x); >> return (is_integer(x) and x>=0 ); >> end; Natural: Z -> N Natural(x) = x / x Є Z y x ≥ 0 Isetl Matemática

[object Object],¿Cómo llamas a los números que están en la columna izquierda? ¿Cómo obtuvo la costurera los números de la columna derecha? ¿Cómo puedes generalizar el procedimiento para cualquier cantidad de camisas? ¿Cómo defines el conjunto “botones” para “n” camisas? ¿Puedes expresarlo como una función? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],multi7: N ->N > multi7:=func(x); >> if is_natural(x)then return >> x*7; >> end; >> end; 84 12 . . . . . . . 28 4 21 3 14 2 7 1 botones camisas

[object Object],[object Object],[object Object],[object Object],Efectuar la división entera (o euclidiana) de un natural a por un natural b distinto de cero es hallar el único par de naturales q y r tales que a = b * c + r r < b Cuando el resto es cero, la división es exacta: a = b * c Comparar esta definición con la de múltiplo y redefinir múltiplo y divisor en función de la división exacta. Se observan las relaciones entre los términos de la división exacta. Sustituyendo n por c , se observa que el natural n que multiplica a b en la definición de múltiplo, es el cociente de la división, cuyo resto es siempre cero. a es múltiplo de b si el resto de la división entre a y b es cero En Isetl a es múltiplo de b si a mod b es cero 8 0 20 90 0 21 2 45 1 3 6 9 27 resto cociente divisor dividendo divisor dividendo resto cociente a = b * n a es múltiplo de b

[object Object],[object Object],[object Object],[object Object],Se espera que realicen las adecuaciones pertinentes a las expresiones utilizadas para múltiplos. > 1378 mod 7=0; >false; Esta expresión ya utilizada permite saber que 1378 no es múltiplo de 7 y por lo tanto, 7 no es divisor de 1378. a b a es múltiplo de b b es divisor de a d36:= { a: a in [1..36] | 36 mod a = 0}; d(36)= {a / a ≤ 36 y a |36 } d(36)= {a / a ≤ 36 y 36 múltiplo de a } Isetl Matemática A:= [1..X] : x in N Divisor: A ->P(A) > divisor :=func(x); >> if is_natural(x) then >> return {a: a in [1..x] | x mod a = 0}; >> end; >> end; Divisor: N -> P(N) Divisor (x) = {a /a ЄN y x múltiplo de a}

3- SITUACIONES QUE DAN SIGNIFICADO A: ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],590 Implementar en Isetl el cálculo del resto > 590 mod 196; 2; Evalúa en Isetl esta expresión, interpreta el código y la escribes para un caso genérico. > (590 - 2) div 196; el cociente de la división entre a y b a div b Verificar en la división original > 590 mod 196; 2; > (590 - 2)div 196; 3; > (590 - 2)div 3; 196; > 590 mod 3; 2 196

[object Object],Un crucero tarda 79 horas para desembarcar en el primer puerto disponible. Sale el domingo a las 6 de la tarde ¿Cuál es el día y hora de llegada?* Si dos números naturales tienen el mismo resto en la división por un número natural m , se dice que son congruentes módulo m Notación: 5 clase residual 0 módulo 5 Expresar en lenguaje matemático (si es posible como clases residuales) y en lenguaje Isetl, los cálculos realizados en el problema del crucero *el cociente de 79/24 es 3 y el resto es 7; demora 3 días y 7 horas, lo cual sumado a la hora 18 del domingo, indica la llegada el día jueves a la hora 1. (18+7) mod 24; Se plantea la suma de clases residuales: (18 +7) ≡ 24 1 25 mod 24; 25 ≡ 24 1 18 + 7; 18 + 7 79 div 24; Cociente de 79 : 24 79 mod 24; 79 ≡ 24 7 Isetl Matemática

[object Object],Verificar el código de control de su CI de acuerdo al procedimiento indicado en la introducción de este tema, teniendo en cuenta que siempre se opera en clase residual 10, que corresponde a la base de nuestro sistema de numeración decimal. Esta tabla organiza la información: ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Se introduce la tupla como un objeto predefinido en ISETL similar al conjunto pero que sí cumple la relación de orden. Se trabaja con una tupla de tres términos como ejercicio. Opuesto mod 10 Suma mod 10 4 3 6 7 8 9 2 (C * m) mod 10 Módulo verificador (m) Cifras de la CI (C)

Definir la función que permite encontrar el dígito de control de una CI uruguaya. A:={a: a in N and 0 <= a <= 9 } Digcon: A----> A Digcon:= func(t); > if is_tuple(t) then >> if #(t)= 7 then >> if t(i) in {1..9} then >> return 10 - (t (1) * 2 mod 10 + t(2) *9 mod 10 + t(3)*8 mod 10 + t (4) *7 mod 10 + t(5) *6 mod 10 + t(6)*3 mod 10 + t (7) * 4 mod 10) mod 10; >> end; >> end; >> end; >> end; A:={a: a Є N ; 0 ≤ a ≤ 9 } Digcon: A----> A Digcon(t) =10 - (t (1) * 2 mod 10 + t(2) *9 mod 10 + t(3)*8 mod 10 + t (4) *7 mod 10 + t(5) *6 mod 10 + t(6)*3 mod 10 + t (7) * 4 mod 10) mod 10 Isetl Matemática

Construir una tabla con todos los valores posibles para cualquier CI e implementar el algoritmo en Isetl * . Producto: c -> mod 10 t:=[1..9]; > c:=[2,9,8,7,6,3,4]; > producto:=func(i); >> if is_tuple(t)then >> if is_tuple(c) then >> if i in c then >> return [t(1)*i mod 10, t(2)*i mod 10,t(3)*i mod 10,t(4)*i mod 10, t(5)*i mod 10,t(6)*i mod 10,t(7)*i mod 10, t(8)*i mod 10,t(9)*i mod 10]; >> end; >> end; >> end; >> end; > producto(2); [2, 4, 6, 8, 0, 2, 4, 6, 8]; * La función producto devuelve la columna de posibilidades para cada dígito de la CI. Para la tabla completa se necesita un proceso recursivo, que se introducirá posteriormente 0 0 0 0 0 0 0 6 7 4 3 2 1 8 9 2 4 8 6 4 2 6 8 8 1 2 9 6 3 4 7 4 8 6 2 8 4 2 6 0 5 0 5 0 5 0 5 6 2 4 8 2 6 8 4 2 9 8 1 4 7 6 3 8 6 2 4 6 8 4 2 4 3 6 7 8 9 2 1 Productos mod 10 Dígitos CI 4 3 6 7 8 9 2 Dígito verificador

Clases residuales módulo p primo Definimos número primo al número natural que solo admite dos divisores distintos (el mismo número y la unidad). Is_prime: N -> Bool > is_nat:=func(x); >> return is_integer(x) and x>= 0; >> end; > > is_prime:=func(x); >> if is_nat(x) then >> return {y:y in [1..x]|x mod y=0} = {1,x}; >> end; >> end; > is_prime(7); true; > is_prime(8); false; esprimo: N ->N esprimo(x) = x/ x ЄN ; divisor(x)={1,x} Isetl Matemática

Los códigos de barra de los artículos de consumo corriente admiten su lectura con un escáner: el estándar de decodificación más corriente en los comercios de Uruguay es conocido con el nombre de EAN-13. Está formado por 13 dígitos entre 0 y 9, que llamaremos ai (1 ≤ i ≤ 13). El dígito 13 se calcula 3 + a13 + 3* 5 = 0 -> a13 + 8 = 0 mod 10 -> a13 = 2 correcto verificador Referencia del producto Identificación del fabricante a 13 a 12 a 11 a 10 a 9 a 8 a 7 a 6 a 5 a 4 a 3 a 2 a 1 2 7 0 8 4 5 1 0 4 5 0 0 4 =0 mod 10 7) 8 + 5+ 0+ 5+ (0+ 3* a 13 ) + 0+ 4+ 1+ 4+ 0+ (4+ =0 mod 10 A 12 ) A 10 + A 8+ A 6 + A 4 + (a 2 + 3* a 13 ) + a 11 + a 9 + a 7 + a 5 + a 3 + (a 1 +

[object Object],[object Object],ean: t ->Bool > ean:=func(t); >> if is_tuple (t)then >> if #(t)= 13 then >> return (t(1)+t(3)+t(5)+t(7)+t(9)+t(11)+t(13)+ 3 *(t(2)+t(4)+t(6)+t(8)+t(10)+t(12)))mod 10 = 0; >> end; >> end; >> end; > > t:=[4,0,0,5,4,0,1,5,4,8,0,7,2]; > ean(t); true; t= [ i / 0 ≤ i ≤ 9 n] ean: t -> N mod 10 ean (t) = ( t(1)+t(3)+t(5)+t(7)+t(9)+ t(11)+t(13)+ 3*(t(2)+t(4)+t(6)+t(8)+t(10)+ t(12))) ≡ 10 0 Isetl Matemática

Observar que el dígito desconocido puede ser otro y para recuperarlo el algoritmo es similar. Se ejemplifica con un caso particular y se pide una justificación matemática . (a 1 + a 3+ a 5 + a 7+ a 9 + a 11+ a 13 ) + 3 ( a 2+ a 4+ a 6 + a 8+ a 10+ a 12 ) = 0 (mod 10) pierdo : (a 1 + a 3+ x 5 + a 7+ a 9 + a 11 a 13 ) + 3 ( a 2+ a 4+ a 6 + a 8+ a 10+ a 12 ) = 0 x 5 = - (a 1 + a 3 + a 7+ a 9 + a 11+ a 13 ) - 3 ( a 2+ a 4+ a 6 + a 7+ a 10+ a 12 ) n n’ x 5 = n –3* n’ (conocidos, aun cuando n y n’ sean 0) Si fuera de lugar par, 3 x = - n – n’; x i = (-n - n’) : 3 (para evitar racionales, trabajo con un representante de la misma clase tal que el dividendo sea mayor que el divisor). 2 + 3 x = 0 ; 3x = -2 = 8 ; 2 + 4 = 6 3+0+0+5+1+1+5 + 3* (8+0+ 6 +7+1+3) = 0 5 3 1 1 1 7 5 6 0 0 0 8 3

Temas: LITERATURA INFANTIL Y JUVENIL Autor: ROWLING, J. K. Editorial: SALAMANDRA ISBN: 84-7888-611-7 254 páginas Peso estimado: 335 gramos El ISBN (INTERNATIONAL STANDARD BOOK NUMBER) identifica los libros modernos: las nueve primeras cifras dan información sobre el libro (editorial, título, edición, etc) y la última es un carácter de control que se calcula: Cada término a i / 1 ≤ i ≤ 10; 10 se representa con el símbolo romano X. Este es el cálculo para el libro de Harry Potter. El ISBN permite detectar todos los errores en una cifra, puede recuperar un número cualquiera que se haya borrado y el intercambio de dos cifras cualesquiera. a1+ 2a2+ 3a3+ 4a4+ 5a5+ 6a6+ 7a7+ 8a8+ 9a9 = a10 (mod 11) 7mod 11 = 9 8+ 9+ 4+ 7+ 10+ 10+ 8+ 8+ * 9 8 7 6 5 4 3 2 1 7 1 1 6 8 8 8 7 4 8

El ISBN 987-1007-54- X corresponde al libro de Celso Antúnez “ ¿Cómo desarrollar contenidos aplicando las inteligencias múltiples? Calcular el dígito de control. Instrumentarlo en Isetl Generalizar para cualquier libro que utilice el mismo código. Justificar matemáticamente que se puede detectar el intercambio de dos cifras cualesquiera. A:={1, 2 , 3 , 4 , 5, 6, 7 ,8, 9, X}; libro: A -> mod11 > libro:=func(t); >> if is_tuple (t) then >> if #(t)=9 then >> return (t(1)+ 2*t(2)+3*t(3)+4*t(4)+5*t(5)+6*t(6)+7*t(7)+8*t(8)+9*t(9))mod 11; >> end; >> end; >> end; > > t:=[9,8,7,1,0,0,7,5,4]; > libro(t); 10;

RELACIÓN ENTRE LENGUAJE MATEMÁTICO Y LENGUAJE DE PROGRAMACIÓN Ambos lenguajes han sido diseñados por humanos, pero mientras el lenguaje matemático es manejado por personas, el de programación lo es por un computador. Los humanos pueden advertir inexactitudes o ambigüedades, pero el computador no: se limita a ejecutar instrucciones sin detenerse a reflexionar ni en la pertinencia ni en el significado de las mismas, actuando siempre como si fueran completas y exactas. Por ello programar exige rigurosidad en el uso del lenguaje.

Matematica Discreta

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Destacado

Destacado (20)

Similar a Matematica Discreta

Similar a Matematica Discreta (20)

Último

Último (20)

Matematica Discreta