|
Categoría: Principal/Ciencias Naturales y Matemáticas/Matemáticas
- Límites y Continuidad de Funciones
Descripción: Introducción. Tipos de límites. Cálculo de límites. Límites en puntos finitos.
- Límites, Continuidad, Derivadas y Fórmula de Taylor - Teoría
Descripción: Límite de una función en un punto. Límites laterales. Propiedades de los límites. Límites de las funciones polinómicas y racionales. Funciones continuas. Continuidad y compacidad. Derivada de una función. Funciones Derivables. Regla de L'Hopital.
- Logaritmos
Descripción: Concepto de logaritmo, propiedades, logaritmo neperiano, función logarítmica y exponencial, dominio e imagen.
- Lógica - Introducción
Descripción: Razonamiento lógico. Lógica formal. División de la lógica. Lógica proposicional o de enunciados. Valores de verdad. Reglas de negación, conjunción y disyunción. Silogismo disyuntivo. Metalógica y semántica. Cálculo de predicados.
- Lógica - Introdución
Descripción: Lógica proposicional. Estructura lógica de los argumentos. Consistencia lógica. Lenguaje L. Tablas de verdad. Árboles de Gentzen. Lógica de predicados. Cálculo de predicados. Lógica modal. Árboles modales.
- Lógica Algebraica Abstracta
Descripción: Estructura lógica de los argumentos. Consecuencia lógica. Lógica proposicional. Álgebra universal. Lógica algebraica.
- Lógica Cuantificacional - Matemáticas Discretas
Descripción: Lógica de predicados de primer orden. Cálculo de primer orden. Enfoque axiomático. Enfoque de modelos. Ejemplo de modelos. Estructura relacional. Reglas de inferencia. Algoritmo de conversión fbf a fnc. Algoritmo de unificación de predicados.
- Lógica Difusa
Descripción: Conjuntos difusos. Operadores composicionales. Desdifusificar. Lógicas proposicionales difusas. Sintaxis. Semánticas basadas en conjunción y negación, conjunción e implicación, implicación y negación.
- Lógica Difusa - Concepto
Descripción: Qué es la lógica difusa. Los operadores lógicos. Conjuntos difusos. Predicados vagos. Operaciones entre conjuntos difusos. Variables lingüísticas.
- Lógica Matemática
Descripción: Proposiciones, conjunción, disyunción, negación, condicional, bicondicional. Tablas de verdad. Tautología y contradicción. Equivalencia lógica. Implicación lógica. Álgebra de proposiciones. Cuantificadores. Métodos de demostración matemática.
- Lógica Matemática
Descripción: Deducción Natural de Gentzen-Prawitz. Algunas propiedades sintácticas relevantes. Deducción Natural para la lógica clásica. Semántica de Kripke. Corrección y Completitud. Los cuantificadores. Cálculo lambda y el isomorfismo de Curry-Howard.
- Lógica Matemática
Descripción: Proposiciones y operaciones lógicas. Conectores lógicos y proposiciones compuestas. Proposiciones condicionales y bicondicionales; tablas de verdad. Tautología y contradicción. Métodos de inferencia. Métodos de demostración.
- Lógica y teoría de conjuntos
Descripción: Manuales de Lógica y teoría de conjuntos, Pruebas de consistencia, Análisis no estándar, Álgebra y Funciones de variable compleja (universidad de Valencia).
- Lógica y Teoría de Conjuntos - Libro
Descripción: Lógica de primer orden. Sistemas deductivos formales. Teoría de la recursión. Completitud semántica. Incompletitud. Axiomas de la teoría de conjuntos. Números ordinales y cardinales. Relaciones bien fundadas.
- Lugares Geométricos
Descripción: Derivación de las ecuaciones de Lotka Volterra.
- Mapas de Karnaugh
Descripción: Método de reducción de mapas de Karnaugh. Mapas de Karnaugh de 5 variables. Mapas de Karnaugh de 6 variables.
- MAPLE - Tutorial
Descripción: Sintaxis básica. Primeros pasos. Cálculo elemental. Resolución de sistemas de ecuaciones algebráicas. Ecuaciones diferenciales. Formatos de salidas. Manipulación algebráica. Maple V como lenguaje de programación. Bibliotecas.
- MAPLE 8 - Manual
Descripción: Cálculo básico con MAPLE: sistemas de ecuaciones e inecuaciones, cálculo diferencial e integral. Operaciones con expresiones. Funciones álgebra lineal y transformadas integrales. Programación con MAPLE 8. Debugger. Maplets.
- Maple V -Introducción
Descripción: Símbolos en Maple V. Constantes en Maple V. Comandos de primera necesidad. Funciones y comandos en Maple V.
- Matemática
Descripción: Etimología. Historia. Crisis históricas. Categorías. Ramas. Conceptos erróneos.
Seleccionar Página: [ << Página Anterior ] 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 [ Página Siguiente >> ] |
|
|
| |
Actualmente hay 154 usuarios.
|
| |
|
|
Sindicar contenidos
