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. | ||||
Probar que es relación de equivalencia
Iniciado por moraat |
1 Respuestas
4,182 Vistas |
10 Agosto, 2017, 11:00 am por Masacroso |
||
Notación de lógica
Iniciado por manooooh |
2 Respuestas
1,780 Vistas |
07 Agosto, 2017, 04:43 pm por manooooh |
||
Relaciones
Iniciado por manooooh |
3 Respuestas
2,224 Vistas |
27 Julio, 2017, 09:02 pm por manooooh |
||
Demostración de Conjuntos 2
Iniciado por manooooh |
1 Respuestas
1,807 Vistas |
26 Julio, 2017, 11:16 am por Luis Fuentes |
||
Demostración de Conjuntos
Iniciado por manooooh |
7 Respuestas
2,912 Vistas |
25 Julio, 2017, 09:11 pm por manooooh |
||
Dudas sobre Conjunto Bien Ordenado
Iniciado por diego_tentor « 1 2 » |
10 Respuestas
3,394 Vistas |
25 Julio, 2017, 04:11 pm por diego_tentor |
||
Demostraciones de funciones (problema 4)
Iniciado por mariia |
1 Respuestas
1,700 Vistas |
12 Julio, 2017, 11:39 am por Luis Fuentes |
||
Demostraciones de funciones (Problema 2)
Iniciado por mariia |
1 Respuestas
1,688 Vistas |
12 Julio, 2017, 11:08 am por Luis Fuentes |
||
Predicado y valor de verdad
Iniciado por Federico |
1 Respuestas
1,808 Vistas |
03 Julio, 2017, 10:28 am por Luis Fuentes |
||
Ayuda con la Teoría de Herbrand
Iniciado por manooooh |
0 Respuestas
1,590 Vistas |
19 Junio, 2017, 01:18 am por manooooh |
||
Subconjuntos de un conjunto
Iniciado por Scofield |
5 Respuestas
2,271 Vistas |
10 Junio, 2017, 06:52 pm por Ignacio Larrosa |
||
Conjuntos infinitos (1)
Iniciado por latex |
1 Respuestas
1,779 Vistas |
27 Mayo, 2017, 04:51 pm por Tanius |
||
Demostraciones Lógica
Iniciado por Mather |
4 Respuestas
2,527 Vistas |
26 Mayo, 2017, 05:21 pm por Raúl Aparicio Bustillo |
||
Fórmula rectificada
Iniciado por Mather |
0 Respuestas
1,441 Vistas |
20 Mayo, 2017, 11:24 pm por Mather |
||
1 Respuestas
1,839 Vistas |
08 Mayo, 2017, 06:06 am por mathtruco |
|||
Formalizar razonamientos en lenguaje natural
Iniciado por VlacDrac |
0 Respuestas
1,363 Vistas |
23 Abril, 2017, 11:37 pm por VlacDrac |
||
Problema de tabla de verdad
Iniciado por TonyIommi |
2 Respuestas
1,830 Vistas |
16 Abril, 2017, 11:45 pm por TonyIommi |
||
8 Respuestas
3,918 Vistas |
02 Abril, 2017, 08:54 am por feriva |
|||
Inducción: Demostrar que (2,0) no pertenece a...
Iniciado por Setzer |
6 Respuestas
3,281 Vistas |
01 Abril, 2017, 09:45 pm por Luis Fuentes |
||
Modelo matemático
Iniciado por alial |
1 Respuestas
2,252 Vistas |
14 Marzo, 2017, 08:40 am por robinlambada |
||
1 Respuestas
2,388 Vistas |
10 Marzo, 2017, 01:09 pm por Raúl Aparicio Bustillo |
|||
Modelo de circuitos vs modelo de Turing
Iniciado por sma.th |
0 Respuestas
1,461 Vistas |
17 Febrero, 2017, 01:35 pm por sma.th |
||
Relaciones de equivalencia Duda (1)
Iniciado por latex |
1 Respuestas
1,968 Vistas |
16 Enero, 2017, 01:13 am por Tanius |
||
La clase totalitaria
Iniciado por Proyecto_dos « 1 2 » |
18 Respuestas
5,977 Vistas |
10 Diciembre, 2016, 01:41 pm por Proyecto_dos |
||
17 Respuestas
10,630 Vistas |
08 Diciembre, 2016, 08:23 pm por Carlos Ivorra |
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado