| Asunto / Iniciado por | Respuestas / Vistas | |||
|---|---|---|---|---|
| 0 Usuarios y 6 Visitantes están viendo este foro. | ||||
|
|
2 Respuestas
7,591 Vistas |
06 Diciembre, 2017, 04:33 ampor informatik |
|
|
|
322 Respuestas
161,810 Vistas |
05 Abril, 2017, 01:52 am por Elius |
|
|
|
|
2 Respuestas
9,656 Vistas |
19 Febrero, 2013, 04:49 pm por argentinator |
|
|
|
Programa Isabelle HOL (ii)
Iniciado por Bobby Fischer |
0 Respuestas
53 Vistas |
07 Abril, 2021, 09:01 pm por Bobby Fischer |
|
|
|
Proposicion logica
Iniciado por Julio_fmat |
3 Respuestas
143 Vistas |
01 Abril, 2021, 01:09 am por mathtruco |
|
|
|
Árbol de análisis
Iniciado por Bobby Fischer |
3 Respuestas
147 Vistas |
30 Marzo, 2021, 08:14 pm por Bobby Fischer |
|
|
|
erule, drule
Iniciado por Bobby Fischer |
0 Respuestas
115 Vistas |
30 Marzo, 2021, 12:09 pm por Bobby Fischer |
|
|
|
Programa Isabelle HOL
Iniciado por Bobby Fischer |
0 Respuestas
134 Vistas |
28 Marzo, 2021, 07:28 pm por Bobby Fischer |
|
|
47 Respuestas
5,978 Vistas |
22 Marzo, 2021, 03:34 pm por geómetracat |
|
|
|
|
Proposiciones con cuantificadores: ¿Un problema?
Iniciado por manooooh |
5 Respuestas
378 Vistas |
15 Marzo, 2021, 05:02 pm por feriva |
|
|
|
Ejercicio de lógica
Iniciado por Slaut |
4 Respuestas
337 Vistas |
11 Marzo, 2021, 06:37 pm por Slaut |
|
|
24 Respuestas
1,037 Vistas |
03 Febrero, 2021, 09:23 pm por C. Enrique B. Cortés |
|
|
|
|
39 Respuestas
1,872 Vistas |
14 Enero, 2021, 11:44 pm por manooooh |
|
|
|
BLOQUEADO POR REPETICIÓN
Iniciado por jualfo |
1 Respuestas
796 Vistas |
22 Diciembre, 2020, 01:02 pm por martiniano |
|
|
|
5 Respuestas
1,025 Vistas |
13 Diciembre, 2020, 10:12 pm por geómetracat |
|
|
|
|
4 Respuestas
1,031 Vistas |
09 Diciembre, 2020, 11:12 am por geómetracat |
|
|
|
|
1 Respuestas
855 Vistas |
09 Diciembre, 2020, 09:02 am por geómetracat |
|
|
|
|
Presentación y duda sobre predicados
Iniciado por Raul C |
9 Respuestas
1,391 Vistas |
13 Noviembre, 2020, 08:41 am por Raul C |
|
|
|
25 Respuestas
1,891 Vistas |
12 Noviembre, 2020, 12:51 am por Carlos Ivorra |
|
|
|
|
Formalización de la lógica en NBG*
Iniciado por JordiMath |
1 Respuestas
1,030 Vistas |
07 Noviembre, 2020, 11:43 pm por Carlos Ivorra |
|
|
|
Σ₁ completitud de Q
Iniciado por JordiMath |
2 Respuestas
1,082 Vistas |
26 Octubre, 2020, 10:00 pm por JordiMath |
|
|
|
De Lenguaje Natural a Lenguaje Lógico
Iniciado por Dorita |
5 Respuestas
1,094 Vistas |
25 Octubre, 2020, 08:57 pm por manooooh |
|
|
|
15 Respuestas
1,480 Vistas |
23 Octubre, 2020, 12:56 am por Carlos Ivorra |
|
|
|
|
5 Respuestas
1,183 Vistas |
18 Octubre, 2020, 06:00 pm por Fernando Revilla |
|
|
|
|
7 Respuestas
1,353 Vistas |
11 Octubre, 2020, 10:27 am por feriva |
|
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado
