Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Métodos del análisis no-estandar en la Teoría de Modelos Finitos

Autor
Arratia, A.; Ortiz, C.
Tipus d'activitat
Article en revista
Revista
Acta científica venezolana
Data de publicació
2001
Volum
52
Número
2s
Pàgina inicial
2
Pàgina final
4
URL
http://acta.ivic.gob.ve/52-2s/indgen.pdf Obrir en finestra nova
Resum
Se expone un plan para demostrar, utilizando Analisis No-estandar, si la clase de conjuntos cuya cardinalidad se descompone en un número par de factores primos distintos, no es definible en la logica de primer orden con predicados para el orden lineal, las operaciones de adicion multiplicacion y exoneracion en base 2, restringiendonos a modelos finitos.
Paraules clau
Analisis No-estandar, Teoría de Modelos Finitos, definibilidad
Grup de recerca
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

Participants