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.

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.

Gorputz hezkuntzan egindako trebetasun sozialen inguruko behaketa

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

Farmazeutikoaren kontzientzia-eragozpena

2015eko ekainaren 25ean, Konstituzio Auzitegiak (KA aurrerantzean) farmazeutiko baten kontzientzia-eragozpenari buruzko lehenengo epaia eman zuen. Epai gatazkatsua izan zen. Izan ere, jurisprudentzia konstituzionalak ez zuen farmazeutikoaren kontzientzia-eragozpena aztertu lehenago. Bestetik, batzuen ustez, KAri aukera ematen zion kontzientzia-eragozpenari buruz zenbait argibide emateko. Hala ere, epai honen garrantzia ez zetorren bi arrazoi horiengatik bakarrik, egon ziren desadostasunengatik baizik. Izan ere, hori adierazten dute epaiari egindako hiru boto partikularrek.