* Ezagutzaren adierazpena lengoaia logiko eta formalak erabiliz.

* Aurrekari batetik ondorio jakin bat atera daitekeela frogatzea automatizatu ahal diren sistema formalak erabiliz.

* Enuntziatu logikoen ereduak eta kontra-ereduak eraikitzea.

* Dedukzio automatikoan erabiltzen diren algoritmo eta estrategiak ulertzea.

* Arrazoibiderako tresna automatikoak erabiltzea eta ateratako emaitzak ulertzea.

1. Ezagutzaren adierazpen matematikoa.

2. Dedukziozko metodo eta tresnak logika proposizionalean.

3. Dedukziozko metodo eta tresnak lehenengo mailako logikan.

4. Arrazoibide automatikoaren aplikazioak Adimen Artifizialean: Prolog

Modalitate magistralean irakasgaiko eduki kontzeptualak aurkeztuko dira, eta horien buruzko ariketa eta arazo praktikoak ebatziko dira.



Halaber, laborategiko praktiketan beste ariketa eta arazo praktiko batzuk ebatziko dira tresna automatikoak erabiliz.



Bi kasuetan, ikasleek gaitasunak eskurarazten dituzten ikaskuntza-metodologia aktiboak erabiliko dira, bai bakarka bai taldeka lan eginez proposatutako helburuak ebazteko. Horrez gain, galdera egitea eta eztabaida irekia sustatuko dira, ikasleak trebatzeko ahozko komunikazioan, laburtzeko gaitasunean eta talde-lanean.



Ikasleei ikasten laguntzeko eta ikasten ari direla ziurtatzeko, jarraipen bat egingo da eta aurretik ezarritako ebaluzio irizpideak erabiliz feedbacka emango zaie, ikasleek beren ikaskuntzaz jabetzeko aukera izan dezaten.

Indarrean dagoen arautegiaren irizpideak kontuan hartuko dira ebaluazio mota aukeratzerakoan (jarraitua edo finala) eta, baita ere, ebaluazio mota aldatzerakoan (ebaluazio jarraituatik finalera edo aldrebes). Beraz, ebaluazio jarraituko sistema erabiliko da lehentasunez. Izan ere, irakasgaia ebaluazio jarraiturako bideratuta dago.



=== Etengabeko ebaluazioa ===



Etengabeko ebaluazioan bi motako probak erabiliko dira: azterketa partzialak (%70) eta ariketa edo arazo praktikoen entregak (%30).



Zehazki, 3 azterketa partzial egingo dira. Azterketa bakoitzean ebaluatuko diren atazak eta azterketa bakoitzak azken kalifikazioan izango duten balioa ondorengoak izango dira:

* 1. azterketa partziala: logika proposizionala, %20.

* 2. azterketa partziala: lehenengo mailako logika, %25.

* 3. azterketa partziala: aplikazio praktikoak - Prolog, 25%.



Proba guztiak 0 eta 10 puntu arteko kalifikazioarekin ebaluatuko dira.



Irakasgaiko azken kalifikazioa azterketa partzial eta ariketa-entrega guztietako kalifikazioen bataz besteko ponderatua izango da.



Oro har, irakasgaia gainditzeko hurrengo baldintzak bete behar dira:

a) Gutxienez 3 puntuko kalifikazioa azterketa partzial bakoitzean.

b) Gutxienez 5 puntuko azken kalifikazioa.



=== Amaierako ebaluazioa ===



Ebaluazioa mota honetara aldatu ahal izango da baldin eta irakasgaiaren kalifikazio osoaren %80 edo gehiago ebaluatu ez bada.



Irakasgaiaren ebaluazio finala proba bakar bidez egingo da: azterketa idatzia. Azterketa honen kalifikazioa 0 eta 10 puntu artekoa izango da, eta azken kalifikazioaren %100 balioa hartuko du.



Irakasgaia gainditzeko beharrezkoa izango da 5 puntu edo gehiagoko azken kalifikazioa ateratzea.



Azterketa idatzia egiten ez bada, ebaluazioari uko egiten zaiola ulertuko da.

Irakasgaiaren ikasgela birtualean (eGela) eskura dagoen materiala.

Oinarrizko bibliografia

"Logic for Computer Scientists". Uwe Schöning. Volume 8 in the series "Progress in Computer Science and Applied Logic". 166 pages. Birkhäuser, 1989. ISBN: 9780817647629. e-ISBN: 13:978-0-8176-4763-6. DOI: 10.1007/978-0-8176-4763-6. Springer, 2008 (reprint).



"Introduction to Logic, Third Edition". Michael Genesereth and Eric J. Kao. Volume 5(1) in the series "Synthesis Lectures on Computer Science". 177 pages. Morgan & Claypool, 2016.ISSN: 1932-1228 (print) 1932-1686 (electronic). DOI: 10.2200/S00734ED2V01Y201609CSL008. Online resources available at: http://intrologic.stanford.edu/

Gehiago sakontzeko bibliografia

"Handbook of Automated Reasoning". Alan Robinson and Andrei Voronkov (editors). 981 pages (Volume I), 1185 (Volume II). The MIT Press (North-Holland), 2001. ISBN: 9780262182218 (Volume I), ISBN: 9780262182225 (Volume II), ISBN: 9780262182232 (Volumes I and II).

Aldizkariak

* Journal of Automated Reasoning (https://www.springer.com/journal/10817/)
* Journal of Logic and Computation (https://academic.oup.com/logcom)
* ACM Transactions on Computational Logic (https://dl.acm.org/journal/tocl)
* The Journal of Logic and Algebraic Programming (https://www.sciencedirect.com/journal/the-journal-of-logic-and-algebraic-programming)