25/04/2018, 07:37:00 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

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), 3 invitados)Teoría de Conjuntos
8671 Mensajes
1537 Temas
Último mensaje por anaclo
en Re: Problema sobre cardi...
23/04/2018, 06:40:37 pm
No hay nuevos Mensajes (0 miembro(s), 4 invitados)Lógica
3590 Mensajes
665 Temas
Último mensaje por Carlos Ivorra
en Re: Comentarios a El teo...
Ayer a las 07:32:29 pm
No hay nuevos Mensajes Metamatemática - Teoría de Modelos
1394 Mensajes
122 Temas
Último mensaje por blackalef
en Re: La inferencia lógica...
19/04/2018, 02:57:02 am
No hay nuevos Mensajes (0 miembro(s), 2 invitados)Autómatas y lenguajes formales
814 Mensajes
98 Temas
Último mensaje por manooooh
en Re: Hallar lenguaje gene...
23/02/2018, 01:37:46 pm
Páginas: [1] 2 3 ... 6   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 2 Visitantes están viendo este foro.
Sobre [texx]\infty-\infty[/texx] « 1 2 3 » manooooh 48 645 Último mensaje 10/04/2018, 01:42:53 am
por pierrot
Problemas entendiendo familias de conjuntos Boqu 2 118 Último mensaje 10/03/2018, 03:37:09 pm
por Boqu
Diseñar AFND-Epsilon Antoniio 5 104 Último mensaje 27/02/2018, 03:20:57 pm
por pierrot
Probar Lema de Arden Antoniio 9 333 Último mensaje 06/02/2018, 03:49:57 pm
por Antoniio
¿Es el siguiente argumento válido? fafafa 4 134 Último mensaje 04/02/2018, 08:21:20 am
por Fernando Revilla
Probar: En un Álgebra de Boole se verifica que [texx]\lvert A\rvert=2^n[/texx] manooooh 6 176 Último mensaje 04/02/2018, 12:40:30 am
por manooooh
Implementar un Algoritmo para cadenas en el alfabeto binario Antoniio 2 146 Último mensaje 26/01/2018, 04:09:44 pm
por Antoniio
Cómo diseñar un AFD Antoniio 5 226 Último mensaje 26/01/2018, 09:09:23 am
por pierrot
¿Son equivalentes estos dos predicados? fafafa 9 377 Último mensaje 14/01/2018, 09:24:03 pm
por argentinator
Álgebra booleana Panfiona 1 1512 Último mensaje 05/01/2018, 06:01:09 pm
por raulescobar
Sobre cuestiones indefinibles en ZFC Raúl Aparicio Bustillo 0 135 Último mensaje 28/12/2017, 02:15:12 am
por Raúl Aparicio Bustillo
Principio de Inclusión - Exclusión Reginork 9 358 Último mensaje 13/10/2017, 12:47:18 am
por mathtruco
Problema con ejercicios MedSpock 5 526 Último mensaje 01/09/2017, 04:56:29 am
por Luis Fuentes
Conmutatividad de la suma en Q alexpglez 11 495 Último mensaje 31/08/2017, 10:04:05 am
por Carlos Ivorra
Probar que es relación de equivalencia moraat 1 167 Último mensaje 10/08/2017, 06:00:41 am
por Masacroso
Notación de lógica manooooh 2 229 Último mensaje 07/08/2017, 11:43:46 am
por manooooh
Relaciones manooooh 3 497 Último mensaje 27/07/2017, 04:02:04 pm
por manooooh
Demostración de Conjuntos 2 manooooh 1 288 Último mensaje 26/07/2017, 06:16:15 am
por Luis Fuentes
Demostración de Conjuntos manooooh 7 742 Último mensaje 25/07/2017, 04:11:24 pm
por manooooh
Dudas sobre Conjunto Bien Ordenado diego_tentor 10 842 Último mensaje 25/07/2017, 11:11:37 am
por diego_tentor
Demostraciones de funciones (problema 4) mariia 1 278 Último mensaje 12/07/2017, 06:39:57 am
por Luis Fuentes
Demostraciones de funciones (problema 3) mariia 1 252 Último mensaje 12/07/2017, 06:15:44 am
por Luis Fuentes
Demostraciones de funciones (Problema 2) mariia 1 248 Último mensaje 12/07/2017, 06:08:36 am
por Luis Fuentes
Predicado y valor de verdad Federico 1 249 Último mensaje 03/07/2017, 05:28:04 am
por Luis Fuentes
Ayuda con la Teoría de Herbrand manooooh 0 248 Último mensaje 18/06/2017, 08:18:31 pm
por manooooh
Subconjuntos de un conjunto Scofield 5 292 Último mensaje 10/06/2017, 01:52:51 pm
por Ignacio Larrosa
Conjuntos infinitos (1) latex 1 314 Último mensaje 27/05/2017, 11:51:12 am
por Tanius
Demostraciones Lógica Mather 4 571 Último mensaje 26/05/2017, 12:21:10 pm
por Raúl Aparicio Bustillo
Fórmula rectificada Mather 0 207 Último mensaje 20/05/2017, 06:24:42 pm
por Mather
(Consulta) Un poco de formalización de proposiciones manooooh 1 319 Último mensaje 08/05/2017, 01:06:39 am
por mathtruco
Formalizar razonamientos en lenguaje natural VlacDrac 0 200 Último mensaje 23/04/2017, 06:37:35 pm
por VlacDrac
Problema de tabla de verdad TonyIommi 2 400 Último mensaje 16/04/2017, 06:45:38 pm
por TonyIommi
Demostrar conjunto numerable(ayuda encontrando la ley de la función) Setzer 8 1564 Último mensaje 02/04/2017, 03:54:46 am
por feriva
Inducción: Demostrar que (2,0) no pertenece a... Setzer 6 967 Último mensaje 01/04/2017, 04:45:18 pm
por Luis Fuentes
Modelo matemático alial 1 591 Último mensaje 14/03/2017, 04:40:48 am
por robinlambada
Contrucción De los complejos -- Relaciones de Equivalencia. latex 1 854 Último mensaje 10/03/2017, 09:09:45 am
por Raúl Aparicio Bustillo
Modelo de circuitos vs modelo de Turing sma.th 0 414 Último mensaje 17/02/2017, 09:35:03 am
por sma.th
Relaciones de equivalencia Duda (1) latex 1 686 Último mensaje 15/01/2017, 09:13:11 pm
por Tanius
La clase totalitaria Proyecto_dos 18 2416 Último mensaje 10/12/2016, 09:41:58 am
por Proyecto_dos
Definición "menor o igual" para los naturales alexpglez 17 6834 Último mensaje 08/12/2016, 04:23:42 pm
por Carlos Ivorra
¿Es correcta esta estratificación? Proyecto_dos 10 1480 Último mensaje 04/12/2016, 04:34:06 pm
por Proyecto_dos
La clase universo negativo y otras hierbas Proyecto_dos 11 1255 Ú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 1906 Último mensaje 28/11/2016, 07:10:57 am
por Luis Fuentes
La existencia según Z F C Proyecto_dos 12 3577 Ú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 751 Último mensaje 20/11/2016, 04:51:00 pm
por edusabix
Duda sobre el significado de una fórmula en ZF Proyecto_dos 6 1676 Último mensaje 20/11/2016, 07:44:38 am
por Proyecto_dos
Conjuntos inductivos sin necesidad del Axioma de infinitud Proyecto_dos 9 1738 Último mensaje 19/11/2016, 03:48:31 pm
por Proyecto_dos
Suma y Producto en los enteros. latex 2 974 Último mensaje 17/11/2016, 06:14:51 pm
por latex
Relaciones de Equivalencia latex 4 1144 Último mensaje 08/11/2016, 07:47:37 pm
por latex
No acabo de entender la gran intersección Proyecto_dos 2 1649 Último mensaje 03/11/2016, 07:22:56 am
por Proyecto_dos
Páginas: [1] 2 3 ... 6   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!