Facultad de Ciencias de la Computación. Cálculo Lambda Reducción β Transformación:Gelfond-Lifchitz. Dr. Fernando Zacarías Flores
|
|
- Magdalena Alarcón Castellanos
- hace 7 años
- Vistas:
Transcripción
1 Facultad de Ciencias de la Computación Cálculo Lambda Reducción β Transformación:Gelfond-Lifchitz Dr. Fernando Zacarías Flores Primavera 2014
2 Cálculo-λ Antonio Almazán Faura Lidia Quintana Pancorbo
3 Índice Cálculo- λ Sintaxis Notación: paréntesis y macros Conversiones Igualdades Ejemplos: lógica booleana y aritmética Conclusiones
4 Cálculo-λ Autor: Alonzo Church Objetivo: Formalizar el modo de escribir funciones. A partir del concepto de función-λ será posible generar cualquier función computable.
5 Cálculo-λ Método: Generar funciones que tomarán datos de entrada de un problema y proporcionarán datos de salida. Todo sin salirse de la definición de este lenguaje, de su estructura y sintaxis. Este nueva notación derivó en distintos lenguajes de programación (como LISP)
6 Sintaxis Clases de expresiones-λ Variables Aplicación de función Abstracción con variable ligada y cuerpo de función <exp-λ> ::= <variable> ::= <exp-λ> <exp-λ> ::= λ<variable>.<exp-λ>
7 Sintaxis Ejemplos Aplicación de función: representa el resultado de aplicar la función E1 sobre la función E2 Abstracción: representa el resultado de evaluar E donde la variable V tomará el valor al que se ligue por argumentos E1 E2 x(y) m(n(y)) λv.e λx.x λab.(a(b))
8 Sintaxis Variables ligadas dentro del cuerpo Valor de argumento1 Valor de argumento2 (λxy. x(λab.a)y) (λcd.c) (λef.e) Cuerpo de función Si observamos ambos argumentos, son iguales excepto por el renombramiento. ES NECESARIO RENOMBRAR, para no confundirnos al realizar las vinculaciones y sustituciones.
9 Sintaxis Expresión-λ de partida (λxy. x(λab.a)y) (λcd.c) Expresión-λ de resultado parcial (λcd.c) ( λab.a ) (λef.e) Expresión-λ de resultado final λab.a (λef.e) Todo son EXPRESIONES-λ, y sólo intervienen letras, paréntesis y puntos.
10 Notación Una expresión-λ auténtica SIEMPRE contiene TODOS los PARENTESIS NUNCA contiene MACROS Pero por comodidad, admitimos una notación que omite paréntesis y emplea macros.
11 Notación: paréntesis Al omitir paréntesis debemos tener en cuenta: 1) Asociación E1 E2 E3... En (...((E1 E2)E3)...En) 2) Ámbito de variable λv. E1 E2 E3...En λv.(e1 E2 E3...En) 3) Orden de variable λv1 V2 V3... Vn λv1(λv2(...(λvn.e)...)) La aparición de una variable V en una expresión-λ es libre si no aparece en el alcance de λv
12 Notación: macros Admitimos macros por una cuestión de comprensión y comodidad al operar, pero no forman parte del cálculo-λ Ejemplo macro: uso: resultado: muchasx = xxxxxxxxxx (λx.muchasx) (a) aaaaaaaaaa
13 Conversiones El cálculo-λ está formado por: Una SINTAXIS específica Unas CONVERSIONES (o reducciones) entre expresiones Cualquier conversión se puede efectuar, si las sustituciones son válidas
14 Conversiones Una sustitución E[V:=E ] es válida sii ninguna de las variables libre de E se convierte en una variable ligada en E[V:=E ] α-redex: renombramiento de variables β-redex: vinculaciones de variables ( bindings ) η-redex: dos funciones son iguales si al aplicarles los mismos argumentos dan los mismos resultados
15 Conversiones Las reglas de conversión son las que nos van a permitir jugar con las expresiones-λ La reducción-α es intuitiva y nos ayuda a manipular las expresiones; y la reducción-η puede ser necesaria, aunque nosotros no la vamosa veren losejemplos. Por otro lado, la reducción-β es la más importante.
16 Conversiones α-redex [sustitución] α λv.e λv.e [V:=V ] β-redex [binding] β (λv.e1) E2 E1 [V:=E2]
17 Conversiones Ejemplo de α-redex λv.e α λv.e [V:=V ] [sustitución] (λx.x) x=y (λxy.xy) x=a, y=b (λxy.xy) x=a α α α (λy.y) (λab.ab) (λay.ay)
18 Conversiones Ejemplo de β-redex [binding] β (λv.e1) E2 E1 [V:=E2] (λx.x) (a) (λxy.xy) (a) (b) (λxy.xy) (b) β β β a ab λy.by
19 Igualdades Dos expresiones-λ, E y E, son iguales sii: 1. Son idénticas 2. Existe una cadena de expresiones E1E2...En tal que: a) E = E1 b) E = En c) Para cada Ei existe una conversión a Ei+1 y viceversa
20 Cálculo-λ : EJEMPLOS Con las herramientas que tenemos (sintaxis y reducciones) intentaremos demostrar que el álgebra booleana y la aritmética son computables. Para estos ejemplos, primero propondremos un conjunto de funciones, y luego veremos que actúan como deben según las propiedades que se esperan de ellos.
21 Lógica Para empezar vamos a definir: λxy.x λxy.y = true = flase λt.t (λxy.y) (λxy.x) = λt.t true false = not Para comprender mejor de que hablamos, les asignaremos macros, con las que trabajar cómodamente
22 Lógica Ahora con un ejemplo vamos a probar que estas definiciones en expresiones lambda se comportan realmente como los operadores lógicos que decimos que son.
23 Lógica: Ejercicio 1 Probar que not true = false ( λt.t false true ) true ( λt.t (λab.b) (λcd.c)) (λxy.x) * binding: t = (λxy (λxy.x) (λab.b) (λcd.c) λy.(λab.b) (λcd.c) (λab.b) = false * true false true binding: x = (λab.b) * binding: y = (λcd.c) Ahora sustituiríamos y en el cuerpo de la función, pero no aparece en él
24 Lógica Ahora definimos otras dos funciones lógicas and = or = λxy.x y (λxy.y) λxy.x (λxy.x) y = λxy.x y false = λxy.x true y Con true, false, not, and y or vamos a intentar probar que tenemos toda la lógica.
25 Lógica: Ejercicio 2 Probar que and true false = false (λxy.xy false) (true) (false) binding: x = true binding: y = false true false false sustituimos la macro true (λxy.x) (false) (false) x unifica con false; devuelve false
26 Lógica: Ejercicio 3 Probar que or true false = true (λxy.x true y) true true (λxy.x (λab.a) y) (λcd.c) (λef.e) binding: x = (λcd.c) binding: y = (λef.e) (λcd.c) (λab.a) (λef.e) binding: c = (λab.a) binding: d = (λef.e) (λab.a) = true
27 Lógica: Selecciones Otra propiedad de las funciones true y false: funcionan como operadores de selección: E E1 E2 donde E representa true o false true E1 E2 = E1 true selecciona el primer arguemento false E1 E2 = E2 false selecciona el primer arguemento
28 Lógica: Conclusiones Derivado de los ejemplos, comprobamos que podemos construir todas las tablas de la verdad con las macros: true, false, not, and y or. Con las macros true y false además tenemos operadores que nos permiten la generación de IF-THEN-ELSE. LA LÓGICA BOOLEANA ES COMPUTABLE
29 Aritmética Alguna definiciones: 0 = 1 = 2 = suc = add = λfx.x λfx.fx λfx.f(fx) = λfx.f 2 x... λnfx.nf(fx) λmnfx.mf(nfx) λn.n(λx.(λab.b)) (λcd.c) iszero = = λn.n(λx.false) true Por comodidad vamos a asignarles macros
30 Aritmética Ahora vamos a probar que estas definiciones de funciones conocidas en expresiones lambda se comportan realmente como esperamos de ellas
31 Aritmética: Ejercicio 1 Probar que iszero 0 = true (λn.n(λx.false) true ) (λga.a) binding: n = λga.a λga.a (λx.false) (true) binding: g = (λx.false ) binding: a = true true
32 Aritmética: Ejercicio 2 Probar que iszero 1 = false (λn.n(λx.false)true) (λga.ga) binding: n = λga.ga λga.ga (λx.false) (true) binding: g = (λx.false) binding: a = true (λx.false) true binding: x = true = (λab.b) (λx.(λab.b)) true x no aparece en el cuerpo de la función, así devolvemos la macro false
33 Aritmética: Ejercicio 3 Probar que suc 1 = 2 (λnfx.nf(fx)) (λga.ga ) binding: n = 1 las variables que no ligadas se dejan tal cual está λfx.( (λga.ga) f (fx) ) binding: g = f binding: a = (fx) λfx.f(fx) = 2
34 λfx.f(f(fx)) = λfx.f 3 x = 3 Aritmética: Ejercicio 4 Probar que add 1 2 = 3 λmnfx.mf(nfx) (1) (2) binding: m = 1 binding: n = 2 λfx.1f(2fx) λfx.( (λga.ga) f (2fx)) binding: g = f binding: a = (2fx) λfx.f(2fx) λfx.f(λhe.h(he) (f) (x)) binding: h = f binding: e = x
35 Aritmética: Bucles Ejemplo: 3 not false (λfx.fffx) not false not(not(not(false))) not(not(true)) (not(false)) true Como vemos el efecto de los números puede ser considerado en ocasiones como un FOR finito, en este caso sobre la función not
36 Aritmética: Bucles Tenemos todo lo necesario para programar Condicionales, bucles finitos, lógica y aritmética Sin embargo, hay funciones que precisan de bucles WHILE. Aquello que se pueda programar con un while también se puede programar mediante RECURSIÓN.
37 Aritmética: Recursividad Vamos a centrarnos en la recursión y poner un ejemplo para verificar que también tiene un lugar en el cálculo-λ El ejemplo que vamos a tratar es la multiplicación: vamos a ver una definición recursiva de multiplicación
38 Aritmética: Recursividad Definición recursiva de mult mult = λmn.((iszero m) 0 (add n (mult (pre m) n))) Sin embargo no es válida porque en la definición utilizamos la propia expresión mult Además necesitamos poder escribir toda la expresión sin macros
39 Artimética: Recursividad Para redefinir la multiplicación nos servimos del concepto de punto fijo FuncionA (arga) = arga FPF (FuncionA) = arga Ejemplos: Función: λx.x FPF(λx.x) = λa.a λx.x (λa.a) = λa.a Función: λfx.x FPF(λfx.x) =λa.a λfx.x (λa.a) =λfa.a
40 Aritmética: Recursividad Existe una función que obtiene UN punto fijo de cualquier otra función: Y= λf.(λx.f(xx)) (λx.f(xx)) Este operador aplicado a una función nos ofrece un punto fijo para dicha función. Es decir: E (YE) = YE
41 Artimética: Recursividad Redefinimos la operación de multiplicación: multfn =λfmn.((iszero m) 0 (add n (f (pre m) n))) El punto fijo de esta función es la multiplicación! Y multfn = mult Ahora ambas expresiones se pueden poner como expresiones lambda, sustituyendo todas las macros
42 Artimética: Recursividad Recapitulamos 1) No podemos definir mult sobre sí misma 2) Definimos una nueva función multfn que admite un argumento más que la primera (que representará una función a ejecutar) 3) Calculamos el punto fijo de multfn mediante Y, y obtenemos mágicamente que es mult. Y multfn = mult FPF (FuncionA) = arga 4) Así se cumple que si añadimos dos parámetros más multfn mult m n = mult m n FuncionA (arga) = arga
43 Aritmética: Recursividad Comprobemos que hemos encontrado la multiplicación: Hipótesis: multfn mult = mult Veamos: multfn mult 2 3 = mult 2 3 λfmn.((iszero m) 0 (add n (f (pre m) n))) mult 2 3 ((iszero 2) 0 (add 3 (mult (pre 2) 3))) add 3 (mult (pre 2) 3)
44 Aritmética: Recursividad add 3 (mult (pre 2) 3) add 3 (multfn mult (pre 2) 3) multfn mult = mult add 3 (λfmn.((iszero m) 0 (add n (f (pre m) n)) mult 1 3) add 3 ((iszero 1) 0 (add 3 (mult (pre 1) 3))) add 3 (add 3 (mult (pre 1) 3))
45 Aritmética: Recursividad add 3 (add 3 (mult (pre 1) 3)) multfn mult = mult add 3 (add 3 (multfn mult (pre 1 ) 3) ) add 3 (add 3 (λfmn.((iszero m) 0 (add n (f (pre m) n)) ) mult 0 3)) add 3 (add 3 ((iszero 0) 0 (add 3 (mult (pre 0) 3))) ) add 3 (add 3 0) = 6
46 Aritmética: Conclusiones Tenemos definiciones de funciones-λ para todos los números. Tenemos definiciones de macros para calcular: sucesor, suma, multiplicar, etc. Además, los números nos permiten la generación de bucles finitos (for) Y, por último, tenemos posibilidades de hacer funciones recursivas mediante las funciones de punto fijo LA ARITMÉTICA ES COMPUTABLE
47 Conclusiones La terminología de Church y funciones-λ nos permite: Realizar operaciones lógicas Realizar operaciones matemáticas Realizar selecciones (if-then-else) Realizar bucles limitados (for-acotados) Realizar bucles ilimitados (while) o lo que es lo mismo: funciones recursivas
48 Conclusiones Hemos creado funciones-λ que hacen lo mismo que cualquier programa de ordenador. Luego parece razonable la pretensión de Church de que cualquier cosa computable puede ponerse en forma de una expresión-λ (y viceversa)
49 Reducción
50
51
52 Transformación de Gelfond & Lifschitz F* = F si F es atomica (F G)* = F* G* (F G)* = F* G* si X F ( F)* = Т en otro caso (H B)* = H* B* P* = { (H B)* H B P }
53 Ejercicios 1.- Sea P: a a. b c b. 2.- Sea P: a a. 4.- Sea P: a b. b a. p p. p a. 3.- Sea P: a b. b a. 5.- Sea P: b a.
54 Soluciones 1.- {a} es un answer set de P 2.- No tiene answer sets 3.- {a} y {b} es un answer set de P 4.- {a, p} es un answer set de P 5.- { } es una answer set de P
55 Fundamentos de Lenguajes de Programación Lambda. LCI y Lisp 1.- Defina una función en LISP que convierta un número menor que 100, de formato árabe a formato romano, teniendo en cuenta que: a) El valor de cada letra romana con la numeración árabe es la siguiente: I=1 V=5 X=10 L=50 C=100 b) En numeración romana no puede aparecer más de tres caracteres seguidos iguales, es decir, el número IIII es imposible. c) Al poner a la izquierda de un número el inmediatamente anterior se resta a aquél el valor de éste. Por ejemplo, IV, es (5 1 = 4) La función se llamará a-romano y tendrá como único argumento un número entero en notación árabe; devuelve como resultado ese número en notación romana contenido en una lista. Ejem. 1- (a-romano 89) (L X X X IX) 2- (a-romano 19) (X IX) 3- (a-romano 120) (CASO NO CONTEMPLADO) 2.- Definir la función en LISP que halle el máximo común divisor de 2 números Ejem. (mcd 42 56) Definir función en LCI que cuenta la cantidad de veces que aparece un elemento en una lista en todos sus niveles. Ejem. Cuenta :1..5:1..5:2:Nil la lista que se le da, es: [[\y.y, 2, 3, 4, 5], [\y.y, 2, 3, 4, 5], [\y.y, 2, 3, 4, 5], 2] el resultado es: 4 (el 2 aparece 4 veces) 4.- Definir función en LCI que ordene los números de una lista Ejem. Ordena 3:2:5:Nil [2, 3, 5] 5.- Cuáles de las siguientes expresiones son -expresiones correctas? Cuáles no lo son? Justificar cada respuesta.
56 6.- Definir en LISP la función miembro que se comporte de la siguiente manera: (en todos sus niveles): Ejem. > (miembro 'llaves '(pero donde habre (puesto (Epi) las (llaves))) ) T > (miembro 3 (1 2 (3 (8 9)) 9)) T 7.- Un palíndromo (o capicúa) es algo (un texto) que se lee igual tanto al derecho como al revés. Escribir una versión recursiva en LISP de esta función sin utilizar la función reverse. Ejem. > (palindromo '( )) T > (palindromop '(1 2 3)) NIL 8.- Definir función en LCI que devuelve una lista, que es la intersección de dos listas Ejem. Inter [5] 9.- Definir función en LCI que halla el máximo elemento de una lista Ejem. Maximo 3:2:5:11:8:Nil Indicar, para cada variable, cuáles de sus ocurrencias son libres y cuales ligadas, en las siguientes expresiones. Indicar a que -abstracción está ligada cada ocurrencia no libre Definir en LISP la función agrupa que dada una lista de elementos forme una lista con sublistas de tamaño n Ejem. (agrupa (a d e s f t g h o) 2) > ((a d) (e s) (f t) (g h) (o)) (agrupa (a s d e r f t g s) 3) > ((a s d) (e r f) (t g s)) 12.- Definir en LISP la función miembro que se comporte de la siguiente manera: (en todos sus niveles):
57 Ejem. > (miembro 'llaves '(pero donde habre (puesto (Epi) las (llaves))) ) T > (miembro 3 (1 2 (3 (8 9)) 9)) T 13.- Definir función en LCI que devuelva los últimos n elementos de una lista Ejem. Ultimos [13, 14, 15] 14.- Definir función en LCI que determina si una lista es palíndroma Ejem. Palindroma 3:2:5:2:3:Nil \x.\y.x 15.- Si definimos la negación como p p := q.q de.e wz.w Demostrar que p p (p p true) = true 16.- Definir función en LCI que halle la diferencia simétrica de dos listas Ejem. Difs [1, 2, 3, 6, 7, 8] 17.- Definir función en LCI que quita elementos duplicados de una lista Ejem. Dupli 3:2:5:2:3:Nil [3, 2, 5]
Capítulo 7 OPERADORES Y EXPRESIONES. Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C"
Presentación resumen del libro: "EMPEZAR DE CERO A PROGRAMAR EN lenguaje C" Autor: Carlos Javier Pes Rivas (correo@carlospes.com) Capítulo 7 OPERADORES Y EXPRESIONES 1 OBJETIVOS Conocer los tipos de operadores
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 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 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 detallesEl lenguaje C. 1. Identificadores, constantes y variables
Principios de Programación El lenguaje C 1. Identificadores, constantes y variables 1.1. Conceptos de memoria Los nombres de variable como x, y, suma corresponden a localizaciones o posiciones en la memoria
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 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 detallesMatemáticas 2º E.S.P.A. Pág.1 C.E.P.A. Plus Ultra. Logroño
ALGEBRA 1. LETRAS EN VEZ DE NÚMEROS En muchas tareas de las matemáticas es preciso trabajar con números de valor desconocido o indeterminado. En esos casos, los números se representan por letras y se operan
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 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 detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
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 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 detallesTEMA 1.- POLINOMIOS Y FRACCIONES ALGEBRAICAS
TEMA 1.- POLINOMIOS Y FRACCIONES ALGEBRAICAS 1.- POLINOMIOS Recordemos que un monomio es una expresión algebraica (combinación de letras y números) en la que las únicas operaciones que aparecen entre las
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 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 detalles$0 Representa al parámetro cero o nombre del programa $1 Representa al parámetro uno $2 Representa al parámetro dos
PROGRAMACIÓN DE SHELL SCRIPTS EN LINUX El shell es un intérprete de órdenes, pero el shell no es solamente eso; los intérpretes de órdenes de Linux son auténticos lenguajes de programación. Como tales,
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 detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
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 detallesTEMA 2. ESPACIOS VECTORIALES
TEMA 2. ESPACIOS VECTORIALES CÉSAR ROSALES GEOMETRÍA I En este tema comenzaremos el estudio de los objetos que nos interesarán en esta asignatura: los espacios vectoriales. Estos son estructuras básicas
Más detallesEJERCICIOS DE GEOMETRÍA PLANA. 1. Hallar las ecuaciones paramétricas de la recta r que pasa por el punto ( 2, 2) tiene como vector director el vector
EJERCICIOS DE GEOMETRÍA PLANA Hallar las ecuaciones paramétricas de la recta r que pasa por el punto (, ) tiene como vector director el vector v i j A y x a + vt La ecuación paramétrica de una recta es
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
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 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 detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
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 detallesCarlos Montenegro. Programación Orientada a Objetos Proyecto Curricular de Ingeniería de Sistemas
2 - Introducción al lenguaje Java, identificadores y comentarios. Carlos Montenegro Programación Orientada a Objetos Proyecto Curricular de Ingeniería de Sistemas 1. Introducción: Java tiene como todos
Más detallesProgramación de Computadores 4 Iteraciones y Decisiones. Prof. Javier Cañas. Universidad Técnica Federico Santa María Departamento de Informática
Programación de Computadores 4 Iteraciones y Decisiones Prof. Javier Cañas Universidad Técnica Federico Santa María Departamento de Informática Contenido 1 Introducción 2 Operadores Relacionales y Lógicos
Más detallesOperadores. Javier Fernández Rivera -
Programación en C Operadores Javier Fernández Rivera - www.aurea.es Los operadores Son los elementos o caracteres gráficos encargados de manipular los datos, que pueden ser dados por números, caracteres,
Más detallesFicha de Aprendizaje N 13
Ficha de Aprendizaje N 13 Curso: Lógica y lenguaje de programación Tema: Fundamentos de programación Duración: 2 horas pedagógicas Logros de aprendizaje Identifica los diferentes tipos de operadores que
Más detallesOperaciones básicas con hojas de cálculo
Operaciones básicas con hojas de cálculo Insertar hojas de cálculo. Para insertar rápidamente una hoja de cálculo nueva al final de las hojas de cálculo existentes, haga clic en la ficha Insertar hoja
Más detallesAlgebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21
Algebra Lineal Gustavo Rodríguez Gómez INAOE Verano 2011 Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano 2011 1 / 21 Espacios Vectoriales Espacios Vectoriales INAOE Gustavo Rodríguez Gómez (INAOE)
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 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 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 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 detallesCurso de Java Introducción a la Programación III
Curso de Java Introducción a la Programación III Jaime Fernández Martín Curso INEM 02830. Programación en Java Marzo 2010 Índice 1 Operadores relacionales e igualdad 2 Estructuras de control condicional
Más detallesProblemas de Espacios Vectoriales
Problemas de Espacios Vectoriales 1. Qué condiciones tiene que cumplir un súbconjunto no vacío de un espacio vectorial para que sea un subespacio vectorial de este? Pon un ejemplo. Sean E un espacio vectorial
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 detallesFactorización ecuación identidad condicional término coeficiente monomio binomio trinomio polinomio grado ax3
Factorización Para entender la operación algebraica llamada factorización es preciso repasar los siguientes conceptos: Cualquier expresión que incluya la relación de igualdad (=) se llama ecuación. Una
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
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 detalles3. Ecuaciones, parte I
Matemáticas I, 2012-I La ecuación es como una balanza Una ecuación es como una balanza en equilibrio: en la balanza se exhiben dos objetos del mismo peso en ambos lados mientras que en la ecuación se exhiben
Más detallesRepresentación de la información
Laboratorio de Introducción a las Ciencias de la Computación Página 1 UNIERSIDAD CATÓLICA DE SANTA MARÍA PROGRAMA PROESIONAL DE INGENIERÍA DE SISTEMAS SESIÓN 2: Representación de la información OBJETIOS
Más detallesConjuntos y matrices. Sistemas de ecuaciones lineales
1 Conjuntos y matrices Sistemas de ecuaciones lineales 11 Matrices Nuestro objetivo consiste en estudiar sistemas de ecuaciones del tipo: a 11 x 1 ++ a 1m x m = b 1 a n1 x 1 ++ a nm x m = b n Una solución
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 Didáctica 2. Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones
Unidad Didáctica 2 Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos Versión 1.0.3 Índice
Más detallesSENA Distrito Capital Centro de Electricidad, Electrónica y Telecomunicaciones ADSI - Ing. Espec. Javier Vaquiro
SENA Distrito Capital Centro de Electricidad, Electrónica y Telecomunicaciones ADSI - Ing. Espec. Javier Vaquiro 1. Sintaxis básica 2. Tipos de datos 3. Variables 4. Constantes 5. Expresiones y operadores
Más detallesEspacios Vectoriales
Leandro Marín Octubre 2010 Índice Definición y Ejemplos Paramétricas vs. Impĺıcitas Bases y Coordenadas Para definir un espacio vectorial tenemos que empezar determinando un cuerpo sobre el que esté definido
Más detallesDatos y tipos de datos
Datos y tipos de datos Dato Representación formal de hechos, conceptos o instrucciones adecuada para su comunicación, interpretación y procesamiento por seres humanos o medios automáticos. Tipo de dato
Más detallesIntroducción a la programación
Introducción a la programación Resolución de Problemas El objetivo principal para que las personas aprendan a programar en algún lenguaje de programación en particular es utilizar el computador como una
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 detallesOPERADORES Y EXPRESIONES
OPERADORES Y EXPRESIONES Una expresión es una combinación de variables, literales y operadores, que representan un valor Operadores aritméticos Operador Función + suma - resta * producto / división % operador
Más detallesGrupos libres. Presentaciones.
S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad
Más detallesNúmeros Naturales. Cero elemento neutro: = 12 Sucesión fundamental : se obtiene el siguiente número = 9
Números Naturales Cuando comenzamos a contar los objetos, los años, etc, nos hemos encontrado con los números de forma natural; por eso a este conjunto de números así aprendidos se les denomina números
Más detallesEspacios Vectoriales Asturias: Red de Universidades Virtuales Iberoamericanas 1
Espacios Vectoriales 201 6Asturias: Red de Universidades Virtuales Iberoamericanas 1 Índice 1 Espacios Vectoriales... 4 1.1 Definición de espacio vectorial... 4 1.2 Definición de subespacio vectorial...
Más detallesTema 3: Sistemas de ecuaciones lineales
Tema 3: Sistemas de ecuaciones lineales 1. Introducción Los sistemas de ecuaciones resuelven problemas relacionados con situaciones de la vida cotidiana que tiene que ver con las Ciencias Sociales. Nos
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detalles1.- Para cada uno de los siguientes problemas escribir el diagrama de flujo y el pseudocódigo de un programa que lo resuelva:
1.- Para cada uno de los siguientes problemas escribir el diagrama de flujo y el a) Problema: pedir la base y la altura de un triángulo y escribir su superficie. b) Problema: pedir cuatro números enteros
Más detallesINICIACIÓN A LA PROGRAMACIÓN II
INICIACIÓN A LA PROGRAMACIÓN II 1. Caracteres... 2 2. Identificadores... 4 3. Palabras clave o reservadas... 5 4 Variables y constantes. Datos... 6 5 Arrays... 8 6. Comentarios... 9 7. Expresiones... 11
Más detallesÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3
ÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3 Matrices y determinantes (Curso 2011 2012) 2. Sea A una matriz diagonal n n y supongamos que todos los elementos de su diagonal son distintos entre sí.
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 detallesMATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios
MATEMÁTICAS DISCRETAS UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios 2.1 CIRCUITOS COMBINATORIOS Inicie dando lectura a la subunidad 11.1, deténgase en el ejemplo 11.1.4, compare las tablas de los
Más detallesSemana 6. Factorización. Parte I. Semana Productos 7 notables. Parte II. Empecemos! Qué sabes de...? El reto es...
Semana Productos 7 notables. Parte II Semana 6 Empecemos! El tema que estudiarás en esta sesión está muy relacionado con el de productos notables, la relación entre estos y la factorización, dado que son
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 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 detallesProcesadores de Lenguaje
Procesadores de Lenguaje Analizadores sintácticos descendentes: LL(1) Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 Analizadores sintácticos
Más detallesMateria: Matemática de Octavo Tema: Conjunto Q (Números Racionales)
Materia: Matemática de Octavo Tema: Conjunto Q (Números Racionales) Vamos a recordar los conjuntos numéricos estudiados hasta el momento. (1.) Conjunto de los números Naturales Son aquellos que utilizamos
Más detallesFundamentos matemáticos. Tema 8 Ecuaciones diferenciales
Grado en Ingeniería agrícola y del medio rural Tema 8 José Barrios García Departamento de Análisis Matemático Universidad de La Laguna jbarrios@ull.es 2016 Licencia Creative Commons 4.0 Internacional J.
Más detallesTEMA N 1 LÓGICA Y CONJUNTOS
TEMA N 1 LÓGICA Y CONJUNTOS DEFINICIÓN Y NOTACIÓN DE CONJUNTOS OBJETIVOS Comprenderás, o repasarás, la idea intuitiva de conjunto. Definirás conjuntos por enumeración y por comprensión, así como su forma
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesTema 2: Teorema de estructura de los grupos abelianos finitamente generados.
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con
Más detallesTema 4. Operadores y Expresiones
Tema 4 Operadores y Expresiones Contenidos 1. Conceptos Básicos. 2. Operadores Aritméticos. 3. Operadores de Relación, de Igualdad y Lógicos. 4. Operadores de Incremento y Decremento. 5. Operadores y Expresiones
Más detallesLas operaciones aritméticas básicas en MATLAB son las más sencillas que se pueden
CAPÍTULO 5 TEMAS 5.1 Aritmética 5.1.1 Variables y Operaciones Básicas Las operaciones aritméticas básicas en MATLAB son las más sencillas que se pueden realizar en este programa. Si asignamos valores a
Más detallesCENTRO UNIVERSITARIO MONTEJO A.C. SECUNDARIA Temario Matemáticas 1
BLOQUE 1 Convierte números fraccionarios a decimales y viceversa. Conoce y utiliza las convenciones para representar números fraccionarios y decimales en la recta numérica. Representa sucesiones de números
Más detallesLas fórmulas de Excel siempre comienzan por un signo igual (=) lo cual indica que los caracteres siguientes constituyen una fórmula.
Las fórmulas de Excel siempre comienzan por un signo igual (=) lo cual indica que los caracteres siguientes constituyen una fórmula. Después del signo igual están los elementos que se van a calcular (los
Más detalles(x ) (x ) = x 2 + px + q. ( + ) = p = q: El método de completamiento de cuadrado aplicado al polinomio. P (x) = ax 2 + bx + c. P (x) = a x + b 2.
PROBLEMAS CUADRÁTICOS DE OLIMPIADAS Francisco Bellot Rosado Presentamos a continuación una serie de problemas de Olimpiadas con la característica común de hacer intervenir en ellos, en mayor o menor medida,
Más detallesCAPÍTULO 4: DERIVADAS DE ORDEN SUPERIOR. En este capítulo D denota un subconjunto abierto de R n.
April 15, 2009 En este capítulo D denota un subconjunto abierto de R n. 1. Introducción Definición 1.1. Dada una aplicación f : D R, definimos la derivada parcial segunda de f como D ij f = 2 f = ( ) x
Más detallesINTRODUCCIÓN A LA PROGRAMACIÓN EN FORTRAN. Métodos Numéricos Carlos Zotelo
INTRODUCCIÓN A LA PROGRAMACIÓN EN FORTRAN Métodos Numéricos 2008 - Carlos Zotelo Introducción a Fortran 77 / 90 1. El lenguaje Fortran 77 / 90 2. Tipos de datos básicos 3. Constantes y variables 4. Entrada
Más detallesContenidos Mínimos MATEMÁTICAS 3º ESO ENSEÑANZAS ACADÉMICAS. U 1 Fracciones y decimales. CRITERIOS DE EVALUACIÓN. ESTÁNDARES DE APRENDIZAJE EVALUABLES
Septiembre 2.016 Contenidos Mínimos MATEMÁTICAS 3º ESO ENSEÑANZAS ACADÉMICAS U 1 Fracciones y decimales. Números racionales. Expresión fraccionaria - Números enteros. - Fracciones. - Fracciones propias
Más detallesLección 1: Números reales
GUÍA DE MATEMÁTICAS III Lección 1: Números reales Los números irracionales En los grados anteriores estudiamos distintas clases de números: Vimos en primer lugar: los naturales, que son aquellos que sirven
Más detallesSEMINARIO DE ESPECIFICACIONES ALGEBRAICAS
Algoritmos y Estructuras de Datos Ingeniería en Informática, Curso 2º, Año 2004/2005 SEMINARIO DE ESPECIFICACIONES ALGEBRAICAS Contenidos: 1. Descripción general de Maude 2. Comandos básicos 3. Formato
Más detallesMay 4, 2012 CAPÍTULO 5: OPTIMIZACIÓN
May 4, 2012 1. Optimización Sin Restricciones En toda esta sección D denota un subconjunto abierto de R n. 1.1. Condiciones Necesarias de Primer Orden. Proposición 1.1. Sea f : D R diferenciable. Si p
Más detallesCentro Asociado Palma de Mallorca. Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Antonio Rivero Cuesta La Sintaxis de Java I... 5 Tipos de datos... 6 Tipos de datos simples... 7 Operadores... 11 Operadores Aritméticos... 12 Operadores relacionales...
Más detallesLección 2: Funciones vectoriales: límite y. continuidad. Diferenciabilidad de campos
Lección 2: Funciones vectoriales: límite y continuidad. Diferenciabilidad de campos vectoriales 1.1 Introducción En economía, frecuentemente, nos interesa explicar la variación de unas magnitudes respecto
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
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 detallesProgramación en Visual Basic Ricardo Rodríguez García
Manual Básico de Programación en Visual Basic 1.- Estructura de un proyecto Visual Basic Los programas o aplicaciones desarrolladas en Visual Basic van a constituir un único paquete que denominaremos proyecto.
Más detallesCréditos institucionales de la UA: 6 Material visual: Diapositivas. Unidad de competencia I Conceptos preliminares
UNIDAD ACADÉMICA PROFESIONAL TIANGUISTENCO PROGRAMA DE ESTUDIOS LICENCIATURA DE INGENIERÍA EN PRODUCCIÓN INDUSTRIAL UNIDAD DE APRENDIZAJE (UA): ÁLGEBRA Créditos institucionales de la UA: 6 Material visual:
Más detallesTECNICO SUPERIOR EN INFORMÁTICA EMPRESARIAL MÓDULO INTRUCCIONAL
1 TECNICO SUPERIOR EN INFORMÁTICA EMPRESARIAL MÓDULO INTRUCCIONAL TECNOLOGÍA DE LA COMPUTADORA FACILITADOR: PARTICIPANTE: DAVID, CHIRIQUÍ 2015 2 Qué es un programa? Un programa informático es un conjunto
Más detallesMATEMÁTICAS UNIDAD 4 GRADO 6º. Números naturales
1 Franklin Eduardo Pérez Quintero MATEMÁTICAS UNIDAD 4 GRADO 6º Números naturales 1 2 Franklin Eduardo Pérez Quintero LOGRO: Estudiar, analizar y profundizar las operaciones y propiedades de los números
Más detallesLa recta en el plano.
1 CONOCIMIENTOS PREVIOS. 1 La recta en el plano. 1. Conocimientos previos. Antes de iniciar el tema se deben de tener los siguientes conocimientos básicos: Intervalos y sus definiciones básicas. Representación
Más detalles10.4 Sistemas de ecuaciones lineales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
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 detallesRESOLUCIÓN DE SISTEMAS MEDIANTE DETERMINANTES
UNIDD 4 RESOLUCIÓN DE SISTEMS MEDINTE DETERMINNTES Página 00 Resolución de sistemas mediante determinantes x y Resuelve, aplicando x = e y =, los siguientes sistemas de ecuaciones: x 5y = 7 5x + 4y = 6x
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesInducción Matemática. Departamento de Matemáticas. Inducción Matemática p. 1/31
Inducción Matemática Departamento de Matemáticas Inducción Matemática p. 1/31 Inducción Matemática: Historia Inducción Matemática es un método de prueba relativamente reciente: Inducción Matemática p.
Más detalles