Академический Документы
Профессиональный Документы
Культура Документы
El pensamiento computacional
El pensamiento computacional est tomando un enfoque para resolver problemas ,
disear
sistemas y comprender el comportamiento humano que se basa en conceptos
fundamentales
a computing1 (Wing 2006) .
El pensamiento computacional es un tipo de pensamiento analtico. Comparte con
pensamiento matemtico en las formas generales en las que podramos abordar la
solucin de un
problema. Que comparte con el pensamiento de ingeniera en las formas generales
en las que nos
podra acercarse a diseo y evaluacin de un sistema grande y complejo que opera
dentro de las limitaciones del mundo real. Que comparte con el pensamiento cient
fi co en el
formas generales en las que podramos abordar la comprensin de la
computabilidad ,
la inteligencia , la mente y el comportamiento humano .
( A) Computing: la abstraccin y automatizacin
La esencia del pensamiento computacional es la abstraccin. En informtica , se
prescinde
nociones ms all de las dimensiones fsicas del tiempo y el espacio . Nuestros
abstracciones son
extremadamente general , ya que son simblicas , donde abstracciones numricas
son slo
caso especial.
De dos maneras , nuestras abstracciones tienden a ser ms rico y ms complejo
que los de
las ciencias matemticas y fsicas. En primer lugar, nuestras abstracciones no
necesariamente
disfrutar de la limpia , elegante o facilidad de fi propiedades algebraicas definibles
de matemtica
abstracciones, como nmeros o conjuntos reales, del mundo fsico. Por ejemplo, una
pila de elementos es un tipo abstracto de datos comn utilizado en informtica. No
lo haramos
pensar "aadir" dos pilas como nos hubiera dos enteros. Un algoritmo es una
abstraccin
de un procedimiento paso a paso para la toma de entrada y producir una salida
deseada.
Qu significa "intercalar" dos algoritmos, tal vez para e fi ciente en paralelo
tratamiento? Un lenguaje de programacin es una abstraccin de un conjunto de
cadenas, cada una de
que cuando los efectos interpretados algn clculo. Qu significa 'combinar'
dos lenguajes de programacin? Estos tipos de combinadores son en s mismos
abstracciones que tienen una cuidadosa reflexin, tal vez toda una agenda de
investigacin, a
de fi ne. En segundo lugar, porque nuestras abstracciones se implementan en
ltima instancia a trabajar
dentro de las limitaciones del mundo fsico, hay que preocuparse de los casos lmite
y
casos de fracaso. Qu ocurre cuando el disco est lleno o el servidor no est
respondiendo?
Qu ocurre cuando un programa se encuentra en tiempo de ejecucin de un error
que debe tener
sido capturados en tiempo de compilacin? Cmo podemos llegar a un robot para
moverse por un pasillo
sin toparse con la gente?
En el trabajo con abstracciones ricos, de fi nir la abstraccin "derecho" es crtica.
tener xito en la sociedad moderna. Por lo tanto, vamos a centrarnos esta cuestin
en la primaria
a travs de los niveles de secundaria de la educacin. De hecho, si queremos
garantizar un comn
y la slida base de la comprensin y la aplicacin del pensamiento computacional
para todos,
a continuacin, este aprendizaje mejor debe hacerse en los primeros aos de la
infancia.
Planteo lo siguiente como un desafo a la ciencia de la computacin, ciencias de
aprendizaje
y comunidades educativas.
Desafiar no. 1. Cules son formas eficaces de aprendizaje computacional
(enseanza)
pensar por (a) los nios?
Esta pregunta plantea cuestiones ms fundamentales:
Cules son los conceptos elementales del pensamiento computacional? Los
educadores de
la computacin han respondido y siguen responder a esta pregunta mediante la
creacin de
cursos, por lo general para fi estudiantes de primer ao, que se centran en los
principios
de computacin en lugar de slo en las habilidades de programacin informtica. A
medida que el campo de la
la informtica sigue madurando, vale la pena volver a visitar esta pregunta de
nuevo, con una
especfico enfoque en aos anteriores.
Por otra parte, vale la pena volver a examinar esta cuestin en colaboracin con
estudiosos de
aprendizaje de la ciencia y la educacin. Por ejemplo, lo que, en su caso, de
cmputo
conceptos de pensamiento son tan innata de la cognicin humana como es la
matemtica
concepto de los nmeros? La visin humana es el procesamiento en paralelo. Qu
hacer tareas que la mayora
naturalmente, hacer o aprender a hacer frente de forma paralela secuencialmente?
experiencia de los nios
nociones de lo infinito y recursividad travs de las matemticas y el lenguaje;
denominacin y
la enseanza de estos conceptos fundamentales desde el principio en contextos
formales de aprendizaje hara
proporcionar bloques de construccin de gran alcance para el pensamiento
computacional.
Lo que sera una ordenacin efectiva de los conceptos en la enseanza de los nios
como su
la capacidad de aprendizaje progresa con los aos? Por analoga, enseamos a los
nmeros
los nios de jardn de infancia (a los 5 aos de edad), el lgebra en la secundaria
(12
aos de edad) y el clculo de los altos altos (18 aos). Puede haber muchos
posibles
formas de estructurar la progresin de los conceptos de pensamiento
computacional; cual es
el ms eficaz para el tipo de alumno?
Cul es la mejor deberamos integrar la herramienta con la enseanza de los
conceptos? Aqu y
a partir de ahora, vamos a la herramienta 'significa que la mquina de computacin
(una herramienta en particular' metales '
2. Pensando en computacin
El campo de la informtica es impulsado por cuestiones cientfico, la innovacin
tecnolgica
y demandas de la sociedad. Me recordarnos este punto por dos razones. En primer
lugar, en nuestro campo,
estamos a menudo tan arrastrado por nuestros avances tecnolgicos o las
expectativas sociales
que olvidamos que hay profundas cuestiones cient fi cas que subyacen en nuestro
campo.
En segundo lugar, para otros fuera de la computacin, es importante explicar que la
peso de cada uno, y por otra parte la combinacin de los tres conductores en la
ciencia,
la tecnologa y la sociedad, hacer que nuestro campo nico, de hecho distintivo de
otra
ciencias, las matemticas y la ingeniera. Por qu no celebrar esta distincin?
Por otra parte, como se muestra por las flechas bidireccionales en la fi gura 1, all es
maravillosa
juego-de empuje y de traccin entre estos tres pilotos: en el bucle de costumbre, la
Ciencia
descubrimiento alimenta la innovacin tecnolgica, que se alimenta nuevas
aplicaciones sociales;
en la direccin inversa, la nueva tecnologa inspira nuevos usos sociales creativas,
que
pueden exigir nuevo descubrimiento cientfico. Un ejemplo de cmo la sociedad
demanda nueva
la ciencia: la propagacin de nuestra propia maquinaria informtica y las
comunicaciones, desde
los centros de datos de mega de decenas de miles de servidores a miles de millones
de telfonos mviles,
requiere nuevos avances en la ciencia de utilizar la energa ms eficientemente fi.
Un ejemplo de
cmo la sociedad exige nuevas tecnologas: el deseo de una mayor fi delidad y ms
entornos virtuales realistas es el esfuerzo de nuestra capacidad de red en tiempo
real
la transmisin simultnea de mltiples elementos multimedia (audio, vdeo y texto)
de datos
arroyos. Otro ejemplo de la tecnologa de traccin es como un deseo social
fundamental
de expresar la propia identidad y conectarse con otras personas con ideas afines
llev a la unanticipado y el rpido aumento de las redes sociales, como Facebook, MySpace y
YouTube, que a su vez aade una nueva industria para nuestra economa.
Nuestro campo anticipa ms natural tendencias de la tecnologa y la abraza
El pensamiento computacional
3723
mquinas de arquitectura; el reto es entender cmo programarlos para
utilizar su capacidad de procesamiento paralelo de manera eficaz.
Ms all de silicio, nos fijamos en nanocomputacin, bioinformtica e incluso
cuntica
informtica. En cierto sentido, ya han llegado. Nano est aqu: IBM (2006)
anunci que sus investigadores haban construido el primer circuito integrado fi
completa
alrededor de una molcula de nanotubo de carbono solo. Bio est aqu: Adleman
(1994) resuelto
el problema de siete puntos camino de Hamilton con la computacin ADN;
Benenson et al.
(2004) describieron en la naturaleza de la construccin de un equipo de ADN.
Estamos ahora
la construccin de mquinas moleculares. Quantum est llegando? El suizo
(Messmer 2007)
usar la criptografa cuntica para asegurar sus votos en sus elecciones. El diseo de
nanocomputadoras y computadoras inspiradas en la biologa ya debe tener en
cuenta
por ejemplo, los efectos cunticos (Heller et al., 2005).
A nivel de dispositivo, Strukov et al. (2008) anunci que puedan crear una
memristor (Chua 1971), el cuarto elemento que falta junto con el resistor,
condensador y el inductor. A escalas ms grandes, vemos un creciente uso de
telfonos mviles,
etiquetas de radiofrecuencia identi fi cacin, sensores, actuadores y robots.
nuestros automviles
se atan con ordenadores integrados: un BMW es 'ahora en realidad una red de
los equipos de los Economist (2007).
En cuanto a los datos, nos estamos ahogando en datos (cf. 1b). Los sensores estn
en todas partes,
el almacenamiento es barato y estamos en un constante estado de sobrecarga de
informacin.
En trminos de comunicacin, Web 3.0 o Web Semntica es un rea activa de
investigacin. Veremos mundos virtuales ms sofisticadas; Second Life es hoy
Mosaico. Los cientficos e ingenieros del maana llevarn a cabo su trabajo
a travs de organizaciones virtuales, facilitando la colaboracin internacional.
En trminos de largo alcance mquinas de ltima tecnologa, las personas aspiran a
construir mquinas
que el modelo del cerebro humano. El proyecto (2005) Blue Brain objetivos de IBM y
EPFL
Ala (2008) present cinco preguntas profundas '' en la informtica, como una
manera de recordar
nosotros mismos que hay retos cient fi cos que subyacen en nuestra investigacin
individual
actividades o innovaciones en la tecnologa. Repito este conjunto (es decir, hay un
orden implcito)
de preguntas para el mayor abundamiento en el presente documento. Este conjunto
est destinado a ser una
Punto de partida, con nuevas preguntas agregadas por toda la comunidad.
-
El P igual a NP?
Qu es computable?
Qu es la inteligencia?
Cul es la informacin?
(Cmo) podemos construir sistemas complejos en forma sencilla?
Cerrando cuestin. Teniendo en cuenta (i) la filosofa de 1a, que dice que
computacional
pensamiento cional es informado por nuestro deseo de automatizar las
abstracciones, donde el
computadora puede ser humano y / o de la mquina, y (ii) las tendencias
tecnolgicas
esbozado en 2A, que prueban la adecuacin de la teora y de la informacin de
Shannon
Turing mquina que el modelo fundamental de la computacin, que incluso podra
pedir
la pregunta ms bsica de todas: qu es un ordenador?
Doy las gracias a las muchas personas que leen mis Comunicaciones de la ACM
punto de vista de marzo de 2006 o
hablado: el pensamiento computacional. El gran apoyo de todo el mundo ha sido
gratificante. Tambin quiero agradecer a mis colegas en la Universidad Carnegie
Mellon y Microsoft Research, que desde el principio
apoyado mi visin de hacer un lugar comn el pensamiento computacional, y mis
colegas en el
Fundacin Nacional de Ciencias que han ayudado a afinar y profundizar las ideas
detrs de esta visin.
Este artculo se basa en un trabajo parcialmente financiado por la Fundacin
Nacional de Ciencia, mientras
trabajando en la Fundacin. Cualquier opinin, hallazgo y conclusiones o
recomendaciones expresadas
en este material son las del autor y no reflejan necesariamente los puntos de vista
de la Nacional
Science Foundation.
referencias
Abraham, D., Blum, A. y Sandholm, T. 2007 algoritmos de compensacin para los
mercados de trueque:
que permitan el intercambio de rin en todo el pas. En Proc. 8 de ACM Conf. sobre
el comercio electrnico,
pp. 295-304. Nueva York, NY: Association for Computing Machinery.
Adleman, L. M. 1994 Molecular clculo de soluciones a los problemas combinatorios.
Science 266,
1021-1024. (Doi: 10.1126 / science.7973651)
Benenson, Y., Gil, B., Ben-Dor, U., Adar, R. & Shapiro, 2004 E. Una molecular
autnoma
equipo para el control lgico de la expresin gnica. Naturaleza 429, 423-429. (Doi:
10.1038 / nature02551)
Proyecto Blue Brain 2005 Ver http: //bluebrain.ep fl ch /..
El pensamiento computacional
3725
The Economist 2007 Presupuesto de R. Achatz, Seimens, de 'calienta motores'. The
Economist, 11 de Octubre
2007.
Engadget 2006 Ver http://www.engadget.com/2007/09/19/gordon-moore-predictsend-to-mooresley-en-aos-10 /.
Fisher, J. & Henzinger, T. A. 2007 biologa celular ejecutable. Nat. Biotechnol. 25,
1239-1249. (Doi: 10.
1038 / nbt1356)
Heller, M. J., Sullivan, B. & Dehling, D. 2005 Fabricacin de transferencia de ADNQuantum Dot fotnico
nanoestructuras. En Proc tcnica. 2005 -NCTS- Conferencia y Exposicin de
Nanotecnologa,
vol. 1, cap. 12, pp. 769-772.
IBM 2006 Ver
http://domino.watson.ibm.com/comm/pr.nsf/pages/news.20060324_carbonnanotube.html.
Departamento de Aprendizaje de Mquinas 2008 Proyectos de investigacin pgina
principal de la Universidad Carnegie Mellon. Ver
http://www.ml.cmu.edu/research/index.html.
Messmer, E. 2007 La criptografa cuntica para asegurar los votos en las elecciones
suizo. Red Mundial, 11
Octubre de 2007. Ver http://www.networkworld.com/news/2007/101007-quantumcryptographysecure-ballots.html.
Numenta 2005 Ver http://www.numenta.com.
Strukov, D. B., Snider, G. S., Stewart, D. R. & Williams, R. S. 2008 El memristor que
falta encontrar.
Naturaleza 453, 80-83. (Doi: 10.1038 / nature06932)
Ala, J. M. 2006 El pensamiento computacional. Commun. ACM 49, 33-35.
Ala, J. M. 2008 Cinco preguntas profundas en la informtica. Commun. ACM 51, 5860. (Doi: 10.1145 /
1327452.1327479)