Usando Patches de NetLogo para modelar Autómatas Celulares

30 de Octubre de 2016, ha tenido 469 vistas

Gracias a la similitud existente entre la distribución topológica de los patches que forman el mundo bidimensional de NetLogo y la distribución de las celdas de un autómata celular 2D, nos centraremos en esta entrada en analizar la forma más sencilla y directa de modelar un autómata celular 2D haciendo uso de patches.

Etiquetas utilizadas: , ,

Leer mas »

NetLogo: Conceptos Básicos

29 de Octubre de 2016, ha tenido 58 vistas

Etiquetas utilizadas: , , ,

Leer mas »

TC: Conjuntos Recursivamente Enumerables. Indecidibilidad

29 de Octubre de 2016, ha tenido 5 vistas

Se presentan en este capítulo los conjuntos recursivamente enumerables, y se estudian los primeros casos de separación entre éstos y los conjuntos recursivos por medio del problema de la parada y el Teorema de Rice.

Etiquetas utilizadas: , , ,

Leer mas »

TC: Funciones Recursivas

27 de Octubre de 2016, ha tenido 12 vistas

Comenzaremos presentando tres procedimientos de definición de funciones. Intuitivamente, resultará evidente que si las funciones que se toman de partida para cada procedimiento son computables entonces también lo es la nueva función obtenida (más adelante daremos una prueba de ello). Después pasaremos a comprobar que las funciones computables coinciden con las GOTO-computables demostrando para ello el Teorema de la Forma Normal y proporcionando un programa universal en GOTO.

Etiquetas utilizadas: , , ,

Leer mas »

TC: Programas y Funciones Computables

27 de Octubre de 2016, ha tenido 11 vistas

Como ya comentamos en el capítulo anterior, para abordar cuestiones acerca de la computabilidad necesitamos elegir un modelo de computación, que nos permita precisar lo que entendemos por procedimiento efectivo o algoritmo. De esta forma, los algoritmos estarán bien definidos y, por tanto, serán susceptibles de ser estudiados en Matemáticas como cualquier otra teoría. En general, la expresión formal de un algoritmo en un modelo concreto se denomina programa, si el modelo está basado en un lenguaje de programación, o máquina, si el modelo es una representación formal orientada a un tipo especial de procedimiento mecánico, en el que se hace referencia explícita a la gestión de la memoria de trabajo donde se almacenan datos.

Etiquetas utilizadas: , , ,

Leer mas »

ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Un secreto de pasillo

20 de Febrero de 2016, 319 vistas

En el mundo universitario hay un secreto que todos conocemos pero que nadie enuncia públicamente. Sí, se comenta en los pasillos, en las cafeterías, en la puerta de las facultades cuando llega la hora de volver a casa, incluso en las calles de la ciudad o en los bares de la zona cuando te cruzas con otros profesores universitarios.

Etiquetas utilizadas: ,

Seminario (I+A)A ... Nueva Temporada

8 de Marzo de 2017, 128 vistas

Da comienzo la segunda temporada del Seminario (I+A)A (Inteligencia Artificial + Aprendizaje Automático) del Dpto. de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Debido al éxito que está teniendo este área de investigación, este año nos trasladamos y haremos las sesiones en el aula A0.30 de la E.T.S. Ingeniería Informática.

Puedes encontrar más información en la página del seminario.

Etiquetas utilizadas: , ,