los lenguajes WHILE y LOOP X2 := X1; while X2 0 do X1 := X1 + 1; X2 := X2 1 od
|
|
- Inmaculada Rodríguez Valenzuela
- hace 7 años
- Vistas:
Transcripción
1 los lenguajes WHILE y LOOP X2 := X1; while X2 0 do X1 := X1 + 1; X2 := X2 1 od
2 índice de materias introducción histórica modelos de cálculo lenguajes WHILE y LOOP funciones µ-recursivas teorema de equivalencia indexaciones y universalidad problemas no resolubles sintaxis, semántica y capacidad expresiva
3 WHILE y LOOP están basados en el bucle indefinido y el bucle definido WHILE LOOP veremos: - sintaxis - semántica informal - semántica formal? 15
4 sintaxis del lenguaje WHILE identificadores X 1, X 2, X 3,..., X i,... instrucciones de asignación código X i := X j secuencia finita no vacía de X i := X i + 1 instrucciones separadas X i := X i 1 ( 0 1 = 0 ) por ";" X i := 0 instrucción de control programa bucle indefinido: while X i 0 do (cabecera) od (n, p, código) p n código (cuerpo) ambos naturales (cola) Nota: el índice de anidamiento siempre es finito
5 ejemplo de programa WHILE Ejemplo 1: Sea el programa WHILE (1, 2, código) con código: X 2 := X 1 ; while X 2 0 do X 1 := X ; X 2 := X 2 1 od
6 ejemplo de programa WHILE Ejemplo 2: Sea el programa WHILE (1, 1, código) con código: X 1 := X ; while X 1 0 do od X 1 := X 1
7 trabaja sólo con naturales semántica informal del lenguaje WHILE no hay instrucciones de entrada ni de salida para un programa (n, p, código) n variables de entrada: X 1, X 2,..., X n 1 variable de salida: X 1 p variables de uso: X 1, X 2,..., X p con p n las variables que no son de entrada se inicializan implícitamente a cero una única función (que puede ser parcial) de N n en N se puede asociar a cada programa
8 ejemplo de programa WHILE Semántica del programa del ejemplo 1: Sea el programa WHILE (1, 2, código) con código: X 2 := X 1 ; while X 2 0 do od X 1 := X ; X 2 := X 2 1 Este programa tiene una variable de entrada (X 1 ), usa dos variables (X 1, X 2 ), y X 2 se inicializa implícitamente a cero. Calcula: f(n)= 2n n N
9 ejemplo de programa WHILE Semántica del programa del ejemplo 2: Sea el programa WHILE (1, 1, código) con código: X 1 := X ; while X 1 0 do od X 1 := X 1 Este programa tiene una variable de entrada (X 1 ), que es la única que usa. Calcula: f(n)= n N (función que siempre diverge)
10 semántica formal del lenguaje WHILE versión etiquetada de un programa WHILE Dado un programa WHILE (n, p, código) lo escribimos de manera que cada línea contenga una de las siguientes cosas: una instrucción de asignación una cabecera de (bucle) while: while X i 0 do una cola de (bucle) while: od Además: numeramos las líneas consecutivamente empezando por el 1 tras una cabecera de while ponemos el número que le ha correspondido a su cola tras una cola de while ponemos el número que le ha correspondido a su cabecera
11 ejemplo de programa WHILE Versión etiquetada del programa WHILE del ejemplo 1 Sea el programa WHILE Q = (1, 2, código) con código 1: X 2 := X 1 ; 2: while X 2 0 do :5 3: X 1 := X ; 4: X 2 := X 2 1 5: od :2
12 concepto de configuración de un programa WHILE sea Q = (n, p, código) un programa WHILE, con líneas numeradas de 1 a f, una configuración de Q es una (p+1)-tupla (s, x) con s {1, 2, 3,, f, f +1} y x N p una configuración es inicial si s=1 y x n+1 = = x p = 0 una configuración es final si s = f +1 C Q denota al conjunto de las configuraciones de Q
13 ejemplos de configuraciones Sea el programa WHILE Q = (1, 2, código) con código 1: X 2 := X 1 ; 2: while X 2 0 do :5 3: X 1 := X ; 4: X 2 := X 2 1 5: od :2 (1,3,5) es configuración, no inicial y no final (1,5,0) es configuración, inicial y no final (6,8,3) es configuración final, y no inicial (2,2,2) es configuración, no inicial y no final (0,3,5) no es configuración
14 concepto de cálculo en un paso Sea Q = (n, p, código) un programa WHILE, con líneas numeradas de 1 a f. Diremos que la configuración c 1 =(s, x) se transforma en la configuración c 2 =(t, y) en un paso de cálculo (representado por c 1 Q c 2 ) sii
15 concepto de cálculo en un paso (para la asignación) < (s, x) Q (t, y) > Si s: asignación aparece en la versión etiquetada de Q, entonces t = s + 1 y i 0 xj = xi + 1 xi 1 si "asignación" es si "asignación" es si "asignación" es si "asignación" es Xi : = 0 Xi : = X Xi : = X Xi : = X yr = xr para todo r tal que 1 r p y r i j i i
16 concepto de cálculo en un paso (para el bucle) < (s, x) Q (t, y) > Si s: while X i 0 do :s aparece en la versión etiquetada de Q, entonces y = x si xi 0 entonces t = s + 1 si xi = 0 entonces t = s + 1 Si s: od :s aparece en la versión etiquetada de Q, entonces y = x si xi 0 entonces t = s + 1 ( x i está en la cabecera s ) si xi = 0 entonces t = s + 1
17 ejemplos de cálculo en un paso Sea el programa WHILE Q = (1, 2, código) con código 1: X 2 := X 1 ; 2: while X 2 0 do :5 3: X 1 := X ; 4: X 2 := X 2 1 5: od :2 (1, 2, 0) Q (1, 2, 2)? (1, 2, 0) Q (2, 2, 2)? (3, 4, 6) Q (4, 5, 6)? (2, 6, 0) Q (6, 6, 0)? (1, 6, 0) Q? (2, 3, 7) Q? (5, 4, 2) Q? (5, 8, 0) Q?
18 extendemos el cálculo en un paso función siguiente configuración sea Q = (n, p, codigo) un programa WHILE y C Q el conjunto de todas las configuraciones de Q la función siguiente SIG Q : N p+1 N p+1 es SIG Q ( c) = c' c si si c Q c C Q c' c' / c Q c'
19 siguiente para el programa Q ya visto > = = = = = + = = = = = = 5 si ) ( 0 5 si ) (6 0 5 si ) (3 4 si 1) (5 3 si ) 1 (4 0 2 si ) (6 0 2 si ) (3 1 si ) (2 0 si ) ( ) ( a a,b,c c a,b,c c a,b,c a,b,c a,c,b c a,b,c c a,b,c a,b,b a a,b,c a, b, c SIG Q
20 función cálculo de un programa (configuración alcanzada tras i pasos) sea Q = (n, p, c) un programa WHILE, con líneas numeradas de 1 a f, la función cálculo del programa Q es la función CAL Q : N p+1 N p+1 CAL Q (a, i) = (t, b), siendo a N p y (1, a) Q c 1 Q c 2 Q Q c i = (t, b) el cálculo de Q en i pasos, que comienza con valores a de las variables que usa el programa (las de no entrada inicializadas) se define recursivamente en función de SIG Q CAL Q (1, a) ( a, i) = SIGQ ( CAL Q ( a, i 1)) si i si i = > 0 0
21 ejemplo de función cálculo dado el programa Q ya visto, encontrar el valor de CAL Q (6, 0, 4) solución: (1, 6, 0) Q (2, 6, 6) Q (3, 6, 6) Q (4, 7, 6) Q (5, 7, 5) CAL Q (6, 0, 4) = (5, 7, 5)
22 función complejidad temporal (nº de pasos de un programa, según la entrada) sea Q = (n, p, código) un programa WHILE, con líneas numeradas de 1 a f, la función complejidad temporal de Q es la función T Q : N n N T Q ( x) p+ 1 = µ j[ π1 ( CALQ ( x,0, j)) = f + 1] siendo x N n, 0 un vector de p n ceros y π 1 p+1 la función proyección de la primera componente de un vector de p+1 componentes ( µj el menor j tal que)
23 ejemplo de función complejidad temporal dado el programa Q ya visto, determinar la complejidad temporal solución: (1, a, 0) Q (2, a, a) Q (3, a, a) Q (4, a+1, a) Q (5, a+1, a 1) Q (3, a+1, a 1) Q (4, a+2, a 1) Q (5, a+2, a 2) Q (3, a+2, a 2) Q (3, 2a 1, 1) Q (4, 2a, 1) Q (5, 2a, 0) Q (6, 2a, 0) T Q (a) = 3a+2
24 concepto de función calculada por un programa WHILE sea Q = (n, p, código) un programa WHILE, la función calculada f Q : N n N se define por f Q p+ 1 ( x) = π 2 ( CALQ ( x,0, TQ ( x))) siendo x N n y 0 un vector de p n ceros expresado informalmente: dados unos valores para las variables de entrada (x), se inicializan a cero las demás variables, se realizan pasos de cálculo hasta alcanzar una configuración final, y se toma como resultado la segunda componente (variable X 1 ); si no es posible alcanzar tal configuración final, entonces el programa no acaba para esos valores de entrada, y la función está indefinida (diverge)
25 la clase de funciones WHILE-calculables F n (WHILE) es el conjunto de todas las funciones f:n n N tales que existe un programa WHILE, con n variables de entrada, que calcula f F(WHILE) es la unión de todas las F n (WHILE), para n 0 si f F(WHILE) diremos que f es una función WHILE-calculable
26 ejercicios de WHILE-calculabilidad Demostrar (dando programa y funciones SIG, CAL, T y f ) que cada una de las siguientes funciones es WHILE-calculable: - suma - resta ( x y = 0 si x < y ) - valor absoluto de la resta ( x y si x y, y x si x < y ) - signo ( 0 si x = 0, 1 si x > 0 ) - complementario del signo ( 0 si x > 0, 1 si x = 0 ) - producto - función que siempre diverge - la función identidad de N en N - función constante C k j : N k N, C k j(x) = j x N k
27 lenguaje WHILE ampliado utilización de denominaciones libres para las variables de entrada y para la variable de salida (hay que especificar cuáles son de entrada y cuál es de salida) permitiremos en el lenguaje ampliado incluir instrucciones de asignación cuyo miembro de la derecha implica la activación de otras funciones while-calculables (macroinstrucción) inclusión de líneas de comentarios una función en WHILE ampliado es WHILE-calculable
28 ejemplo de WHILE ampliado Ejemplo de denominaciones libres y de comentario : Entradas: dato Salida: doble (* = 2 dato *) Código: doble := dato ; while dato 0 do doble := doble + 1 ; dato := dato 1 od
29 ejemplo de WHILE ampliado Ejemplo de activación de funciones while-calculables. Sea el programa doble = (1, 2, código) con código X 2 := X 1 ; while X 2 0 do X 1 := X ; X 2 := X 2 1 od Sea el programa (macroprograma) exp = (1, 2, código) con código X 2 := X ; while X 1 0 do X 2 := doble( X 2 ) ; macroinstrucción X 1 := X 1 1 od ; X 1 := X 2 ( exp calcula f(n)=2 n )
30 conversión a WHILE: variables y comentarios un programa con denominaciones libres para las variables se convierte en un programa WHILE haciendo las siguientes transformaciones: reemplazar la primera variable de entrada por X 1, la segunda por X 2,, la n-ésima por X n reemplazar la variable de salida por X n+1 reemplazar las variables de uso interno, según su orden de aparición por X n+2, añadir al final del código resultante la instrucción X 1 := X n+1 los comentarios se eliminan sin efecto para el código
31 ejemplo de conversión a WHILE Entradas: dato Salida: doble (* 2 dato *) Código: doble := dato ; while dato 0 do doble := doble + 1 ; dato := dato 1 od (1, 2, código-doble) código-doble: X 2 := X 1 ; while X 1 0 do X 2 := X ; X 1 := X 1 1 od ; X 1 := X 2
32 conversión a WHILE: macroinstrucciones las macroinstrucciones se eliminan como sigue sea la macroinstrucción X i := f ( X j1,, X jn ), donde f es calculada por el programa (n, p, código) sea Q un macroprograma que usa q variables en el cual aparece la macroinstrucción anterior, la expansión PQ de la macroinstrucción en Q da lugar a: X q+1 := X j1 ; X q+2 := X j2 ; X q+n := X jn ; X q+n+1 := 0 ; X q+n+2 := 0 ; X q+p := 0 ; el código de P sustituyendo X i por X q+i, con 1 i p X i := X q+1 cada macroinstrucción se expande independientemente
33 ejemplo de conversión a WHILE exp = (1, 2, cod) cod: X 2 := X ; while X 1 0 do X 2 := doble( X 2 ) ; X 1 := X 1 1 od ; X 1 := X 2 doble = (1, 2, cod) cod: X 2 := X 1 ; while X 2 0 do X 1 := X ; X 2 := X 2 1 od exp = (1, 4, cod) cod: X 2 := X ; while X 1 0 do X 3 := X 2 ; X 4 := 0 ; X 4 := X 3 ; while X 4 0 do X 3 := X ; X 4 := X 4 1 od ; X 2 := X 3 ; X 1 := X 1 1 od ; X 1 := X 2
34 lenguaje WHILE ampliado Podemos combinar variables libres y macroinstrucciones Ejemplo: Entradas: x, y Salida: prod (* = x y *) Código: while y 0 do prod := suma(prod, x) ; y := y 1 od
35 lenguaje WHILE ampliado Para las macroinstrucciones relativas a funciones conocidas y con representación infija, estándar en matemáticas, usaremos dicha representación Así, las macros z := suma(x,y) z := resta(x,y) z := producto(x,y) z := exp(x) se escribirán z := x + y z := x y z := x y z := 2 x Permitiremos más de una función while-calculable en una macroinstrucción p.e.: z := x + ( x (z - y))
36 ejemplos con WHILE ampliado Demostrar que las siguientes funciones son while-calculables: máximo ( max(x,y) ) diferencia en valor absoluto ( x - y ) igualdad ( igualdad(x,y), o bien x=y ) (calcula 1 si son iguales, 0 si son distintos) potencia ( x y ) soluciones: potencia: max(x,y) := ( x y ) + y Entradas: x, y x - y := ( x y ) + ( y - x ) Salida: z igualdad(x,y) := csg( x - y ) Código: ( csg complemento del signo) z := z + 1 ; while y 0 do z := z x ; y := y 1 od
37 composición de funciones sean f y g dos funciones de N en N, ambas while-calculables; la composición de ellas g f también es una función while-calculable sea (1, p f, Q) el programa while que calcula f : N N y (1, p g, R) el programa que calcula g: N N, el siguiente macroprograma calcula g f Entrada: x Salida: y Código: x := f(x) ; y := g(x)
38 capacidad expresiva de WHILE: estructuras de control do x times S od z := x; while z 0 do S z := z 1 od (* z es una nueva variable *) if x 0 then S fi y := sg (x); do y times S od (* y es una nueva variable *) if x 0 then S else T fi y := sg (x); z := csg(x); do y times S od do z times T od
39 C capacidad expresiva de WHILE: expresiones booleanas para cualquier condición booleana C existe una expresión EC tal que si la condición es verdadera toma el valor 1 y si es falsa toma el valor 0 X = Y E C 1 [(Y X) + (X Y)] X > Y (X Y) [(X Y) 1] X < Y (Y X) [(Y X) 1] C 1 C 2 sg(e C 1 + E C2 ) C 1 C 2 (E C 1 + E C2 ) 1 C 1 E C while C do S od z := E C ; while z 0 do S z := E C ; od
40 capacidad expresiva de WHILE: expresiones con funciones siendo f y g funciones de N en N while-calculables y S, S1 y S2 códigos, permitiremos escribir instrucciones de la forma: instrucción do f(x) times S od expansión w := f(x); do w times S od while f(x) 0 do S od if f(x) g(x) then S1 else S2 fi if f(x) 0 then S fi w := f(x); while w 0 do S; w := f(x) od w := f(x) g(x) ; if w 0 then S1 else S2 fi w := f(x); if w 0 then S fi
41 identificadores sintaxis del lenguaje LOOP X 1, X 2, X 3,..., X i,... instrucciones de asignación X i := X j X i := X i + 1 código X i := X i 1 ( 0 1 = 0 ) por ";" X i := 0 instrucción de control secuencia finita no vacía de instrucciones separadas programa bucle definido: (n, p, código) do X i times (cabecera) p n código (cuerpo) ambos naturales od (cola) Nota: el índice de anidamiento siempre es finito
42 clase de funciones LOOP-calculables F n (LOOP) es el conjunto de las funciones f: N n N tales que existe un programa LOOP, con n variables de entrada, que calcula f F(LOOP) es la unión de todas las F n (LOOP), para todo n 0 si f F(LOOP) decimos que f es una función LOOP-calculable
43 lenguajes LOOP i para cada i 0, se define el lenguaje LOOP i como el sublenguaje de LOOP formado por los programas que tiene nivel de anidamiento de bucles a lo sumo i F(LOOP i ) es la clase de funciones calculadas por programas LOOP i si una función pertenece a una clase, entonces pertenece a todas las que están por encima de ella F(LOOP 0 ) F(LOOP 1 ) F(LOOP 2 ) F(LOOP) cómo son los programas escritos en LOOP 0 y las funciones de F(LOOP 0 )?
Lenguajes, Gramáticas y Autómatas Conceptos
Lenguajes, Gramáticas y Autómatas Conceptos Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza Última revisión: Febrero. 2004 11/02/2004 1 Índice Alfabetos, palabras y
Más detallesTodo programa en 'C' consta de una o más funciones, una de las cuales se llama main.
LENGUAJE C CARACTERISTICAS DEL LENGUAJE 'C' El lenguaje 'C' se conoce como un lenguaje compilado. Existen dos tipos de lenguaje: interpretados y compilados. Los interpretados son aquellos que necesitan
Más detallesLección 2 Introducción al lenguaje C
Lección Introducción al lenguaje C Decimal Binario Hexadecimal A B C D E F Octal Equivalencia entre decimal, binario, hexadecimal y octal. Código ASCII (American Standard Code for Information Interchange)
Más detallesJava para no Programadores
Java para no Programadores Programa de Estudio Java para no Programadores Aprende a programar con una de las tecnologías más utilizadas en el mercado de IT. Este curso está orientado a quienes no tienen
Más detallesLenguajes y Gramáticas
Lenguajes y Gramáticas Teoría de Lenguajes Fernando Naranjo Introduccion Se desarrollan lenguajes de programación basados en el principio de gramática formal. Se crean maquinas cada vez mas sofisticadas
Más detallesProgramación en C. Algoritmo y Estructura de Datos. Ing. M. Laura López. Programación en C
Algoritmo y Estructura de Datos Ing. M. Laura López 1 Estructura de un programa en C 2 Estructura de un programa en C #include Archivos de cabecera # define Definición de constantes Declaraciones Globales
Más detallesGUÍA BÁSICA DE SCHEME v.4
Esta guía básica pretende ser una introducción elemental al lenguaje de programación Scheme. Se presenta como una guía de comienzo rápido de tal forma que permita conocer de una forma muy esquemática los
Más detallesTema 2. El lenguaje JAVA
Tema 2. El lenguaje JAVA Nomenclatura habitual Variables Tipos de variables Tipos primitivos Referencias Arrays Operadores Operadores de Java Precedencia de operadores Sentencias de control Sentencias
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesTipos de datos en S. Lógica y Computabilidad. Codificación de variables y etiquetas de S. Codificación de programas en S
Tipos de datos en S Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Computabilidad - clase 5 Codificación de programas, Halting problem, diagonalización, tesis de Church,
Más detallesLenguaje de programación C. Introducción
Lenguaje de programación C Introducción 1 Elementos del lenguaje C Colección de funciones Estas funciones contienen declaraciones, sentencias, expresiones y otros elementos que en conjunto indican a la
Más detallesConjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.
NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida
Más detallesCiclos. Recordando Estructuras de Control Básicas: SELECCIÓN (condición) SECUENCIAL
Ciclos Fundamentos de Programación Recordando Estructuras de Control Básicas: Una secuencia es una serie de estatutos que se ejecutan uno después de otro. Selección (condición) ejecuta diferentes estatutos
Más detallesRelaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad
Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean
Más detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesla solución a una ecuación cuadrática solicitando al usuario los términos de dicha ecuación.
ALGORITMOS SECUENCIALES: La estructura secuencial es aquella en la que una acción (instrucción) sigue a otra en secuencia. Las tareas se suceden de tal modo que la salida de una es la entrada de la siguiente
Más detallesElementos de un programa en C
Elementos de un programa en C Un programa en C consta de uno o más archivos. Un archivo es traducido en diferentes fases. La primera fase es el preprocesado, que realiza la inclusión de archivos y la sustitución
Más detallesNota: Se entiende que el usuario no introducirá un divisor igual a cero.
EJERCICIOS EN LENGUAJE C Ejercicio 1 - Área de un triángulo (Entrada y salida estándar - Lenguaje C) 1º) Pida por teclado la base (dato real) de un triángulo. 2º) Pida por teclado la altura (dato real)
Más detallesTema 7. Generación de código
Departamento de Tecnologías de la Información Tema 7 Generación de código Ciencias de la Computación e Inteligencia Artificial Índice 7.1 Visión general 7.2 Código de tres direcciones 2 Índice 7.1 Visión
Más detallesEstructuras de Control
Algorítmica y Lenguajes de Programación Estructuras de Control Estructuras de Control. Introducción Hasta ahora algoritmos han consistido en simples secuencias de instrucciones Existen tareas más complejas
Más detallesJava Avanzado Facultad de Ingeniería. Escuela de computación.
2 Java Avanzado Facultad de Ingeniería. Escuela de computación. Java Avanzado. Guía 3 3 Introducción Este manual ha sido elaborado para orientar al estudiante de Java Avanzado en el desarrollo de sus prácticas
Más detallesFUNDAMENTOS DE INFORMÁTICA
FUNDAMENTOS DE INFORMÁTICA Tema 2 Expresiones, operadores y estructuras de control Departamento de Ingeniería de Sistemas y Automática Universidad de Vigo Fundamentos de Informática. Departamento de Ingeniería
Más detallesLaboratorio de Arquitectura de Redes. Entrada y salida estándar
Laboratorio de Arquitectura de Redes Entrada y salida estándar Entrada y salida estándar Entradas y salidas Salida con formato: printf() Entrada de datos con formato: scanf() El buffer de teclado Entrada
Más detalles* e e Propiedades de la potenciación.
ECUACIONES DIFERENCIALES 1 REPASO DE ALGUNOS CONCEPTOS PREVIOS AL ESTUDIO DE LAS ECUACIONES DIFERENCIALES 1. Cuando hablamos de una función en una variable escribíamos esta relación como y = f(x), esta
Más detallesControl de Flujo. Estructuras de Control! Experiencia Educativa de Algorítmica CONTROL DE FLUJO
Control de Flujo Estructuras de Control Experiencia Educativa de Algorítmica 1 Introducción El estilo de como escribimos y analizamos un algoritmo se convierte en una de las principales características
Más detallesREFERENCIA DEL LENGUAJE
REFERENCIA DEL LENGUAJE Sesión 07 Mg. Cadenas de caracteres Una cadena de caracteres es un arreglo de caracteres. Los caracteres son letras, números y signos de puntuación. Cuando un número se usa como
Más detallesSESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES
SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la
Más detallesManual de turbo pascal
Universidad Nacional Experimental De Los Llanos Occidentales Ezequiel Zamora UNELLEZ-Barinas Manual de turbo pascal Bachilleres: Martinez Ninibeth C.I:20.867.002 Mora Yaco C.I:17.205.073 Estructura de
Más detallesCompiladores: Análisis Sintáctico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V.
Compiladores: Análisis Sintáctico Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V. Sintaxis Define la estructura del lenguaje Ejemplo: Jerarquía en
Más detallesInformática Ingeniería en Electrónica y Automática Industrial
Informática Ingeniería en Electrónica y Automática Industrial Entrada y salida estándar V1.3 Autores Entrada y salida estándar Entradas y salidas Salida con formato: printf() Entrada de datos con formato:
Más detallesPrincipios de Computadoras II
Departamento de Ingeniería Electrónica y Computadoras Operadores y Expresiones rcoppo@uns.edu.ar Primer programa en Java 2 Comentarios en Java Comentario tradicional (multi-línea) Comentario de línea Comentario
Más detallesAgradecimientos. Nota de los autores. 1 Problemas, algoritmos y programas 1
Prologo Agradecimientos Nota de los autores Índice general I III V VII 1 Problemas, algoritmos y programas 1 1.1 Programas y la actividad de la programación.................... 4 1.2 Lenguajes y modelos
Más detallesIntroducción. El uso de los símbolos en matemáticas.
Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre
Más detallesAlgoritmos. Medios de expresión de un algoritmo. Diagrama de flujo
Algoritmos En general, no hay una definición formal de algoritmo. Muchos autores los señalan como listas de instrucciones para resolver un problema abstracto, es decir, que un número finito de pasos convierten
Más detalles4. Operadores Operador asignación
Programación orientada a objetos con Java 43 4. Operadores Objetivos: a) Describir los operadores (aritméticos, incrementales, de relación, lógicos y de asignación) y los tipos de dato primitivos sobre
Más detallesOperadores y Expresiones
Operadores y Expresiones Los programas Java constan de datos, sentencias de programas y expresiones. Una expresión es normalmente, una ecuación matemática, tal como 3 * x + 5 * z. En esta expresión, los
Más detallesUNIDAD ACADÉMICA PROFESIONAL TIANGUISTENCO
UNIDAD ACADÉMICA PROFESIONAL TIANGUISTENCO LICENCIATURA EN PRODUCCIÓN INDUSTRIAL. UNIDAD DE APRENDIZAJE: PROGRAMACIÓN Créditos institucionales de la UA: 6 Material visual: Diapositivas Unidad de competencia
Más detallesGuía práctica de estudio 05: Diagramas de flujo
Guía práctica de estudio 05: Diagramas de flujo Elaborado por: M.C. Edgar E. García Cano Ing. Jorge A. Solano Gálvez Revisado por: Ing. Laura Sandoval Montaño Guía práctica de estudio 05: Diagramas de
Más detalles5. Subprogramas Fundamentos de Informática
5. Subprogramas Fundamentos de Informática Dpto. Lenguajes y Sistemas Informáticos Curso 2012 / 2013 Índice Subprogramas 1. Cálculo de la función Coseno 2. Suma 3. Ecuación de 2º grado 2 1. Cálculo de
Más detallesClase 8 Matrices Álgebra Lineal
Clase 8 Matrices Álgebra Lineal Código Escuela de Matemáticas - Facultad de Ciencias Universidad Nacional de Colombia Matrices Definición Una matriz es un arreglo rectangular de números denominados entradas
Más detallesFundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002
Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Ejercicios Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto
Más detallesLA FUNCIÓN INVERSA. Si R es una relación, la relación R definida por la proposiciones. (a, b) R (b, a) R. (a, b) R (c, b) R a = c
LA FUNCIÓN INVERSA Existen diferentes definiciones de función inversa, aunque el concepto matemático es el mismo. Expondremos aquí tres de ellas, para efectos formales, ya que para hallar la inversa de
Más detallesElementos léxicos del lenguaje de programación Java
Elementos léxicos del lenguaje de programación Java Elementos léxicos del lenguaje de programación Java Palabras reservadas Identificadores Literales Operadores Delimitadores Comentarios Apéndices Operadores
Más detallesTema: Los Grafos y su importancia para la optimización de redes.
Tema: Los Grafos y su importancia para la optimización de redes. Qué son los Grafos? Un grafo es una dupla G= {X,U}, donde X es un conjunto finito y no vacio de elementos llamados vértices y U es el conjunto
Más detallesSemántica Denotacional
Semántica Denotacional Idea: El significado de un programa es la función denotada por el programa Componentes del metalenguaje para la definición semántica denotacional de un L.P.: Dominios sintácticos
Más detallesExterior del algoritmo. Entorno. Usuario. Procesador. Escribir. v1 v2 v3. Leer. <acción> {; <acción>}
Bloque II. 2. Objetos y acciones elementales Bloque II. 2. Objetos y acciones elementales Objetivos: Familiarizarse con conceptos de entorno, objeto y tipo Entender qué significa que un objeto sea de un
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesEstatutos de Control C# Estatutos de Decisión (Selección)
SELECCIÓN Estatutos de Control C# Estatutos de Decisión (Selección) IF Condición THEN Estatuto1 ELSE Estatuto2 Estatuto1 Statement Condición... Antes de ver esta presentación: Lee el Capítulo correspondiente
Más detallesSISTEMA DE NUMEROS REALES
SISTEMA DE NUMEROS REALES 1.1 Conjuntos Es una agrupación de objetos distintos (pero con algunas características en común), los que reciben el nombre de elementos. Generalmente se nombra a un conjunto
Más detallesMATEMÁTICAS BÁSICAS. Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano
MATEMÁTICAS BÁSICAS Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2015 Universidad
Más detallesb) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A
APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 7: Lunes 22 - Viernes 27 de Abril. Contenidos
Coordinación de Matemática I (MAT01) 1 er Semestre de 013 Semana 7: Lunes - Viernes 7 de Abril Cálculo Contenidos Clase 1: Álgebra de límites. Teorema del Sandwich. Cálculo de límites. Límites trigonométricos.
Más detallesMODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.
MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.
Más detallesEs toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos:
Tipos de datos. Dato: Es toda la información que utiliza el computador. Según sea la información que guardemos en los datos, se clasifican en los siguientes tipos: I Numéricos: Almacenan números y con
Más detallesAnálisis y síntesis de sistemas digitales combinacionales
Análisis Algoritmo de análisis, para un circuito lógico combinacional Síntesis. Conceptos Circuitos combinacionales bien construidos Circuitos combinacionales mal construidos Criterios de optimización
Más detallesEl lenguaje C. 3. Una instrucción que se ejecutará si la condición es verdadera.
Principios de Programación El lenguaje C 1. Instrucciones de control 1.1. Secuencia, selección, iteración Por lo regular en un programa los enunciados son ejecutados uno después del otro, en el orden en
Más detallesEstructuras de control
Estructuras de control Introducción Los algoritmos vistos hasta el momento han consistido en simples secuencias de instrucciones; sin embargo, existen tareas más complejas que no pueden ser resueltas empleando
Más detallesProgramación Orientada a Objetos Sentencias Java Parte I Ing. Julio Ernesto Carreño Vargas MsC.
Sentencias Java Parte I Ing. Julio Ernesto Carreño Vargas MsC. Variables Conceptos de Memoria Una variable es un espacio en la memoria del PC Cada variable tiene un nombre, un tipo, un tamaño y un valor
Más detallesTema 2 Conceptos básicos de programación. Fundamentos de Informática
Tema 2 Conceptos básicos de programación Fundamentos de Informática Índice Metodología de la programación Programación estructurada 2 Pasos a seguir para el desarrollo de un programa (fases): Análisis
Más detallesProgramación n Orientada a Objetos Sentencias Java Parte I. Ing. Julio Ernesto Carreño o Vargas MsC.
Programación n Orientada a Objetos Sentencias Java Parte I Ing. Julio Ernesto Carreño o Vargas MsC. Variables y expresiones aritméticas Variables Conceptos de Memoria Una variable es un espacio en la memoria
Más detallesOperaciones con monomios y polinomios
Operaciones con monomios y polinomios Para las operaciones algebraicas se debe de tener en cuenta que existen dos formas para representar cantidades las cuales son números o letras. Al representar una
Más detallesPráctica de constantes, expresiones y operadores. Programación en C 1
Práctica de constantes, expresiones y operadores Programación en C 1 Definición de variables (II) Las variables (automáticas) no inicializadas tienen cualquier valor. Una variable (automática) se inicializa
Más detallesNOT. Ejemplo: Circuito C1
Métodos de diseño de circuitos digitales Sistemas combinacionales En un circuito combinacional los valores de las salidas dependen únicamente de los valores que tienen las entradas en el presente. Se construen
Más detallesPHP: Lenguaje de programación
Francisco J. Martín Mateos Carmen Graciani Diaz Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Tipos de datos Enteros Con base decimal: 45, -43 Con base octal: 043, -054
Más detallesEstructura de Datos [Tipos de datos concretos y tipos de datos abstractos]
Estructura de Datos [Tipos de datos concretos y tipos de datos abstractos] M. en C. Sergio Luis Pérez Pérez UAM CUAJIMALPA, MÉXICO, D. F. Trimestre 14-O Sergio Luis Pérez (UAM CUAJIMALPA) Curso de Estructura
Más detallesDERIVADAS. Para hallar la pendiente de una curva en algún punto hacemos uso de la recta tangente de una curva en un punto.
DERIVADAS Tema: La derivada como pendiente de una curva Para hallar la pendiente de una curva en algún punto hacemos uso de la recta tangente de una curva en un punto. La pendiente de la curva en el punto
Más detallesLEX. Las definiciones y subrutinas son opcionales. El segundo %% es opcional pero el primer %% indica el comienzo de las reglas.
LEX Estructura de un programa en LEX { definiciones { reglas { subrutinas del usuario Las definiciones y subrutinas son opcionales. El segundo es opcional pero el primer indica el comienzo de las reglas.
Más detallesTema 2: Espacios Vectoriales
Tema 2: Espacios Vectoriales José M. Salazar Octubre de 2016 Tema 2: Espacios Vectoriales Lección 2. Espacios vectoriales. Subespacios vectoriales. Bases. Lección 3. Coordenadas respecto de una base. Ecuaciones.
Más detallesComparaciones en lenguaje ensamblador
Comparaciones en lenguaje ensamblador Objetivo: Entender cómo se realizan las comparaciones de datos en lenguaje ensamblador En lenguaje ensamblador no existe la instrucción IF como se trabaja en otros
Más detallesCómo nombrar variables ( 2&
&'()*+,, *)-.&'*/0+!" #$ # http://www.escet.urjc.es/~aiiq/ Introducción a Visual Studio.NET Aprendiendo el IDE de Visual Basic.NET Elementos del lenguaje. Variables y estructuras de datos Introducción
Más detallesExpresiones y sentencias
Expresiones y sentencias Expresión Construcción (combinación de tokens) que se evalúa para devolver un valor. Sentencia Representación de una acción o una secuencia de acciones. En Java, todas las sentencias
Más detallesEXAMEN PARCIAL TRABAJO INTEGRADOR (TI) EVALUACIÓN CONTINUA PESO PORCENTUAL PESO PORCENTUAL 1 30% 06-MAY-14 30% 03-MAY-14 20% 20%
UNIVERSIDAD DEL VALLE DE MEXICO CAMPUS ROMA PLANEACIÓN DIDÁCTICA LICENCIATURA EJECUTIVA CICLO 201425 Nombre de la asignatura: Lenguajes Operativos Horas por semana: 6 Nombre del docente: Olvera Jiménez
Más detallesEn matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse
En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se
Más detallesMATRICES. Se simboliza tal matriz por y se le llamará una matriz x o matriz de orden x (que se lee por ).
1 MATRICES 1 Una matriz es una disposición rectangular de números (Reales); la forma general de una matriz con filas y columnas es Se simboliza tal matriz por y se le llamará una matriz x o matriz de orden
Más detallesESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I. TEMA 4 Algebra booleana y puertas lógicas
ESTRUCTURA Y TECNOLOGÍA DE LOS COMPUTADORES I TEMA 4 Algebra booleana y puertas lógicas TEMA 4. Algebra booleana y puertas lógicas 4.1 Definición de álgebra de Boole 4.2 Teoremas del álgebra de Boole 4.3
Más detallesSemana 09 [1/28] Sucesiones. 29 de abril de Sucesiones
Semana 09 [1/28] 29 de abril de 2007 Semana 09 [2/28] Definición Sucesión Una sucesión real es una función: f : N R n f (n) Observaciones Para distinguir a una sucesión de las demás funciones, se ocupará
Más detallesBase y Dimensión de un Espacio Vectorial
Base y Dimensión de un Espacio Vectorial 201 6Asturias: Red de Universidades Virtuales Iberoamericanas 1 Índice 1 Qué es un sistema generador?... 4 2 Base de un espacio vectorial... 4 3 Dimensión de un
Más detallesÁlgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior
Álgebra de Boole El Álgebra de Boole es una forma muy adecuada para expresar y analizar las operaciones de los circuitos lógicos. Se puede considerar las matemáticas de los sistemas digitales. Operaciones
Más detallesComplejidad de Algoritmos
Complejidad de Algoritmos Tema 5 Introducción Un algoritmo es una secuencia de instrucciones que resuelve un problema Puede tener diferentes implementaciones Para comparar las diferentes formas (algoritmos)
Más detallesMATEMÁTICAS APLICADAS A LAS C.C. SOCIALES
MATEMÁTICAS APLICADAS A LAS C.C. SOCIALES CAPÍTULO 5 Curso preparatorio de la prueba de acceso a la universidad para mayores de 25 años curso 2010/11 Nuria Torrado Robles Departamento de Estadística Universidad
Más detallesHerramientas computacionales para la matemática MATLAB: Estructuras de control
Herramientas computacionales para la matemática MATLAB: Estructuras de control Verónica Borja Macías Mayo 2012 1 Estructuras de control ESTRUCTURAS DE REPETICIÓN: BUCLES Los bucles permiten repetir las
Más detallesTema 3.- Predicados y sentencias condicionales
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO PROGRAMACIÓN DECLARATIVA INGENIERÍA INFORMÁTICA ESPECIALIDAD DE COMPUTACIÓN CUARTO CURSO PRIMER
Más detallesEspacios Vectoriales
Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios
Más detallesTEMA 3 ÁLGEBRA DE CONMUTACIÓN
TEMA 3 ÁLGEBRA DE CONMUTACIÓN TEMA 3: Álgebra de Boole ÍNDICE. POSTULADOS DEL ÁLGEBRA DE CONMUTACIÓN 2. ÁLGEBRA DE BOOLE BIVALENTE O ÁLGEBRA DE CONMUTACIÓN 2. Teoremas del álgebra de conmutación 3. VARIABLES
Más detallesLenguajes Regulares. Antonio Falcó. - p. 1
Lenguajes Regulares Antonio Falcó - p. 1 Cadenas o palabras I Una cadena o palabra es una sucesión finita de símbolos. cadena {c, a, d, e, n}. 10001 {0, 1} El conjunto de símbolos que empleamos para construir
Más detalles1 Ecuaciones diferenciales
1 Ecuaciones diferenciales La solución a una ecuación algebraica es un número, o un conjunto de números que satisfacen la ecuación. Por ejemplo las soluciónes de x 2 4x + 3 = 0 son x 0 = 1 y x 1 = 3. Las
Más detallesSobre funciones reales de variable real. Composición de funciones. Función inversa
Sobre funciones reales de variable real. Composición de funciones. Función inversa Cuando en matemáticas hablamos de funciones pocas veces nos paramos a pensar en la definición rigurosa de función real
Más detallesÁlgebras de Boole. Juan Medina Molina. 25 de noviembre de 2003
Álgebras de Boole Juan Medina Molina 25 de noviembre de 2003 Introducción Abordamos en este tema el estudio de las álgebras de Boole. Este tema tiene una aplicación directa a la electrónica digital ya
Más detallesCurso de Programación en C. Licenciatura, FCQeI. APUNTADORES.
APUNTADORES. La memoria de una máquina esta ordenada en forma de celdas numeradas consecutivamente y que se pueden manipular individualmente o en grupos contiguos. La siguiente figura muestra una representación
Más detallesun conjunto cuyos elementos denominaremos vectores y denotaremos por es un espacio vectorial si verifica las siguientes propiedades:
CAPÍTULO 2: ESPACIOS VECTORIALES 2.1- Definición y propiedades. 2.1.1-Definición: espacio vectorial. Sea un cuerpo conmutativo a cuyos elementos denominaremos escalares o números. No es necesario preocuparse
Más detallesSumario: Teoría de Autómatas y Lenguajes Formales. Capítulo 2: Lenguajes Formales. Capítulo 2: Lenguajes Formales
Teoría de Autómatas y Lenguajes Formales Capítulo 2: Lenguajes Formales Holger Billhardt holger.billhardt@urjc.es Sumario: Capítulo 2: Lenguajes Formales 1. Concepto de Lenguaje Formal 2. Operaciones sobre
Más detallesUnidad II. Conjuntos. 2.1 Características de los conjuntos.
Unidad II Conjuntos 2.1 Características de los conjuntos. Es la agrupación en un todo de objetos bien diferenciados en el la mente o en la intuición, por lo tanto, estos objetos son bien determinados y
Más detalles2007/ PROGRAMACIÓN. Tipo: TRO Curso: 1 Semestre: AB CREDITOS Totales TA TS AT AP PA OBJETIVOS. 1.-Introducción.
2007/2008 Tipo: TRO Curso: 1 Semestre: AB CREDITOS Totales TA TS AT AP PA OBJETIVOS 1.-Introducción. -Comprender cómo funciona un lenguaje de programación 2. Características del lenguaje C -Entender las
Más detallesMétodos para la construcción de software fiable: Interpretación Abstracta. María del Mar Gallardo Melgarejo Pedro Merino Gómez
Métodos para la construcción de software fiable: Interpretación Abstracta María del Mar Gallardo Melgarejo Pedro Merino Gómez Dpto. de Lenguajes y Ciencias de la Computación Universidad de Málaga (gallardo,pedro)@lcc.uma.es
Más detallesTema 7: Programación con Matlab
Tema 7: Programación con Matlab 1. Introducción Matlab puede utilizarse como un lenguaje de programación que incluye todos los elementos necesarios. Añade la gran ventaja de poder incorporar a los programas
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesTEMA 2. CODIFICACIÓN DE LA INFORMACIÓN
TEMA 2. CODIFICACIÓN DE LA INFORMACIÓN 1. INTRODUCCIÓN. SISTEMAS DE NUMERACIÓN EN. Sistema binario. Sistema octal. Sistema hexadecimal. 2. REPRESENTACIÓN DE TEXTOS.. Números naturales. Números enteros.
Más detallesFundamentos de Programación Visual Basic
Pág. N. 1 Fundamentos de Programación Visual Basic Familia: Editorial: Tecnología de información y computación Macro Autor: Ricardo Walter Marcelo Villalobos ISBN: 978-612-304-236-3 N. de páginas: 280
Más detallesTutorial Básico de vbscript
Tutorial Básico de vbscript Bueno, primero aclarar que este tutorial, pretende explicar de manera básica las distintas instrucciones aplicadas en visual basic script (vbs de aquí en más), para que así
Más detalles