|
Teoría de Conjuntos |
11,450 Mensajes |
Último mensaje por mamen |
|
|
Lógica |
5,138 Mensajes |
Último mensaje por petras |
|
|
Metamatemática - Teoría de Modelos |
2,226 Mensajes |
Último mensaje por RDC |
|
|
Autómatas y lenguajes formales |
1,043 Mensajes |
Último mensaje por manooooh |
Asunto  / Iniciado por |
Respuestas / Vistas | |||
|---|---|---|---|---|
| 0 Usuarios y 1 Visitante están viendo este foro. | ||||
|
|
Álgebra booleana
Iniciado por Panfiona |
1 Respuestas
6,248 Vistas |
05 Enero, 2018, 10:01 pmpor raulescobar |
|
|
|
Lógica Proposicional, introducción.
Iniciado por dresuer |
0 Respuestas
1,233 Vistas |
15 Octubre, 2016, 01:58 am por dresuer |
|
|
|
0 Respuestas
1,601 Vistas |
10 Mayo, 2013, 05:18 am por rofito |
|
|
|
|
¿Cómo saber cuando un caso base es válido?
Iniciado por Masacroso |
4 Respuestas
5,338 Vistas |
26 Abril, 2018, 04:06 pm por Masacroso |
|
|
|
"Clases" de clases
Iniciado por Alejandro Caballero |
5 Respuestas
3,611 Vistas |
07 Agosto, 2015, 04:55 pm por Alejandro Caballero |
|
|
|
1 Respuestas
1,835 Vistas |
08 Mayo, 2017, 06:06 am por mathtruco |
|
|
|
|
Aplicación de Euler
Iniciado por alvarez |
1 Respuestas
397 Vistas |
01 Julio, 2021, 08:39 pm por geómetracat |
|
|
|
Aplicando el método contrarrecíproco
Iniciado por andrick |
2 Respuestas
1,016 Vistas |
27 Mayo, 2020, 10:03 am por Luis Fuentes |
|
|
|
Aritméticas de orden finito
Iniciado por Raúl Aparicio Bustillo |
6 Respuestas
2,814 Vistas |
29 Julio, 2019, 05:09 pm por Raúl Aparicio Bustillo |
|
|
|
6 Respuestas
1,958 Vistas |
11 Agosto, 2015, 05:11 pm por Carlos Ivorra |
|
|
|
|
14 Respuestas
2,630 Vistas |
09 Julio, 2015, 10:28 pm por cuarentaydos |
|
|
|
Axioma de extensionalidad
Iniciado por Proyecto_dos « 1 2 » |
19 Respuestas
5,378 Vistas |
30 Octubre, 2016, 11:36 am por feriva |
|
|
33 Respuestas
5,685 Vistas |
01 Julio, 2015, 07:49 pm por feriva |
|
|
|
|
0 Respuestas
850 Vistas |
30 Junio, 2015, 08:14 pm por Raúl Aparicio Bustillo |
|
|
|
|
5 Respuestas
1,741 Vistas |
08 Julio, 2015, 09:51 am por feriva |
|
|
|
|
Ayuda con la Teoría de Herbrand
Iniciado por manooooh |
0 Respuestas
1,587 Vistas |
19 Junio, 2017, 01:18 am por manooooh |
|
|
|
Ayuda sobre Algebra de Peano o Axiomas de Peano
Iniciado por Renatox |
2 Respuestas
1,403 Vistas |
11 Noviembre, 2014, 10:35 am por Raúl Aparicio Bustillo |
|
|
|
1 Respuestas
65 Vistas |
15 Marzo, 2024, 12:23 pm por geómetracat |
|
|
|
|
2 Respuestas
1,579 Vistas |
21 Noviembre, 2013, 02:23 am por mapa |
|
|
|
|
4 Respuestas
214 Vistas |
26 Noviembre, 2023, 06:03 pm por Luis Fuentes |
|
|
|
|
Buen orden e isomorfismo
Iniciado por mapa |
4 Respuestas
1,726 Vistas |
24 Noviembre, 2013, 05:26 am por mapa |
|
|
|
5 Respuestas
2,529 Vistas |
01 Octubre, 2018, 11:08 am por Luis Fuentes |
|
|
|
|
Calculo relacional basado en tuplas?
Iniciado por Jambo |
1 Respuestas
399 Vistas |
28 Septiembre, 2021, 11:16 pm por martiniano |
|
|
|
Cardinal de un conjunto definido recursivamente
Iniciado por Calfú |
4 Respuestas
186 Vistas |
25 Octubre, 2022, 07:30 pm por geómetracat |
|
|
|
11 Respuestas
4,091 Vistas |
19 Enero, 2016, 10:09 pm por Luis Fuentes |
|
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado