| Asunto / Iniciado por | Respuestas / Vistas | |||
|---|---|---|---|---|
| 0 Usuarios y 3 Visitantes están viendo este foro. | ||||
|
|
2 Respuestas
8,677 Vistas |
06 Diciembre, 2017, 04:33 ampor informatik |
|
|
|
322 Respuestas
167,384 Vistas |
05 Abril, 2017, 01:52 am por Elius |
|
|
|
|
2 Respuestas
10,755 Vistas |
19 Febrero, 2013, 04:49 pm por argentinator |
|
|
|
8 Respuestas
168 Vistas |
12 Septiembre, 2021, 05:22 pm por Eparoh |
|
|
|
|
13 Respuestas
294 Vistas |
10 Septiembre, 2021, 02:11 pm por Carlos Ivorra |
|
|
|
|
9 Respuestas
269 Vistas |
04 Septiembre, 2021, 01:47 pm por Carlos Ivorra |
|
|
|
|
11 Respuestas
238 Vistas |
01 Septiembre, 2021, 09:22 pm por Eparoh |
|
|
|
|
Sistema lógicos consistentes
Iniciado por julianov |
8 Respuestas
388 Vistas |
28 Agosto, 2021, 11:59 am por argentinator |
|
|
|
4 Respuestas
239 Vistas |
25 Agosto, 2021, 01:52 pm por Eparoh |
|
|
|
|
8 Respuestas
326 Vistas |
20 Agosto, 2021, 03:22 pm por Carlos Ivorra |
|
|
|
|
Interpretación de una fórmula
Iniciado por Álvaro Soler |
0 Respuestas
375 Vistas |
25 Julio, 2021, 09:31 pm por Álvaro Soler |
|
|
|
Geometría axiomática
Iniciado por Marco Uriel |
5 Respuestas
569 Vistas |
14 Julio, 2021, 05:22 pm por argentinator |
|
|
|
5 Respuestas
843 Vistas |
28 Mayo, 2021, 09:48 pm por geómetracat |
|
|
|
|
Lógica de las relaciones con Identidad
Iniciado por Slaut |
3 Respuestas
791 Vistas |
20 Mayo, 2021, 08:13 pm por geómetracat |
|
|
|
Inferencia logica
Iniciado por xdemorfeox |
2 Respuestas
854 Vistas |
15 Mayo, 2021, 06:01 pm por geómetracat |
|
|
|
8 Respuestas
1,242 Vistas |
07 Mayo, 2021, 10:11 pm por manooooh |
|
|
|
52 Respuestas
8,269 Vistas |
02 Mayo, 2021, 08:38 pm por geómetracat |
|
|
|
|
Forma normal disyuntiva completa
Iniciado por KatherineR |
1 Respuestas
984 Vistas |
21 Abril, 2021, 06:05 pm por manooooh |
|
|
|
Demostración aplicativa Isabelle
Iniciado por Bobby Fischer |
1 Respuestas
1,139 Vistas |
15 Abril, 2021, 05:42 pm por geómetracat |
|
|
|
Programa Isabelle HOL (ii)
Iniciado por Bobby Fischer |
0 Respuestas
1,063 Vistas |
07 Abril, 2021, 09:01 pm por Bobby Fischer |
|
|
|
Proposicion logica
Iniciado por Julio_fmat |
3 Respuestas
1,176 Vistas |
01 Abril, 2021, 01:09 am por mathtruco |
|
|
|
Árbol de análisis
Iniciado por Bobby Fischer |
3 Respuestas
1,174 Vistas |
30 Marzo, 2021, 08:14 pm por Bobby Fischer |
|
|
|
erule, drule
Iniciado por Bobby Fischer |
0 Respuestas
1,111 Vistas |
30 Marzo, 2021, 12:09 pm por Bobby Fischer |
|
|
|
Programa Isabelle HOL
Iniciado por Bobby Fischer |
0 Respuestas
1,137 Vistas |
28 Marzo, 2021, 07:28 pm por Bobby Fischer |
|
|
|
Proposiciones con cuantificadores: ¿Un problema?
Iniciado por manooooh |
5 Respuestas
1,458 Vistas |
15 Marzo, 2021, 05:02 pm por feriva |
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado
