Procesos de Markov etiquetados sobre espacios Borel estándar / Pablo Gabriel Celayes.

Por:

Celayes, Pablo Gabriel, 1982-

Colaborador(es):

Detalles de publicación: [S.l. : s.n.], 2006.Descripción: vi, 45 p. : il. ; 30 cmTema(s):

Contenidos parciales:

Teoría de conjuntos descriptiva -- Espacios métricos -- Árboles -- Conjuntos Borel -- Conjuntos analíticos y el Teorema de separación -- Teoría de la medida -- Simulación y bisimulación -- Lógicas modales --Caracterización lógica de la bisimulación.

Nota de disertación: Tesis (Lic.en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2006. Resumen: Revisamos la teoría Labelled Markov Processes,LMP, desarrollada en 99Des, cuyos conceptos más importantes son la relación de bisimulación y su caracterización por una lógica modal simple ele mayor. En dicho trabajo tenían importancia fundamental ciertos resultados de teorías de conjuntos descriptiva, espacios polacos y conjuntos analíticos 95Kec y teoría de la medida lambda pi de Dynkin, 86Bil. Estudiamos en detalle la teoría necesaria para probar estos resultados, logrando un entendimiento más profundo de las razones que llevaron a emplear espacios analíticos como base de la teoría de LMP__ partiendo de las definiciones de 06W-D'A, introducimos el concepto de NLMP, Nondeterministic Labelled Markov Processes y adaptamos el teorema de caracterización lógica de la bisimulación a este tipo de procesos, empleando extensiones apropiadas de ele mayor y trabajando sobre espacios polacos de estados en vez de analíticos.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.

Existencias
Tipo de ítem	Biblioteca actual	Signatura topográfica	Copia número	Estado	Fecha de vencimiento	Código de barras	Reserva de ítems
Trabajo Especial de Grado	FaMAF Secc. Tesis y Trabajos especiales	Trabajo Especial Matemática CAJA 13 - 18589	1	Disponible		18589
Trabajo Especial de Grado	FaMAF Depósito Interno	TE M C392 ej.2	2	Disponible		18590

Total de reservas: 0

Incluye índice.

Tesis (Lic.en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2006.

Bibliografía : p. 43.

Revisamos la teoría Labelled Markov Processes,LMP, desarrollada en 99Des, cuyos conceptos más importantes son la relación de bisimulación y su caracterización por una lógica modal simple ele mayor. En dicho trabajo tenían importancia fundamental ciertos resultados de teorías de conjuntos descriptiva, espacios polacos y conjuntos analíticos 95Kec y teoría de la medida lambda pi de Dynkin, 86Bil. Estudiamos en detalle la teoría necesaria para probar estos resultados, logrando un entendimiento más profundo de las razones que llevaron a emplear espacios analíticos como base de la teoría de LMP__ partiendo de las definiciones de 06W-D'A, introducimos el concepto de NLMP, Nondeterministic Labelled Markov Processes y adaptamos el teorema de caracterización lógica de la bisimulación a este tipo de procesos, empleando extensiones apropiadas de ele mayor y trabajando sobre espacios polacos de estados en vez de analíticos.

Haga clic en una imagen para verla en el visor de imágenes