|
Teoría de Conjuntos |
12,644 Mensajes |
Último mensaje por Carlos Ivorra |
|
Lógica |
5,340 Mensajes |
Último mensaje por Rul |
|
Metamatemática - Teoría de Modelos |
2,810 Mensajes |
Último mensaje por Eparoh |
|
Autómatas y lenguajes formales |
1,044 Mensajes |
Último mensaje por RDC |
| Asunto / Iniciado por | Respuestas / Vistas | |||
|---|---|---|---|---|
| 0 Usuarios y 2 Visitantes están viendo este foro. | ||||
|
|
Predicado y valor de verdad
Iniciado por Federico |
1 Respuestas
2,037 Vistas |
por Luis Fuentes |
|
|
Ayuda con la Teoría de Herbrand
Iniciado por manooooh |
0 Respuestas
2,061 Vistas |
por manooooh |
|
|
Subconjuntos de un conjunto
Iniciado por Scofield |
5 Respuestas
2,760 Vistas |
por Ignacio Larrosa |
|
|
Conjuntos infinitos (1)
Iniciado por latex |
1 Respuestas
2,234 Vistas |
por Tanius |
|
|
Demostraciones Lógica
Iniciado por Mather |
4 Respuestas
2,877 Vistas |
por Raúl Aparicio Bustillo |
|
|
Fórmula rectificada
Iniciado por Mather |
0 Respuestas
1,717 Vistas |
por Mather |
|
|
1 Respuestas
2,201 Vistas |
por mathtruco |
|
|
|
Formalizar razonamientos en lenguaje natural
Iniciado por VlacDrac |
0 Respuestas
1,651 Vistas |
por VlacDrac |
|
|
Problema de tabla de verdad
Iniciado por TonyIommi |
2 Respuestas
2,113 Vistas |
por TonyIommi |
|
|
8 Respuestas
4,662 Vistas |
por feriva |
|
|
|
Inducción: Demostrar que (2,0) no pertenece a...
Iniciado por Setzer |
6 Respuestas
3,626 Vistas |
por Luis Fuentes |
|
|
Modelo matemático
Iniciado por alial |
1 Respuestas
2,531 Vistas |
por robinlambada |
|
|
1 Respuestas
2,633 Vistas |
por Raúl Aparicio Bustillo |
|
|
|
Modelo de circuitos vs modelo de Turing
Iniciado por sma.th |
0 Respuestas
1,699 Vistas |
por sma.th |
|
|
Relaciones de equivalencia Duda (1)
Iniciado por latex |
1 Respuestas
2,238 Vistas |
por Tanius |
|
|
La clase totalitaria
Iniciado por Proyecto_dos « 1 2 » |
18 Respuestas
6,756 Vistas |
por Proyecto_dos |
|
|
17 Respuestas
12,080 Vistas |
por Carlos Ivorra |
|
|
|
¿Es correcta esta estratificación?
Iniciado por Proyecto_dos « 1 2 » |
10 Respuestas
4,015 Vistas |
por Proyecto_dos |
|
|
La clase universo negativo y otras hierbas
Iniciado por Proyecto_dos « 1 2 » |
11 Respuestas
3,961 Vistas |
por Proyecto_dos |
|
|
5 Respuestas
4,110 Vistas |
por Luis Fuentes |
|
|
|
La existencia según Z F C
Iniciado por Proyecto_dos « 1 2 » |
12 Respuestas
6,845 Vistas |
por Proyecto_dos |
|
|
0 Respuestas
1,789 Vistas |
por edusabix |
|
|
|
6 Respuestas
3,592 Vistas |
por Proyecto_dos |
|
|
|
9 Respuestas
4,911 Vistas |
por Proyecto_dos |
|
|
|
Suma y Producto en los enteros.
Iniciado por latex |
2 Respuestas
2,223 Vistas |
por latex |
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado