Foros de matemática
27/02/2017, 12:56:48 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de insercción de archivos GEOGEBRA en los mensajes.
 
 
Subforos
No hay nuevos Mensajes (0 miembro(s), 8 invitados)Teoría de Conjuntos
8215 Mensajes
1428 Temas
Último mensaje por Zeta
en Re: Producto cartesiano ...
Ayer a las 01:19:37 pm
No hay nuevos Mensajes (0 miembro(s), 5 invitados)Lógica
3313 Mensajes
605 Temas
Último mensaje por mathtruco
en Re: Demostrar utilizando...
15/02/2017, 04:00:44 pm
No hay nuevos Mensajes (0 miembro(s), 1 invitado)Metamatemática - Teoría de Modelos
1390 Mensajes
120 Temas
Último mensaje por Carlos Ivorra
en Re: Comentarios de la pa...
04/02/2017, 06:48:26 pm
No hay nuevos Mensajes Autómatas y lenguajes formales
788 Mensajes
86 Temas
Último mensaje por fafafa
en Lenguaje en notación BNF...
18/02/2017, 10:07:38 am
Páginas: [1] 2 3 ... 5   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 2 Visitantes están viendo este foro.
Modelo de circuitos vs modelo de Turing sma.th 0 27 Último mensaje 17/02/2017, 09:35:03 am
por sma.th
Relaciones de equivalencia Duda (1) latex 1 93 Último mensaje 15/01/2017, 09:13:11 pm
por Tanius
La clase totalitaria Proyecto_dos 18 461 Último mensaje 10/12/2016, 09:41:58 am
por Proyecto_dos
Definición "menor o igual" para los naturales alexpglez 17 2217 Último mensaje 08/12/2016, 04:23:42 pm
por Carlos Ivorra
¿Es correcta esta estratificación? Proyecto_dos 10 291 Último mensaje 04/12/2016, 04:34:06 pm
por Proyecto_dos
La clase universo negativo y otras hierbas Proyecto_dos 11 227 Último mensaje 03/12/2016, 06:16:38 pm
por Proyecto_dos
Contrucción De los complejos -- Relaciones de Equivalencia. latex 0 92 Último mensaje 01/12/2016, 06:57:40 pm
por latex
Demostración con una función que va de P(A) en P(A). Constantin 5 592 Último mensaje 28/11/2016, 07:10:57 am
por el_manco
La existencia según Z F C Proyecto_dos 12 1080 Último mensaje 27/11/2016, 02:14:27 pm
por Proyecto_dos
Duda problema 1º de carrera lógica [BLOQUEADO por repetición] edusabix 0 208 Último mensaje 20/11/2016, 04:51:00 pm
por edusabix
Duda sobre el significado de una fórmula en ZF Proyecto_dos 6 548 Último mensaje 20/11/2016, 07:44:38 am
por Proyecto_dos
Conjuntos inductivos sin necesidad del Axioma de infinitud Proyecto_dos 9 483 Último mensaje 19/11/2016, 03:48:31 pm
por Proyecto_dos
Suma y Producto en los enteros. latex 2 259 Último mensaje 17/11/2016, 06:14:51 pm
por latex
Relaciones de Equivalencia latex 4 302 Último mensaje 08/11/2016, 07:47:37 pm
por latex
No acabo de entender la gran intersección Proyecto_dos 2 576 Último mensaje 03/11/2016, 07:22:56 am
por Proyecto_dos
Del axioma de especificación Proyecto_dos 4 506 Último mensaje 02/11/2016, 04:29:25 pm
por Proyecto_dos
Axioma de extensionalidad Proyecto_dos 19 672 Último mensaje 30/10/2016, 07:36:01 am
por feriva
¿Es esta afirmación indecidible en ZF? Proyecto_dos 2 298 Último mensaje 28/10/2016, 07:49:25 pm
por Proyecto_dos
Determinar el conjunto Cociente. latex 1 228 Último mensaje 24/10/2016, 12:02:49 pm
por Fernando Revilla
Imagenes Directas de complementarios y otros... latex 2 216 Último mensaje 23/10/2016, 04:02:34 pm
por latex
Producto cartesiano. Duda latex 11 515 Último mensaje 21/10/2016, 07:08:25 pm
por latex
Operador binario NOR dresuer 2 254 Último mensaje 17/10/2016, 08:13:16 pm
por dresuer
Lógica Proposicional, introducción. dresuer 0 212 Último mensaje 14/10/2016, 08:58:21 pm
por dresuer
Problemas Lógica y conjuntos Alcatelone 4 335 Último mensaje 05/10/2016, 07:13:23 pm
por Alcatelone
Lógica formal y lógica deductiva arkady-svidrigailov 1 266 Último mensaje 05/10/2016, 06:21:10 pm
por Carlos Ivorra
¿Cómo hacer un árbol sintáctico? Antoniio 3 407 Último mensaje 27/09/2016, 02:05:10 am
por Antoniio
Quiero empezar a estudiar lógica. Hybris 14 1401 Último mensaje 17/09/2016, 03:30:26 am
por Constantin
Prueba de teoria de grupos que no cabe en ZFC argentinator 2 390 Último mensaje 04/09/2016, 09:49:30 pm
por argentinator
Funciones definidas a trozos alexpglez 2 337 Último mensaje 03/09/2016, 09:53:08 am
por alexpglez
Duda sobre funciones alexpglez 2 412 Último mensaje 24/08/2016, 10:08:36 am
por alexpglez
Particiones pepiso 5 423 Último mensaje 21/08/2016, 01:29:46 pm
por Carlos Ivorra
Demostración lógica alexpglez 9 822 Último mensaje 15/08/2016, 07:01:26 pm
por Carlos Ivorra
Proposiciones cristhiam 2 396 Último mensaje 14/08/2016, 02:03:06 am
por cristhiam
Encontrar el Contrareciproco rusocdu 0 275 Último mensaje 02/08/2016, 10:38:01 am
por rusocdu
Lógica de predicados JGilberto 3 564 Último mensaje 17/04/2016, 06:12:35 pm
por Raúl Aparicio Bustillo
Valores de verdad de una proposición cristhiam 13 808 Último mensaje 05/04/2016, 04:54:25 pm
por el_manco
Demostración del teorema de Pitágoras a partir de los axiomas de Euclides Raúl Aparicio Bustillo 4 539 Último mensaje 03/04/2016, 03:38:08 pm
por feriva
Demostracion de que los racionales son numerables hjohn 3 713 Último mensaje 30/01/2016, 06:50:39 pm
por Juan Pablo
Producto cartesiano de conjuntos numerables es numerable hjohn 1 529 Último mensaje 30/01/2016, 06:45:59 pm
por el_manco
El supremo e ínfimo del conjunto vacío jimenezsquared 2 556 Último mensaje 26/01/2016, 08:49:27 am
por Fernando Revilla
Cardinalidad función biyectiva Quema 11 976 Último mensaje 19/01/2016, 06:09:47 pm
por el_manco
Teoría de conjuntos como fundamento de la matemática « 1 2 » arkady-svidrigailov 20 2165 Último mensaje 29/12/2015, 04:09:06 pm
por Raúl Aparicio Bustillo
Paradoja de Cantor « 1 2 3 4 » cuarentaydos 79 5172 Último mensaje 16/12/2015, 08:23:32 am
por Raúl Aparicio Bustillo
Otro Problema de Lógica con Teorema de Compacidad rboyart 14 1478 Último mensaje 10/12/2015, 07:52:45 pm
por rboyart
Duda Conjuntos borrosos victor_c 0 374 Último mensaje 10/12/2015, 12:18:35 am
por victor_c
Problema de Lógica con Teorema de Compacidad rboyart 9 1087 Último mensaje 09/12/2015, 07:46:08 pm
por Carlos Ivorra
Variables de una teoría de primer orden arkady-svidrigailov 3 655 Último mensaje 28/11/2015, 07:50:35 am
por Carlos Ivorra
¿Puede dotarse al conjunto Rn, con n>2, de estructura algebraica de cuerpo? Nel·lo 4 703 Último mensaje 14/11/2015, 08:29:13 am
por Carlos Ivorra
Construcción de los naturales en ZF juanfehola 6 866 Último mensaje 12/11/2015, 10:21:08 am
por Carlos Ivorra
NBG+Consis (NBG)+Consis (NBG+consis (NBG))+etc... Raúl Aparicio Bustillo 0 363 Último mensaje 12/11/2015, 02:47:05 am
por Raúl Aparicio Bustillo
Páginas: [1] 2 3 ... 5   Ir Arriba
 

Temas en los que has publicado
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema Fijado
:  
Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!