Iraupen luzeko irakasleriaren garapenaren inpaktu-mailak: kontzepzioetan, hezkuntza hurbilketan eta kultura instituzionalean

[EUS]Unibertsitateko irakasleriaren garapenaren(IG) kontzeptu konprentsibotik abiatuta, doktorego tesi honek iraupen luzeko IG programen inpaktua du aztergai, bai maila indibidualean (kontzepzio eta hurbilketan) eta baita maila organizazional zein instituzionalean ere. Azterketa hau burutzeko metodologia aktiboen (arazoetan, proiektuetan eta kasuetan oinarritutako ikaskuntza) ERAGIN programaren lehendabiziko promozioa hartuko da kasu gisa. Iraupen luzeko estrategiaren (350 ordu) bidez eta ko-mentoria taldeen funtzionamenduan oinarrituz, ikerlan enpirikoak IG-ak irakasleriaren ikas-irakaskuntza kontzepzioetan eta hurbilketan izandako inpaktuaz ageriko ebidentziak ematen ditu, baina baita ikas-irakaskuntzaren inguruan ikertzeko (scholarship of teaching and learning) eta irakaskuntza eremuetan liderra izateko gaitasunaz ere. Honako alderdiok aldaketa organizazionalean murgiltzen gaituzte eta curriculum hibridoaren pausokako gauzapenaren alde lan egiten dute.

Gorputz hezkuntzaren metodologien garapena: irakaskuntza estiloetatik eredu pedagogikoetara

94 orr

Los programas While: bases para una teoría de la computabilidad

La Teoría de la Computabilidad estudia los límites teóricos de los sistemas computacionales. Uno de sus objetivos centrales consiste en clasificar los problemas en computables e incomputables, donde llamamos computable a un problema si admite solución informática. Para desarrollar estos resultados el modelo abstracto de computador más utilizado históricamente es la Máquina de Turing. Los estudiantes de Ingeniería Informática pueden percibir cierta lejanía entre el modelo teórico y los computadores reales por lo que es más adecuado utilizar un modelo más cercano a la programación como son los programas-while. Los Programas-while permiten resolver los mismos problemas que las máquinas de Turing, pero en cambio son mucho más sencillos de utilizar, sobre todo para personas que tienen una experiencia previa en la informática real, pues toman la forma de lenguaje imperativo clásico. Este texto además utiliza los Programas-while aprovechando sus ventajas y reformulándolos de manera que la computación quede definida en términos de manipulación de símbolos arbitrarios, algo que está mucho más en concordancia con la realidad informática. Además de explicar en detalle qué son los programas while y cómo se utilizan, se justifica por qué no es necesario incorporar otras instrucciones o tipos de datos.

While programak: konputagarritasun teoria oinarritzeko tresna

Konputagarritasun Teoriaren asmoa sistema konputazionalen muga teorikoak aztertzea da. Bere helburu nagusia problemak konputagarri eta konputaezinen artean bereiztea da, problema konputagarria ebazpide informatikoa onartzen duenari deitzen diogula kontuan hartuta. Emaitza horiek garatzeko konputagailu eredu abstraktu erabiliena, historikoki, Turing-en Makina izan da. Ingeniaritza Informatikoko ikasleek eredu abstraktuaren eta konputagailu errealen artean distantzia dagoela nabari dezakete, horregatik programaziotik hurbilago dagoen eredu bat erabiltzea egokiagoa da, while programak hain zuzen ere. While programekin Turingen makinekin ebazten diren problema berak ebazten dira. Aldiz, while programak erabiltzen askoz errazagoak dira, batez ere aurretik informatika errealean esperientzia duten pertsonentzat, lengoaia agintzaile klasikoen programen itxura hartzen baitute. Testu honek while programak erabiltzen ditu, behar denean hauek birformulatuz eta beraien abantailak aprobetxatuz, konputazioa sinbolo arbitrarioen manipulazioaren baitan definituta gera dadin. Horrela, errealitate informatikotik askoz hurbilagoa egongo da. While programak zer diren eta nola erabiltzen diren zehaztasunez azaltzen da, eta gainera, beste agindu edo datu-mota batzuk gehitzea zergatik ez den beharrezkoa justifikatzen da.

Algunas demostraciones de incomputabilidad usando la técnica de diagonalización

