14/12/2018, 10:58:41 pm *
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: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Subforos
No hay nuevos Mensajes (0 miembro(s), 5 invitados)Teoría de Conjuntos
9862 Mensajes
1711 Temas
Último mensaje por novatolego
en Re: axioma de regularida...
19/11/2018, 02:08:17 pm
No hay nuevos Mensajes (0 miembro(s), 3 invitados)Lógica
3937 Mensajes
715 Temas
Último mensaje por Carlos Ivorra
en Re: Sobre el símbolo \(\...
05/12/2018, 10:43:06 pm
No hay nuevos Mensajes (0 miembro(s), 1 invitado)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), 3 invitados)Autómatas y lenguajes formales
847 Mensajes
108 Temas
Último mensaje por geómetracat
en Re: Producto en Máquina ...
21/11/2018, 08:23:31 pm
Páginas: [1] 2 3 ... 6   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 5 Visitantes están viendo este foro.
Equipotencia entre conjuntos PhysicsKhara 5 141 Último mensaje 12/11/2018, 07:30:40 pm
por PhysicsKhara
Resolver este ejercicio conjuntos cparra 1 93 Último mensaje 04/11/2018, 07:49:41 am
por Luis Fuentes
Demostrar que es falso f(X - A) = f(X) - f (A) xuchen 5 317 Último mensaje 18/10/2018, 04:15:19 pm
por xuchen
Dar una biyección entre 2 conjuntos que transforme una en otra las relaciones... xuchen 4 303 Último mensaje 14/10/2018, 02:13:28 pm
por xuchen
Demostraciones de funciones (problema 3) mariia 4 947 Último mensaje 07/10/2018, 02:49:58 pm
por serbofsot
Calcular el supremo, ínfimo, máximo y mínimo del siguiente conjunto: OriolRama 5 338 Último mensaje 01/10/2018, 06:08:50 am
por Luis Fuentes
Problema de Lógica Combinacional nullREAL 15 547 Último mensaje 24/09/2018, 01:45:37 pm
por nullREAL
Si n es número natural y n−2 es múltiplo de 2 entonces... Lusin 4 1094 Último mensaje 09/09/2018, 04:50:31 pm
por feriva
¿Los cuantificadores pueden escribirse tanto al inicio como al final? manooooh 3 1210 Último mensaje 23/08/2018, 11:13:33 am
por manooooh
Prueba \(A\subset{B}\wedge B\subset{C}\Rightarrow A\cap{b}\subset C\). Buscón 2 609 Último mensaje 02/08/2018, 10:04:30 am
por Juan Pablo Sancho
Definición de número real « 1 2 » micabua 21 1744 Último mensaje 14/07/2018, 08:34:38 am
por Carlos Ivorra
Definición de aleph-1 micabua 1 521 Último mensaje 11/07/2018, 05:49:35 pm
por Carlos Ivorra
Segundo principio de inducción fafafa 7 955 Último mensaje 05/07/2018, 02:12:49 am
por fafafa
Lógica y axiomas micabua 15 1183 Último mensaje 21/06/2018, 09:15:48 pm
por Masacroso
Números transfinitos micabua 3 974 Último mensaje 05/06/2018, 02:32:32 pm
por micabua
Dummy variable o variable ficticia en lógica de primer orden. fafafa 1 515 Último mensaje 30/05/2018, 08:27:30 am
por Carlos Ivorra
De gramáticas a autómatas a pila Antoniio 2 592 Último mensaje 23/05/2018, 02:06:03 am
por Antoniio
Hallar máximo, mínimo y supremo de un conjunto. MauroDiaz 1 833 Último mensaje 03/05/2018, 07:15:32 am
por Luis Fuentes
¿Cómo saber cuando un caso base es válido? Masacroso 4 1180 Último mensaje 26/04/2018, 11:06:54 am
por Masacroso
Sobre [texx]\infty-\infty[/texx] « 1 2 3 » manooooh 48 5618 Último mensaje 10/04/2018, 01:42:53 am
por pierrot
Problemas entendiendo familias de conjuntos Boqu 2 1186 Último mensaje 10/03/2018, 03:37:09 pm
por Boqu
Diseñar AFND-Epsilon Antoniio 5 1123 Último mensaje 27/02/2018, 03:20:57 pm
por pierrot
Probar Lema de Arden Antoniio 9 1491 Último mensaje 06/02/2018, 03:49:57 pm
por Antoniio
¿Es el siguiente argumento válido? fafafa 4 898 Ú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 1139 Último mensaje 04/02/2018, 12:40:30 am
por manooooh
Implementar un Algoritmo para cadenas en el alfabeto binario Antoniio 2 1068 Último mensaje 26/01/2018, 04:09:44 pm
por Antoniio
Cómo diseñar un AFD Antoniio 5 1176 Último mensaje 26/01/2018, 09:09:23 am
por pierrot
¿Son equivalentes estos dos predicados? fafafa 9 1503 Último mensaje 14/01/2018, 09:24:03 pm
por argentinator
Álgebra booleana Panfiona 1 2504 Último mensaje 05/01/2018, 06:01:09 pm
por raulescobar
Sobre cuestiones indefinibles en ZFC Raúl Aparicio Bustillo 0 957 Último mensaje 28/12/2017, 02:15:12 am
por Raúl Aparicio Bustillo
Principio de Inclusión - Exclusión Reginork 9 1294 Último mensaje 13/10/2017, 12:47:18 am
por mathtruco
Problema con ejercicios MedSpock 5 1370 Último mensaje 01/09/2017, 04:56:29 am
por Luis Fuentes
Conmutatividad de la suma en Q alexpglez 11 1341 Último mensaje 31/08/2017, 10:04:05 am
por Carlos Ivorra
Probar que es relación de equivalencia moraat 1 972 Último mensaje 10/08/2017, 06:00:41 am
por Masacroso
Notación de lógica manooooh 2 735 Último mensaje 07/08/2017, 11:43:46 am
por manooooh
Relaciones manooooh 3 1111 Último mensaje 27/07/2017, 04:02:04 pm
por manooooh
Demostración de Conjuntos 2 manooooh 1 879 Último mensaje 26/07/2017, 06:16:15 am
por Luis Fuentes
Demostración de Conjuntos manooooh 7 1373 Último mensaje 25/07/2017, 04:11:24 pm
por manooooh
Dudas sobre Conjunto Bien Ordenado diego_tentor 10 1641 Último mensaje 25/07/2017, 11:11:37 am
por diego_tentor
Demostraciones de funciones (problema 4) mariia 1 803 Último mensaje 12/07/2017, 06:39:57 am
por Luis Fuentes
Demostraciones de funciones (Problema 2) mariia 1 784 Último mensaje 12/07/2017, 06:08:36 am
por Luis Fuentes
Predicado y valor de verdad Federico 1 818 Último mensaje 03/07/2017, 05:28:04 am
por Luis Fuentes
Ayuda con la Teoría de Herbrand manooooh 0 711 Último mensaje 18/06/2017, 08:18:31 pm
por manooooh
Subconjuntos de un conjunto Scofield 5 882 Último mensaje 10/06/2017, 01:52:51 pm
por Ignacio Larrosa
Conjuntos infinitos (1) latex 1 839 Último mensaje 27/05/2017, 11:51:12 am
por Tanius
Demostraciones Lógica Mather 4 1291 Último mensaje 26/05/2017, 12:21:10 pm
por Raúl Aparicio Bustillo
Fórmula rectificada Mather 0 673 Último mensaje 20/05/2017, 06:24:42 pm
por Mather
(Consulta) Un poco de formalización de proposiciones manooooh 1 871 Último mensaje 08/05/2017, 01:06:39 am
por mathtruco
Formalizar razonamientos en lenguaje natural VlacDrac 0 648 Último mensaje 23/04/2017, 06:37:35 pm
por VlacDrac
Problema de tabla de verdad TonyIommi 2 886 Último mensaje 16/04/2017, 06:45:38 pm
por TonyIommi
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.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!