|
Teoría de Conjuntos |
11,464 Mensajes |
Último mensaje por geómetracat |
|
|
Lógica |
5,139 Mensajes |
Último mensaje por pablitux |
|
|
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. | ||||
|
|
Lógica matemática
Iniciado por Nadrak |
1 Respuestas
133 Vistas |
24 Abril, 2023, 11:02 pmpor geómetracat |
|
|
|
1 Respuestas
139 Vistas |
07 Abril, 2023, 09:41 am por Luis Fuentes |
|
|
|
|
11 Respuestas
328 Vistas |
28 Marzo, 2023, 09:31 pm por txomin |
|
|
|
|
Demostraciones de Fibonacci
Iniciado por aa.avila |
3 Respuestas
239 Vistas |
26 Marzo, 2023, 10:29 am por manooooh |
|
|
|
Demostraciones de divisibilidad con modulares
Iniciado por aa.avila |
3 Respuestas
150 Vistas |
26 Marzo, 2023, 03:13 am por aa.avila |
|
|
|
Logica y modelos infinitos
Iniciado por SofiaMC |
1 Respuestas
131 Vistas |
09 Diciembre, 2022, 10:42 pm por geómetracat |
|
|
|
Cardinal de un conjunto definido recursivamente
Iniciado por Calfú |
4 Respuestas
192 Vistas |
25 Octubre, 2022, 07:30 pm por geómetracat |
|
|
|
Unión de eventos como unión disjunta
Iniciado por obvidio |
1 Respuestas
250 Vistas |
29 Junio, 2022, 07:54 pm por Juan Pablo Sancho |
|
|
|
Demostracion axiomas de L
Iniciado por Berner |
2 Respuestas
260 Vistas |
29 Junio, 2022, 08:29 am por Berner |
|
|
|
2 Respuestas
325 Vistas |
23 Junio, 2022, 05:02 pm por obvidio |
|
|
|
|
Demostraciones
Iniciado por Berner |
4 Respuestas
400 Vistas |
31 Mayo, 2022, 04:52 pm por manooooh |
|
|
|
Conjuntos por comprensión ejercicios
Iniciado por SebastianT |
5 Respuestas
1,364 Vistas |
24 Febrero, 2022, 01:43 am por delmar |
|
|
|
4 Respuestas
722 Vistas |
27 Enero, 2022, 03:01 pm por alexpglez |
|
|
|
|
14 Respuestas
1,213 Vistas |
13 Enero, 2022, 07:37 am por manooooh |
|
|
|
|
3 Respuestas
476 Vistas |
14 Diciembre, 2021, 06:32 pm por Masacroso |
|
|
|
|
Eliminación del cuantificador existencial (Carlos Ivorra)
Iniciado por Chavsolute Locohombre « 1 2 » |
14 Respuestas
1,469 Vistas |
03 Diciembre, 2021, 12:52 pm por Carlos Ivorra |
|
|
|
Inferencia logica
Iniciado por stricksda |
7 Respuestas
733 Vistas |
12 Octubre, 2021, 05:09 am por manooooh |
|
|
|
4 Respuestas
509 Vistas |
02 Octubre, 2021, 06:56 pm por Fernando Padilla |
|
|
|
|
Calculo relacional basado en tuplas?
Iniciado por Jambo |
1 Respuestas
401 Vistas |
28 Septiembre, 2021, 11:16 pm por martiniano |
|
|
|
Conjuntos acotados
Iniciado por mg |
2 Respuestas
509 Vistas |
06 Julio, 2021, 06:39 pm por mg |
|
|
|
Demostrar que \[J:ℕ×ℕ→ℕ\] es biyectiva
Iniciado por Rubén Maguregui |
5 Respuestas
778 Vistas |
05 Julio, 2021, 07:16 pm por Rubén Maguregui |
|
|
|
Aplicación de Euler
Iniciado por alvarez |
1 Respuestas
399 Vistas |
01 Julio, 2021, 08:39 pm por geómetracat |
|
|
|
Equipotencia entre conjuntos
Iniciado por PhysicsKhara « 1 2 » |
11 Respuestas
3,371 Vistas |
14 Junio, 2021, 05:34 pm por Luis Fuentes |
|
|
31 Respuestas
6,420 Vistas |
24 Febrero, 2021, 07:29 pm por C. Enrique B. |
|
|
|
|
49 Respuestas
3,621 Vistas |
17 Febrero, 2021, 11:49 pm por ancape |
|
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado
