14/12/2019, 06:46:46 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: Homenaje a NUMERARIUS
 
 
Subforos
No hay nuevos Mensajes (0 miembro(s), 5 invitados)Teoría de Conjuntos
9636 Mensajes
1669 Temas
Último mensaje por EduardoA
en Re: Lógica, proposicione...
09/11/2019, 11:15:41 pm
No hay nuevos Mensajes (0 miembro(s), 2 invitados)Lógica
4212 Mensajes
745 Temas
Último mensaje por manooooh
en Re: Estudiar validez del...
08/12/2019, 06:50:40 pm
No hay nuevos Mensajes (0 miembro(s), 1 invitado)Metamatemática - Teoría de Modelos
1407 Mensajes
127 Temas
Último mensaje por feriva
en Re: Mente humana un orde...
16/09/2019, 09:21:16 am
No hay nuevos Mensajes (0 miembro(s), 1 invitado)Autómatas y lenguajes formales
861 Mensajes
112 Temas
Último mensaje por martiniano
en Re: Analizando el proble...
17/10/2019, 02:23:09 am
Páginas: [1] 2 3 ... 7   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 4 Visitantes están viendo este foro.
Reducción al absurdo y negación de implicac conchivgr 3 119 Último mensaje 04/11/2019, 04:18:04 pm
por conchivgr
Consulta, ejercicio funciones inyectiva, sobreyectiva y biyectiva. diiv 3 284 Último mensaje 22/10/2019, 03:38:26 am
por Luis Fuentes
Aritméticas de orden finito Raúl Aparicio Bustillo 6 1085 Último mensaje 29/07/2019, 12:09:35 pm
por Raúl Aparicio Bustillo
Mini curso de teoría de conjuntos. ealaipigualamenosuno 2 408 Último mensaje 18/06/2019, 10:55:55 pm
por ealaipigualamenosuno
Sobre [texx]\infty-\infty[/texx] « 1 2 3 » manooooh 52 14045 Último mensaje 02/06/2019, 08:56:10 am
por Carlos Ivorra
¿Existe el signo [texx]:=:[/texx]? manooooh 6 531 Último mensaje 21/05/2019, 04:42:52 pm
por feriva
¿Existe una definición para una regla matemática? manooooh 1 218 Último mensaje 21/05/2019, 04:43:03 am
por feriva
¿Isomorfismo entre función de M componentes en N variables y 1 componente... Libertina 0 134 Último mensaje 17/05/2019, 01:45:43 pm
por Libertina
Justificación de Conjuntos AveFenix 2 293 Último mensaje 05/05/2019, 06:07:06 pm
por mathtruco
Ejercicio Verdadero o Falso conjuntos Sallaks 3 259 Último mensaje 05/05/2019, 06:25:49 am
por feriva
Igualdad conchivgr 4 335 Último mensaje 26/04/2019, 10:13:02 am
por conchivgr
Duda con orden de cuantificadores Rybka 5 474 Último mensaje 19/04/2019, 06:12:51 pm
por geómetracat
No es cierto que, todo primo es impar « 1 2 3 » danonqn 40 2341 Último mensaje 09/04/2019, 04:52:23 pm
por feriva
Demostrar que la diferencia simétrica tiene un único elemento neutro Rybka 1 306 Último mensaje 07/04/2019, 02:39:42 pm
por Fernando Revilla
Existe un natural u tal que para todo natural n se verifica que u*n=n danonqn 16 817 Último mensaje 03/04/2019, 11:18:04 am
por feriva
Demostrar que contención no es correcta en general Rybka 1 348 Último mensaje 31/03/2019, 01:29:41 pm
por mathtruco
Todos los números enteros pares son múltiplos de cuatro « 1 2 » danonqn 22 2063 Último mensaje 28/03/2019, 03:48:19 am
por feriva
Definición de proposición billy 11 1079 Último mensaje 26/03/2019, 08:21:13 pm
por danonqn
Demostrar un ejercicio de Lógica Proposicional danonqn 5 604 Último mensaje 26/03/2019, 05:29:28 pm
por manooooh
Prueba \(A\subset{B}\wedge B\subset{C}\Rightarrow A\cap{b}\subset C\). Buscón 3 1468 Último mensaje 02/02/2019, 11:29:33 pm
por EduardoA
Conjunto partes de \(A=\{x/\text{\(x\) es una letra de la palabra rosa}\}\) VictorBrito 2 380 Último mensaje 02/02/2019, 01:22:10 pm
por EduardoA
Demostración sobre la composición de aplicaciones robertolosada 5 704 Último mensaje 28/01/2019, 08:46:27 am
por Luis Fuentes
¿ Qué es la lógica, el lenguaje formal y los conjuntos ? Argos 2 826 Último mensaje 23/12/2018, 08:53:21 am
por feriva
Cuando hay que dar ejemplos, ¿se pueden dar como un caso general? manooooh 12 898 Último mensaje 21/12/2018, 06:56:55 am
por manooooh
Equipotencia entre conjuntos PhysicsKhara 5 855 Último mensaje 12/11/2018, 07:30:40 pm
por PhysicsKhara
Resolver este ejercicio conjuntos cparra 1 477 Ú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 1163 Ú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 1065 Último mensaje 14/10/2018, 02:13:28 pm
por xuchen
Demostraciones de funciones (problema 3) mariia 4 1634 Ú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 895 Último mensaje 01/10/2018, 06:08:50 am
por Luis Fuentes
Problema de Lógica Combinacional nullREAL 15 1643 Ú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 2344 Último mensaje 09/09/2018, 04:50:31 pm
por feriva
¿Los cuantificadores pueden escribirse tanto al inicio como al final? manooooh 3 2429 Último mensaje 23/08/2018, 11:13:33 am
por manooooh
Definición de número real « 1 2 » micabua 21 4072 Último mensaje 14/07/2018, 08:34:38 am
por Carlos Ivorra
Definición de aleph-1 micabua 1 1295 Último mensaje 11/07/2018, 05:49:35 pm
por Carlos Ivorra
Segundo principio de inducción fafafa 7 1955 Último mensaje 05/07/2018, 02:12:49 am
por fafafa
Lógica y axiomas micabua 15 2642 Último mensaje 21/06/2018, 09:15:48 pm
por Masacroso
Números transfinitos micabua 3 1681 Último mensaje 05/06/2018, 02:32:32 pm
por micabua
Dummy variable o variable ficticia en lógica de primer orden. fafafa 1 1080 Último mensaje 30/05/2018, 08:27:30 am
por Carlos Ivorra
De gramáticas a autómatas a pila Antoniio 2 1211 Último mensaje 23/05/2018, 02:06:03 am
por Antoniio
Hallar máximo, mínimo y supremo de un conjunto. MauroDiaz 1 1474 Último mensaje 03/05/2018, 07:15:32 am
por Luis Fuentes
¿Cómo saber cuando un caso base es válido? Masacroso 4 3033 Último mensaje 26/04/2018, 11:06:54 am
por Masacroso
Problemas entendiendo familias de conjuntos Boqu 2 2986 Último mensaje 10/03/2018, 03:37:09 pm
por Boqu
Diseñar AFND-Epsilon Antoniio 5 3171 Último mensaje 27/02/2018, 03:20:57 pm
por pierrot
Probar Lema de Arden Antoniio 9 3495 Último mensaje 06/02/2018, 03:49:57 pm
por Antoniio
¿Es el siguiente argumento válido? fafafa 4 2536 Ú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 3108 Último mensaje 04/02/2018, 12:40:30 am
por manooooh
Implementar un Algoritmo para cadenas en el alfabeto binario Antoniio 2 2907 Último mensaje 26/01/2018, 04:09:44 pm
por Antoniio
Cómo diseñar un AFD Antoniio 5 2832 Último mensaje 26/01/2018, 09:09:23 am
por pierrot
¿Son equivalentes estos dos predicados? fafafa 9 2619 Último mensaje 14/01/2018, 09:24:03 pm
por argentinator
Páginas: [1] 2 3 ... 7   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!