PiBase: Topology
Contén anuncios
100+
Descargas
Todos
info
Acerca desta aplicación
π-Base Topology é unha base de datos comunitaria de contraexemplos topolóxicos.
A base de datos ten:
- Espazos Topolóxicos
- Teoremas topolóxicos.
- Propiedades topolóxicas.
- Referencias (Libros, Artigos, Foros).
Información dentro da aplicación:
- Descrición de espazos, teoremas e propiedades.
- Propiedades que son (e non) satisfeitas por un espazo determinado.
- Conversas de teoremas para os que un espazo dado é un contraexemplo.
- Dada unha propiedade, que espazos satisfacen e non.
- Contraexemplos para a inversa dun teorema dado. Se a inversa é verdadeira, dáse unha proba ou referencia.
- Espazos que satisfacen unha determinada fórmula lóxica formada con propiedades (busca por fórmula).
- Referencias.
A base de datos ten:
- Espazos Topolóxicos
- Teoremas topolóxicos.
- Propiedades topolóxicas.
- Referencias (Libros, Artigos, Foros).
Información dentro da aplicación:
- Descrición de espazos, teoremas e propiedades.
- Propiedades que son (e non) satisfeitas por un espazo determinado.
- Conversas de teoremas para os que un espazo dado é un contraexemplo.
- Dada unha propiedade, que espazos satisfacen e non.
- Contraexemplos para a inversa dun teorema dado. Se a inversa é verdadeira, dáse unha proba ou referencia.
- Espazos que satisfacen unha determinada fórmula lóxica formada con propiedades (busca por fórmula).
- Referencias.
Última actualización
A seguranza pasa por entender como recompilan e comparten os teus datos os programadores. As prácticas relacionadas coa seguranza e a privacidade dos datos utilizadas poden variar en función do uso, a rexión e a idade. O programador facilitou esta información e pode modificala co paso do tempo.
Novidades
Bug fixes!
Servizo de asistencia da aplicación
Acerca do programador
FELIPE CRUZ VASQUEZ
felipecruzv10@gmail.com
Cra. 7b #135-77 Apto. 202
Bogotá, 110121
Colombia
undefined
