Resultado de la búsqueda
153 búsqueda de la palabra clave 'Materia = Ciencias: Matemáticas: Lógica simbólica y matemática'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprime la página de búsqueda actual...](./images/print.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
texto impreso
Este trabajo pretende resaltar la importancia de la estructura lógica dentro del método científico, señalando que con frecuencia se hace tanto hincapié en el peso de la observación para garantizar la objetividad del método, que llega a pasar des[...]![]()
texto impreso
En la primera parte de la memoria se presenta una logica computacional, que es una logica de predicados con igualdad extendida con polimorfismo y recursion, junto con un sistema de deduccion natural, para esta logica se da una definicion precisa[...]![]()
texto impreso
Palomino Palomino, Mª Pilar | 2009Este trabajo describe un algoritmo para estimar parámetros importantes para la gestión de masas forestales, mediante el posicionamiento de los árboles la medición automática de sus dimensiones partiendo de imágenes LiDAR. Este trabajo se basa en[...]![]()
texto impreso
El presente trabajo da cuenta del estudio sobre las opiniones de los profesores, de la Facultad de Trabajo Social en la Universidad Complutense de Madrid (UCM) y de otras universidades españolas, sobre las competencias profesionales para el Trab[...]![]()
texto impreso
Díaz Agrela, Diana | 2009Ante la dificultad que existe para la correcta determinación de un ejemplar concreto de cualquiera de las múltiples especies de plantas existentes, se ha investigado la utilización de un instrumento novedoso, la teoría de conjuntos borrosos y el[...]![]()
texto impreso
Martín Bonilla, Raúl | 2011Este trabajo estudia la sostenibilidad medioambiental, económica, social y global de proyectos a partir de factores, muchos de ellos imprecisos, por lo que utiliza técnicas de “softcomputing” y lógica borrosa para modelarlos y medir su impacto. [...]![]()
texto impreso
Martín de la Calle, Pedro Jesús | Universidad Complutense de Madrid, Servicio de Publicaciones | 2000Las tesis presenta sistemas de tableaux para tres extensiones de la lógica de primer orden. En cada una de ellas se estudian métodos de tableaux correctos y completos en dos versiones: básica y de variables libre. La primera es una Lógica con Pr[...]![]()
texto impreso
Las técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos niveles; en el primero se incluyen las técnicas consistentes en el desarrollo de modelos formales del sistema y en el segundo las técnicas que real[...]![]()
texto impreso
En este artículo se presentan los resultados de una experiencia realizada con dos grupos de alumnos,uno de Ciencias Sociales y otro de Ciencias Matemáticas, con la finalidad de observar las posibles disimilitudes en la percepción y uso de difere[...]![]()
texto impreso
En este trabajo se propone un algoritmo de clasificación no supervisada y jerárquica sobre un conjunto de objetos modelizados mediante un grafo. La salida de este algoritmo muestra la evolución de cómo los grupos se van rompiendo en la red de ma[...]![]()
texto impreso
Consistencia y estabilidad en operadores de agregación: Una aplicación al problema de datos perdidos
Gómez, Daniel ; Rojas, Karina ; Montero, Javier ; Rodríguez, Juan Tinguaro ; Beliakov, G. | Universidad de Zaragoza | 2014En este trabajo se analiza una cuestión clave respecto de la relación que debe existir entre operadores de una misma familia de operadores de agregación (FAO) {An}, a fin de comprender que ellos deben definir adecuadamente un todo consistente. S[...]![]()
texto impreso
El objeto de este proyecto es el desarrollo de un entorno para inyectar errores en una FPGA, en este caso del modelo Virtex II Pro? y así evaluar el posible impacto que pueden tener las alteraciones en la memoria de configuración de un dispositi[...]![]()
texto impreso
![]()
texto impreso