255
Reputación
Reputación
Nombre : Tarc
Miembro desde : 21 de Agosto, 2017
Tarc es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 1 votos
Corrección de la representación DNF de XOR
el 13 de Marzo, 2019 1 votos - 1 votos
¿Este teorema para las bases también es válido para las subbases?
el 30 de Agosto, 2015 1 votos - 2 votos
En la definición de un filtro: ¿No es$\emptyset$ un subconjunto de cualquier conjunto?
el 5 de Agosto, 2015 2 votos - 0 votos
Mostrar$(a,b)$ está conectado usando$(a,b]$ está conectado
el 7 de Septiembre, 2015 0 votos - 2 votos
Cómo mostrar$(\exists x)( \forall y)\varphi\rightarrow( \forall y)(\exists x)\varphi $ es lógicamente válido
el 23 de Noviembre, 2018 2 votos - 0 votos
¿Por qué son esenciales para Henkin-pruebas de integridad máximas conjuntos coherentes?
el 24 de Septiembre, 2015 0 votos - 5 votos
¿Se puede incrustar un anillo booleano sin unidad en un anillo booleano?
el 15 de Agosto, 2014 5 votos
Etiquetas favoritas
- 2 x boolean-algebra
- 2 x lógica
- 1 x abstract-algebra
- 1 x ring-teoría
- 1 x predicate-lógica
- 1 x general-topología
- 1 x elementary-conjunto-teórico
