|
||||||||||
Consulta de les dades generals Descripció L'assignatura en el conjunt del pla d'estudis Camps professionals en què es projecta Coneixements previs Objectius i competències Continguts Consulta dels recursos d'aprenentatge de què disposa l'assignatura Recursos d'aprenentatge i eines de suport Informacions sobre l'avaluació a la UOC Consulta del model d'avaluació | ||||||||||
ATENCIÓ: Aquest és el pla docent de l'assignatura per al primer semestre del curs 2020-2021. Us servirà per planificar la matrícula. Un cop comenci la docència, heu de consultar-lo a l'aula. (El pla docent pot estar subjecte a canvis.) | ||||||||||
La Lògica impregna tot el món científic i li aporta directa o indirectament tot el rigor que requereix i que el caracteritza. És, sens dubte, un coneixement bàsic per a totes les disciplines científiques. I això també és així, i molt, per a la Informàtica, tant pel que fa a la seva vessant més teòrica com pel que fa a la més pràctica i aplicada. No és exagerat dir que la Lògica és a la Informàtica el que el Càlcul és a l'Arquitectura i a altres Enginyeries. |
||||||||||
L'assignatura Lògica està relacionada amb les altres assignatures de caràcter matemàtic i proporciona a l'estudiant els fonaments lògico-matemàtics que facilitaran l'estudi de posteriors assignatures de diferents àrees de coneixement. És fonamental per tota l'àrea de llenguatges de programació per la seva importància per dotar als algorismes d'una bona estructura lògica, i per la seva rellevància en la verificació i derivació formal d'algorismes. Dins de l'àrea, els coneixements que aporta, seran de gran utilitat en les assignatures de Grafs i Complexitat i d'Intel·ligència Artificial, i en general en totes les de l''area de Teoria de la Computació. És també fonamental per a l'estudi de les assignatures de bases de dades que segueixen com a model de dades el model relacional, atès que el llenguatge estàndar per la seva manipulació, SQL, està basat en la lògica de predicats. Finalment, aporta coneixements necessaris per l'estudi d'assignatures de l'àrea de Tecnologia de Computadors, atès que el correcte funcionament de hardware requereix un bon disseny lògic. |
||||||||||
L'assignatura Lògica potencia aptituds que són útils i importants a l'hora d'interpretar i analitzar problemes, com a pas previ a la seva resolució mecanitzada. Un dels objectius és el d'aprendre a formalitzar usant el llenguatge lògic. En la seva vida professional l'informàtic s'ha d'enfrontar amb la tasca de plantejar solucions mecanitzades a problemes que, sovint, estan mal o pobrement especificats i a vegades, fins i tot, de manera contradictòria. Les destreses i aptituds necessàries per formalitzar i per validar o refutar raonaments són, fonamentalment, les mateixes que permeten detectar els problemes d'una especificació poc o gens correcta. Dia a dia la Intel·ligència Artificial i els seus mètodes prenen més importància i no fóra estrany que en la seva vida professional l'enginyer/era hagués d'entrar-hi en contacte. En aquest cas, la lògica en seria un excel·lent vehicle d'apropament. |
||||||||||
Aquesta assignatura no requereix haver cursat prèviament cap altra assignatura de les titulacions en Informàtica. Tampoc no requereix cap coneixement previ especific tret d'aquells que són indispensables per a l'accés a les titulacions de caire tècnic de la universitat. |
||||||||||
OBJECTIU GENERAL: Conèixer els fonaments de la lògica d'enunciats i de predicats i saber aplicar les seves metodologies bàsiques. COMPETÈNCIES: Les competències específiques del grau d'Informàtica que es treballen en l'assignatura són:
Les competències pròpies de l'assignatura són:
|
||||||||||
El contingut avaluable de l'assignatura es divideix en dos mòduls didàctics que presenten una notable interrelació entre ells. És en el segon mòdul on s'assoleix el nivell escaient per a una titulació universitària i on s'aplica l'altre mòdul. Concretament, els continguts d'aquests mòduls són els següents: Mòdul 1: Lògica d'Enunciats
Tal i com es pot apreciar en aquesta taula de continguts, els temes del primer mòdul tornen a repetir-se en el segon. La variació rau en el formalisme utilitzat (més complex en la segona part que en la primera) i en els afegits que cal fer a les eines del segon mòdul per adaptar-les a la més gran complexitat del formalisme. En ambdós mòduls són d'especial importància els temes inicials en els que s'estudien els formalismes propis de la lògica amb una aproximació notablement pràctica: l'èxit s'assolirà quan la utilització d'aquests formalismes es faci de manera correcta i desimbolta.
A més, hi ha dos mòduls més que no són avaluables, i que resten com a material annex i d'ampliació. Mòdul 3: Lògica i Àlgebra de Boole
Mòdul 4: Teoria de Conjunts
|
||||||||||
|
||||||||||
MATERIAL D'ESTUDI Mòduls avaluables:
Mòduls no avaluables:
L'accés a l'Eina Assistent ALURA es troba a l'espai de recursos del aula. |
||||||||||
La Normativa acadèmica de la UOC disposa que el procés d'avaluació es fonamenta en el treball personal de l'estudiant i pressuposa l'autenticitat de l'autoria i l'originalitat dels exercicis fets. La manca d'originalitat en l'autoria o el mal ús de les condicions en què es fa l'avaluació de l'assignatura és una infracció que pot tenir conseqüències acadèmiques greus. Es qualificarà l'estudiant amb un suspens (D/0) si es detecta manca d'originalitat en l'autoria d'alguna activitat avaluable (pràctica, prova d'avaluació contínua (PAC) o final (PAF), o la que es defineixi al pla docent), sigui perquè ha utilitzat material o dispositius no autoritzats, sigui perquè ha copiat textualment d'internet, o ha copiat d'apunts, de materials, de manuals o d'articles (sense la citació corresponent), d'altres estudiants, o per qualsevol altra conducta irregular. La qualificació de suspens (D/0) en les qualificacions finals d'avaluació contínua pot comportar l'obligació de fer l'examen presencial per a superar l'assignatura (si hi ha examen i si superar-lo és suficient per a superar l'assignatura segons indiqui el pla docent). Quan aquesta mala conducta es produeixi durant la realització de les proves d'avaluació finals presencials, l'estudiant pot ser expulsat de l'aula, i l'examinador farà constar tots els elements i la informació relatius al cas. D'altra banda, aquesta conducta pot donar lloc a la incoació d'un procediment disciplinari i l'aplicació, si escau, de la sanció que correspongui. La UOC habilitarà els mecanismes que consideri oportuns per a vetllar per la qualitat de les seves titulacions i garantir l'excel·lència i la qualitat del seu model educatiu. |
||||||||||
|