| Asunto / Iniciado por | Respuestas / Vistas | |||
|---|---|---|---|---|
| 0 Usuarios y 12 Visitantes están viendo este foro. | ||||
|
|
2 Respuestas
7,821 Vistas |
06 Diciembre, 2017, 04:33 ampor informatik |
|
|
|
322 Respuestas
162,706 Vistas |
05 Abril, 2017, 01:52 am por Elius |
|
|
|
|
2 Respuestas
9,872 Vistas |
19 Febrero, 2013, 04:49 pm por argentinator |
|
|
|
8 Respuestas
278 Vistas |
07 Mayo, 2021, 10:11 pm por manooooh |
|
|
|
52 Respuestas
6,505 Vistas |
02 Mayo, 2021, 08:38 pm por geómetracat |
|
|
|
|
Forma normal disyuntiva completa
Iniciado por KatherineR |
1 Respuestas
168 Vistas |
21 Abril, 2021, 06:05 pm por manooooh |
|
|
|
Demostración aplicativa Isabelle
Iniciado por Bobby Fischer |
1 Respuestas
225 Vistas |
15 Abril, 2021, 05:42 pm por geómetracat |
|
|
|
Programa Isabelle HOL (ii)
Iniciado por Bobby Fischer |
0 Respuestas
263 Vistas |
07 Abril, 2021, 09:01 pm por Bobby Fischer |
|
|
|
Proposicion logica
Iniciado por Julio_fmat |
3 Respuestas
345 Vistas |
01 Abril, 2021, 01:09 am por mathtruco |
|
|
|
Árbol de análisis
Iniciado por Bobby Fischer |
3 Respuestas
353 Vistas |
30 Marzo, 2021, 08:14 pm por Bobby Fischer |
|
|
|
erule, drule
Iniciado por Bobby Fischer |
0 Respuestas
309 Vistas |
30 Marzo, 2021, 12:09 pm por Bobby Fischer |
|
|
|
Programa Isabelle HOL
Iniciado por Bobby Fischer |
0 Respuestas
332 Vistas |
28 Marzo, 2021, 07:28 pm por Bobby Fischer |
|
|
|
Proposiciones con cuantificadores: ¿Un problema?
Iniciado por manooooh |
5 Respuestas
608 Vistas |
15 Marzo, 2021, 05:02 pm por feriva |
|
|
|
Ejercicio de lógica
Iniciado por Slaut |
4 Respuestas
570 Vistas |
11 Marzo, 2021, 06:37 pm por Slaut |
|
|
24 Respuestas
1,289 Vistas |
03 Febrero, 2021, 09:23 pm por C. Enrique B. |
|
|
|
|
39 Respuestas
2,163 Vistas |
14 Enero, 2021, 11:44 pm por manooooh |
|
|
|
BLOQUEADO POR REPETICIÓN
Iniciado por jualfo |
1 Respuestas
997 Vistas |
22 Diciembre, 2020, 01:02 pm por martiniano |
|
|
|
5 Respuestas
1,228 Vistas |
13 Diciembre, 2020, 10:12 pm por geómetracat |
|
|
|
|
4 Respuestas
1,243 Vistas |
09 Diciembre, 2020, 11:12 am por geómetracat |
|
|
|
|
1 Respuestas
1,046 Vistas |
09 Diciembre, 2020, 09:02 am por geómetracat |
|
|
|
|
Presentación y duda sobre predicados
Iniciado por Raul C |
9 Respuestas
1,623 Vistas |
13 Noviembre, 2020, 08:41 am por Raul C |
|
|
|
25 Respuestas
2,144 Vistas |
12 Noviembre, 2020, 12:51 am por Carlos Ivorra |
|
|
|
|
Formalización de la lógica en NBG*
Iniciado por JordiMath |
1 Respuestas
1,232 Vistas |
07 Noviembre, 2020, 11:43 pm por Carlos Ivorra |
|
|
|
Σ₁ completitud de Q
Iniciado por JordiMath |
2 Respuestas
1,280 Vistas |
26 Octubre, 2020, 10:00 pm por JordiMath |
|
|
|
De Lenguaje Natural a Lenguaje Lógico
Iniciado por Dorita |
5 Respuestas
1,314 Vistas |
25 Octubre, 2020, 08:57 pm por manooooh |
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado
