NetLogo: Procedimientos Anónimos, Iteración en Listas

31 de Octubre de 2016, ha tenido 26 vistas

Etiquetas utilizadas: , , ,

Leer mas »

NetLogo: Conjuntos de Agentes, Procedimientos, Variables y Listas

31 de Octubre de 2016, ha tenido 71 vistas

Etiquetas utilizadas: , , ,

Leer mas »

Usando Patches de NetLogo para modelar Autómatas Celulares

30 de Octubre de 2016, ha tenido 543 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 112 vistas

Etiquetas utilizadas: , , ,

Leer mas »

TC: Conjuntos Recursivamente Enumerables. Indecidibilidad

29 de Octubre de 2016, ha tenido 14 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 »

ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Sistemas Basados en Reglas

7 de Julio de 2015, 3701 vistas

Hay muchos casos en los que podemos resolver situaciones complejas haciendo uso de reglas deterministas, hasta el punto de su uso consigue sistemas automáticos que se comportan como humanos expertos en un dominio particular permitiendo tomar decisiones delicadas, por ejemplo: en sistemas de control de tráfico, transacciones bancarias, o diagnóstico de enfermedades.

Etiquetas utilizadas: , ,

Opinión 141 de Doron Zeilberger

20 de Abril de 2015, 54 vistas

Doron ZeilbergerLa Evolución Biológica no nos preparó para el razonamiento lógico ni para las demostraciones rigurosas y, análogamente, la Evolución Cultural Matemática no nos preparó para usar los ordenadores de forma óptima.

En una bonita y reciente obra maestra (discutida en mi opinión 140 anterior) Zvi Artstein propone, muy convincentemente, que la razón por la que la mayoría de la gente (de hecho, todos nosotros, incluidos los matemáticos profesionales) encuentra las matemáticas tan duras, es porque la evolución biológica no nos preparó para la rigida disciplina de la matemática formal y el razonamiento lógico.

Etiquetas utilizadas: , , ,