Edukativos :: Lógica Computacional

Recursos para universitarios

Perfil de descarga: Lógica Computacional

Detalles:

Lógica de proposiciones. Fundamentos de prueba de teoremas. GSAT satisfactibilidad y complejidad. Lógica de predicados. Formas prenexas. Algoritmo clausular. Resolución y completez. Regla de una literal de Davis y Putnam. Lógicas de Hoare.

Versión: HTML

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

De utilidad

Apuntes gratis en tu email:

- Tabla Periódica de los Elementos
- Logística Electrónica - E-Fulfillment
- Flores Secas
- Funciones de dos Variables Reales - Gráficos
- Índice de Precios al Consumidor
- Psicología
- Integrales impropias
- Consejos para tomar los mejores apuntes
- Oratoria Pública
- Prepararse para aprender en clase
- ¿Qué estudiar?
- Mas temas

Usuarios online

Actualmente hay 234 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