Foros de matemática
30/03/2017, 07:51:00 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Subforos
No hay nuevos Mensajes (0 miembro(s), 4 invitados)Teoría de Conjuntos
8288 Mensajes
1445 Temas
Último mensaje por el_manco
en Re: [texx]\mathbb{N^*}[/...
28/03/2017, 06:33:54 pm
No hay nuevos Mensajes (0 miembro(s), 1 invitado)Lógica
3322 Mensajes
607 Temas
Último mensaje por fafafa
en Re: ¿Qué regla de infere...
18/03/2017, 08:09:55 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
799 Mensajes
89 Temas
Último mensaje por marcosjimenez
en Gramática no ambigua a a...
15/03/2017, 06:13:46 pm
Páginas: [1] 2 3 ... 5   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 1 Visitante están viendo este foro.
Modelo matemático alial 1 63 Último mensaje 14/03/2017, 04:40:48 am
por robinlambada
Contrucción De los complejos -- Relaciones de Equivalencia. latex 1 167 Último mensaje 10/03/2017, 09:09:45 am
por Raúl Aparicio Bustillo
Modelo de circuitos vs modelo de Turing sma.th 0 49 Último mensaje 17/02/2017, 09:35:03 am
por sma.th
Relaciones de equivalencia Duda (1) latex 1 129 Último mensaje 15/01/2017, 09:13:11 pm
por Tanius
La clase totalitaria Proyecto_dos 18 576 Último mensaje 10/12/2016, 09:41:58 am
por Proyecto_dos
Definición "menor o igual" para los naturales alexpglez 17 2715 Último mensaje 08/12/2016, 04:23:42 pm
por Carlos Ivorra
¿Es correcta esta estratificación? Proyecto_dos 10 357 Último mensaje 04/12/2016, 04:34:06 pm
por Proyecto_dos
La clase universo negativo y otras hierbas Proyecto_dos 11 298 Último mensaje 03/12/2016, 06:16:38 pm
por Proyecto_dos
Demostración con una función que va de P(A) en P(A). Constantin 5 716 Último mensaje 28/11/2016, 07:10:57 am
por el_manco
La existencia según Z F C Proyecto_dos 12 1347 Ú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 263 Último mensaje 20/11/2016, 04:51:00 pm
por edusabix
Duda sobre el significado de una fórmula en ZF Proyecto_dos 6 644 Último mensaje 20/11/2016, 07:44:38 am
por Proyecto_dos
Conjuntos inductivos sin necesidad del Axioma de infinitud Proyecto_dos 9 578 Último mensaje 19/11/2016, 03:48:31 pm
por Proyecto_dos
Suma y Producto en los enteros. latex 2 307 Último mensaje 17/11/2016, 06:14:51 pm
por latex
Relaciones de Equivalencia latex 4 364 Último mensaje 08/11/2016, 07:47:37 pm
por latex
No acabo de entender la gran intersección Proyecto_dos 2 702 Último mensaje 03/11/2016, 07:22:56 am
por Proyecto_dos
Del axioma de especificación Proyecto_dos 4 605 Último mensaje 02/11/2016, 04:29:25 pm
por Proyecto_dos
Axioma de extensionalidad Proyecto_dos 19 802 Último mensaje 30/10/2016, 07:36:01 am
por feriva
¿Es esta afirmación indecidible en ZF? Proyecto_dos 2 359 Último mensaje 28/10/2016, 07:49:25 pm
por Proyecto_dos
Determinar el conjunto Cociente. latex 1 276 Último mensaje 24/10/2016, 12:02:49 pm
por Fernando Revilla
Imagenes Directas de complementarios y otros... latex 2 269 Último mensaje 23/10/2016, 04:02:34 pm
por latex
Producto cartesiano. Duda latex 11 591 Último mensaje 21/10/2016, 07:08:25 pm
por latex
Operador binario NOR dresuer 2 311 Último mensaje 17/10/2016, 08:13:16 pm
por dresuer
Lógica Proposicional, introducción. dresuer 0 248 Último mensaje 14/10/2016, 08:58:21 pm
por dresuer
Problemas Lógica y conjuntos Alcatelone 4 392 Último mensaje 05/10/2016, 07:13:23 pm
por Alcatelone
Lógica formal y lógica deductiva arkady-svidrigailov 1 328 Último mensaje 05/10/2016, 06:21:10 pm
por Carlos Ivorra
¿Cómo hacer un árbol sintáctico? Antoniio 3 470 Último mensaje 27/09/2016, 02:05:10 am
por Antoniio
Quiero empezar a estudiar lógica. Hybris 14 1508 Último mensaje 17/09/2016, 03:30:26 am
por Constantin
Prueba de teoria de grupos que no cabe en ZFC argentinator 2 447 Último mensaje 04/09/2016, 09:49:30 pm
por argentinator
Funciones definidas a trozos alexpglez 2 402 Último mensaje 03/09/2016, 09:53:08 am
por alexpglez
Duda sobre funciones alexpglez 2 476 Último mensaje 24/08/2016, 10:08:36 am
por alexpglez
Particiones pepiso 5 495 Último mensaje 21/08/2016, 01:29:46 pm
por Carlos Ivorra
Demostración lógica alexpglez 9 942 Último mensaje 15/08/2016, 07:01:26 pm
por Carlos Ivorra
Proposiciones cristhiam 2 451 Último mensaje 14/08/2016, 02:03:06 am
por cristhiam
Encontrar el Contrareciproco rusocdu 0 307 Último mensaje 02/08/2016, 10:38:01 am
por rusocdu
Lógica de predicados JGilberto 3 639 Último mensaje 17/04/2016, 06:12:35 pm
por Raúl Aparicio Bustillo
Valores de verdad de una proposición cristhiam 13 898 Ú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 620 Último mensaje 03/04/2016, 03:38:08 pm
por feriva
Demostracion de que los racionales son numerables hjohn 3 803 Último mensaje 30/01/2016, 06:50:39 pm
por Juan Pablo
Producto cartesiano de conjuntos numerables es numerable hjohn 1 607 Último mensaje 30/01/2016, 06:45:59 pm
por el_manco
El supremo e ínfimo del conjunto vacío jimenezsquared 2 618 Último mensaje 26/01/2016, 08:49:27 am
por Fernando Revilla
Cardinalidad función biyectiva Quema 11 1094 Ú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 2354 Último mensaje 29/12/2015, 04:09:06 pm
por Raúl Aparicio Bustillo
Paradoja de Cantor « 1 2 3 4 » cuarentaydos 79 5778 Ú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 1621 Último mensaje 10/12/2015, 07:52:45 pm
por rboyart
Duda Conjuntos borrosos victor_c 0 412 Último mensaje 10/12/2015, 12:18:35 am
por victor_c
Problema de Lógica con Teorema de Compacidad rboyart 9 1200 Último mensaje 09/12/2015, 07:46:08 pm
por Carlos Ivorra
Variables de una teoría de primer orden arkady-svidrigailov 3 725 Ú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 794 Último mensaje 14/11/2015, 08:29:13 am
por Carlos Ivorra
Construcción de los naturales en ZF juanfehola 6 944 Último mensaje 12/11/2015, 10:21:08 am
por Carlos Ivorra
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!