Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TABLA DE CONTENIDO
1. FUNCIONES MATEMÁTICAS 2
2. CÁLCULO 3
2.1. POTENCIACIÓN 3
2.2. LOGARITMACIÓN 3
2.3. LÍMITES 4
2.4. SERIES 4
3. LÓGICA 5
3.1. TIPOS 5
3.2. SUSTITUCIÓN TEXTUAL 6
3.3. EXPRESIONES BOOLEANAS 7
3.4. CÁLCULO PROPOSICIONAL 9
3.5. CUANTIFICACIONES 10
3.6. CUANTIFICACIONES DE CONTEO 11
3.7. CÁLCULO DE PREDICADOS 12
EN RESUMEN 12
PARA TENER EN CUENTA 12
2.1. POTENCIACIÓN
Leyes de la potenciación:
Si son números reales positivos, y son números reales, entonces:
(si )
(por convención, donde )
2.2. LOGARITMACIÓN
Leyes de la logaritmación:
Si es un número real positivo distinto de , y son números reales positivos, entonces:
Logaritmo natural:
El logaritmo natural se define como donde es la constante
de Euler.
2.3. LÍMITES
Regla de L’Hôpital:
Si son funciones diferenciables tales que:
2.4. SERIES
Algunas series notables que nos pueden llegar a ser útiles en el futuro son:
El lenguaje formal que usaremos a lo largo del módulo es el de la Lógica Ecuacional de Gries
& Schneider, que se expone en las siguientes referencias:
3.1. TIPOS
Un tipo es un conjunto de valores constantes que pueden ser asociados a las variables.
Ejemplos:
.
.
Ejemplos:
.
.
.
.
La sustitución textual actúa con mayor precedencia que cualquier otro operador.
Ejemplos:
.
.
.
.
Ejemplos:
.
.
Una variable booleana es una variable de tipo que puede tomar el valor ó el valor
. Una expresión booleana es una expresión que al evaluarse da como resultado o
, y que está construida usando las constantes y , variables booleanas y
operadores booleanos llamados conectivos lógicos.
3.5. CUANTIFICACIONES
Tabla 13: Algunos operadores conmutativos y asociativos que pueden ser cuantificados.
Operador Cuantificación Convención Nombre
(suma) Sumatoria
(multiplicación) Multiplicatoria
(conjunción) Cuantificador universal (para todo)
(disyunción) Cuantificador existencial (existe)
(máximo) Máximo
(mínimo) Mínimo
Ejemplos:
.
.
.
.
.
.
.
.
.
.
es igual a la
Rango vacío
identidad del operador .
(si se permite usar )
(si se permite usar )
si es
Regla de
una variable que no aparece en la
un punto
expresión .
es igual a
Distributividad
es igual a
Partición de
rango si es un operador idempotente
(es decir, si para todo )
es igual a
Partición de
rango
si es equivalente a . porque no existe un que cumpla .
La partición de rango da soporte a las siguientes reglas (suponga que son números
enteros tales que ):
–
–
Tabla 17: Algunos teoremas clásicos del cálculo de predicados de Gries & Schneider.
Nombre Enunciado
Trading (trueque o comercio)
Trading (trueque o comercio)
De Morgan generalizado
De Morgan generalizado
Rango vacío
Rango vacío
Distributividad
Distributividad
Partición de rango
Partición de rango
EN RESUMEN
Un tipo es un conjunto de valores constantes que pueden ser asociados a las variables.
La sustitución textual denota la expresión que resulta de reemplazar todas las ocurrencias
de la variable en la expresión por la expresión .
La sustitución textual simultánea denota la expresión que resulta de
reemplazar simultáneamente para cada desde hasta todas las ocurrencias de la variable en la
expresión por la expresión .
Una variable booleana es una variable de tipo que puede tomar el valor ó el valor . Una
expresión booleana es una expresión que al evaluarse da como resultado o , y que está
construida usando las constantes y , variables booleanas y conectivos lógicos.
Dado un operador conmutativo y asociativo , la cuantificación denota la aplicación del
operador sobre los valores para todos los de tipo que satisfagan la condición . A la expresión
se le llama cuerpo, y a la expresión se le llama rango.