CAMBIO DE SALÓN
El curso de TC - I se impartirá en el O-223 (12-13 Hrs)
Continuará LM - I en el O-223 (13-14 Hrs)
- Inicio
-
Cursos
-
La Selva de los Conjuntos
- GEN 2018_1
- GEN 2016_2
- GEN 2015_1
- GEN 2013_2-2014_2
-
La Aldea de la Lógica
- GEN 2018_1
- GEN 2016_2
- GEN 2015_1
- GEN 2013_2-2014_2
-
La Selva de los Conjuntos
- Foro
- Conferencias
- Galerias
Consistencia implica satisfacibilidad
Creado en Viernes, 22 Mayo 2015 14:11
Última actualización el Viernes, 22 Mayo 2015 14:11
Visto: 295
Les dejo AQUÍ notas sobre el tema, es la sección 2. Antes de probar el resultado hay un desfile de resultados concernientes al calculo de predicados, estos se plasman sin prueba, para verlas les recomiendo ver el libro de Mendelson, el cual está en la Alexandria.
Categoría de nivel principal o raíz: La Aldea de la Lógica
Categoría: 2015_2 Lógica Matemática II Ayudante
TeXMaker es un editor para LaTeX.
[Disponible para cualquier S.O]
Información
El objetivo principal de esta pagina es poner al alcance de los estudiantes de las materias impartidas por el M. en C. Rafael Rojas Barbachano las notas de los cursos, así como los libros necesarios para reforzar lo visto en clase o expandirlo.
Lock&Log