Edukativos :: Lógica y Algoritmos

Recursos para universitarios

Perfil de descarga: Lógica y Algoritmos

Detalles:

Cálculo proposicional. Consecuencia lógica. Cálculo de predicados de primer orden. Fórmulas bien formadas. Cálculo de predicados de segundo orden. Cierre algorítmico. Verificación de algoritmos. Funciones de Skolem.

Versión: HTML

Descargar este archivo ahora.
Informar de un enlace roto - Regresar

De utilidad

Apuntes gratis en tu email:

- Entropía y Segundo Principio de la Termodinámica
- Análisis Bursátil
- Esquemas y Mapas Conceptuales
- Gestión Financiera
- Análisis de circuitos eléctricos. Ley de Ohm
- Sistemas é Informática
- Funciones administrativas
- Universidades de Nicaragua
- Universidades de Guatemala
- Universidades de Chile
- ¿Qué estudiar?
- Mas temas

Usuarios online

Actualmente hay 115 usuarios.


Agréguenos a favoritos - Página de inicio - Recomiéndanos Si buscas algún apunte monografia guia ensayo tesis este es tu lugar. Sindicar contenidos Todos logos y marcas de este sitio son propiedad de sus respectivos dueños. ©2007 Edukativos