Los supuestos fundamentales de la Teoría de la Computabilidad se establecieron antes de la aparición de los primeros ordenadores (a finales de los años 40), supuestos que muchos años de vertiginoso cambio no han conseguido alterar. Alan Mathison Turing demostró ya entonces que ningún ordenador, por muy potente que lo imaginemos, podría resolver algunas cuestiones. Estos problemas para los que no existe ningún algoritmo posible, los incomputables, no son excepcionales y hay un gran número de ellos entre los problemas que se plantean en torno al comportamiento de los programas. El problema de parada, es sin duda el miembro más conocido de esta familia: no existe un algoritmo para decidir con carácter general si un programa ciclará o no al recibir unos datos de entrada concretos. Para demostrar la incomputabilidad de un problema necesitamos un argumento lógico que certifique la inexistencia de algoritmo, o lo que es lo mismo, que pruebe que ninguno de los algoritmos existentes es capaz de resolver dicho problema. Tal argumento de carácter universal no suele ser sencillo de establecer, y normalmente suele estar relacionado con una demostración por reducción al absurdo. Existen distintas técnicas para lograr este objetivo. La técnica de diagonalización es la más básica de ellas, y resulta bastante conocida al no tratarse de una herramienta específica de la Informática Teórica. En este documento no se trata de explicar la técnica en sí, que se supone conocida, sino de ilustrarla con una colección de ejemplos de diferente grado de dificultad.

Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz

Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia handienekoa imajinatuta ere, inolako ordenadorek ebatzi ezingo zituen zenbait gai edo arazo bazeudela. Balizko algoritmorik ez duten problema horiek, konputaezinak deitzen ditugunak, ez dira salbuespenak eta adibide ugari aurki dezakegu. Programen portaeraren inguruan planteatzen diren problemen artean, asko konputaezinak dira. Familia horretako kide ezagunena, zalantzarik gabe, geratze problema da: sarrerako datu zehatz batzuk hartzerakoan, programa bat begizta infinituan geratuko ote den era orokorrean erabakitzeko algoritmorik ez dago. Problema baten konputaezintasuna frogatzeko, hau ebatziko duen algoritmo zehatz bat existitzen ez dela ziurtatuko duen argumentu logikoa behar dugu, edo beste era batera esanda, existitzen diren algoritmoak problema hori ebazteko gai izango ez direla egiaztatuko duen argumentua. Izaera unibertsaleko argumentu hori ezartzea ez da batere erraza izaten, eta normalean, absurduraino eramandako frogapen batekin erlazionatuta egon ohi da. Helburu hori lortzeko zenbait teknika daude. Diagonalizazioaren teknika horien artean oinarrizkoena da, eta nahiko ezaguna, ez baita Informatika Teorikoaren tresna espezifikoa. Dokumentu honen helburua ez da teknika bera azaldu edo deskribatzea, ezaguntzat hartzen baita, zailtasun maila desberdineko hainbat adibideren bitartez argitzea baizik.

Técnicas básicas de computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Frente a las disciplinas y técnicas que día a día amplían el campo de aplicabilidad práctica de los computadores, esta teoría establece una serie de barreras insalvables por ninguna tecnología digital de procesamiento de la información. Los métodos propios de la Teoría de la Computabilidad pueden ser extraordinariamente complejos, sin embargo, existe un núcleo de resultados fundamentales que son abordables mediante técnicas más asequibles, y que tienen la virtud de reflejar razonablemente el concepto central de indecidibilidad computacional. Este informe incluye una descripción de los conceptos y técnicas que configuran ese núcleo básico de la Teoría. Su propósito es dar cuenta de la primera batería de resultados relacionados con la incomputabilidad de algunos problemas conocidos y relevantes en Informática. Los resultados se presentan utilizando como estándar de programación los programas-while, incluyéndose una explicación detallada y sistemática de la técnica de Diagonalización, además de resultados tan importantes como la tesis de Church-Turing, la función universal o el problema de parada.

El método de reducción en Teoría de la Computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Estos resultados proporcionan importantes herramientas que se utilizan para demostrar tanto la computabilidad como la incomputabilidad de muchas funciones relevantes. Los primeros problemas incomputables que se encontraron lo fueron allá por la década de los años 30. El problema de parada es el primer y más conocido ejemplo de problema no resoluble mediante técnicas algorítmicas: ningún ordenador, por muy potente que sea, puede anticipar el comportamiento de los programas en ejecución, y decidir de antemano si terminarán o no. Este problema nos proporciona un soporte intuitivo para anticipar la incomputabilidad de otros problemas relacionados y un procedimiento para resolverlos: el método de diagonalización. Sin embargo para determinados problemas también incomputables hay que recurrir a otros métodos. Este texto incluye una descripción de otra técnica básica de Teoría de la Computabilidad: la Reducción. La base del método estriba en demostrar que ciertos pares de problemas están fuertemente relacionados de modo que si el segundo tiene solución algorítmica entonces el primero debe tenerla necesariamente también. Esta relación se establece por medio de funciones transformadoras computables, que permiten convertir de manera automática las instancias positivas del primer problema en instancias positivas del segundo. Esta técnica se utiliza muy a menudo porque resulta comparativamente más sencilla que la diagonalización, ya que en general requiere menos esfuerzo para demostrar la incomputabilidad de un mismo problema.

Lanbide heziketako irakasleen prestakuntza konpetentziak garatzeko metodologietan: Ikaskuntza Agertoki Berriak esperientziaren azterketa

[EU]XX. mendearen azken bi hamarkadetatik hona jendartean gertatu diren aldaketek, Lanbide Heziketaren (lan merkatura bideratzeko langileen prestakuntza oinarri duen heziketaren epe gisara ulertuta) planteamendua birpentsatu beharra ekarri dute. Dinamikoa eta aldakorra den jendarte honetan, Lanbide Heziketari bere hezkuntza jardueraren gaineko gogoeta egin beharra suertatu zaio, eta baita zer eta nola irakatsi lanbidea garatzea helburu duten ikasleei bezalako galderei erantzuna eman ere. Ingurumari honetan konpetentzia kontzeptua eta haren inguruko esperientziak eta metodoak garatu dira hala nazioartean nola Euskal Herrian. Master Bukaerako lan honetan Lanbide Heziketan aurrera eraman den irakasleen etengabeko prestakuntza programa baten azterketa egin dugu. Horretarako, berrikuntza eta kalitatea sustatzeko zeregina duen Tknika zentroak zuzendu eta gidatutako Ikaskuntza Agertoki Berriak prestakuntza programan parte hartu duen Tolosaldeko Lanbide Institutua aukeratu dugu, kasu azterketaren ikuspegia erabiliz. Azken xedea, laburki, irakasleei konpetentzietan oinarritutako ikaskuntza aukera didaktikoak eskaini eta haiei buruzko gogoeta egitea da, gero praktikara eraman ditzaten. Gure ikerlanaren helburua, berriz, programa horren asmoak praktikan nola ebazten eta gauzatzen diren ikustea da, prozesuan engaiatuta dauden pertsonen bizipenetatik abiatuta. Hurbilketa kualitatibo eta interpretatibo honetatik lau irakasle elkarrizketatu ditugu eta haien igurikapen, kezka eta bestelakoak jasotzen saiatu gara. Ondorio nagusienak, honakoak: (i) konpetentzien bidezko irakaskuntza-ikaskuntzaren potentziala oso nabarmena dela ikusten dutela elkarrizketatuek, (ii) gogo eta motibazio handia dutela, (iii), ikastetxean, euren egunerokoan, zailtasun eta oztopo andana topatzen dutela, (iv) zailtasunak kasu batzuetan metodologia berari dagozkion arren beste askotan ikasleak eurek ez dutela aldaketarako borondate handirik atzematen da.

Deímata kaì phoboi: la pesadilla en la antigua Grecia

337 p.

Towards intelligent aquaculture. Development of an early Biological Warning System to monitor exposure to contaminants and fish welfare: from artificial vision to systems modelling

161 p.

Barrenetik mintzora: euskararen erabilera sustatzeko proposamena haur hezkuntzan

100 p. -- E-mail del autor: unaiballesteros@gmail.com

Gorputz hezkuntzan egindako trebetasun sozialen inguruko behaketa

50 p. -- E-mail de la autora: amaiasilvo24@gmail.com

Instalazio elektriko adimentsu baten proiektua, autokontsumorako sorkuntza elektrikoarekin, industriako nabe batentzat

Proiektuaren helburua Irulezo enpresaren instalazio elektrikoa eraberritzea da. Egungo behe tentsioko koadro nagusia “smart panel” batetan bilakatuko da, bere kokapena beheko pisuko biltegitik jangelara pasaraziz. Horrela, jangelan behe tentsioko koadro berri bat sortuko da, gaur egun dagoen bigarren mailako koadroa integratuz eta ordezkatuz.

Gorputz adierazpena genero-rolekin apurtzeko. Saiakera bat

64 p. : il. - E-mail de la autora: maddijuaristi@gmail.com