|
||||||||||
Consulta de les dades generals Descripció L'assignatura en el conjunt del pla d'estudis Camps professionals en què es projecta Coneixements previs Informació prèvia a la matrícula Objectius i competències Continguts Consulta dels recursos d'aprenentatge de la UOC per a l'assignatura Informació addicional sobre els recursos d'aprenentatge i eines de suport Informacions sobre l'avaluació a la UOC Consulta del model d'avaluació | ||||||||||
Aquest és el pla docent de l'assignatura per al segon semestre del curs 2023-2024. Podeu consultar si l'assignatura s'ofereix aquest semestre a l'espai del campus Més UOC / La universitat / Plans d'estudis). 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'estudiantat 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'àrea 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àndard 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 l'activitat professional pròpia de la informàtica és habitual la tasca de plantejar solucions mecanitzades a problemes que, sovint, estan mal o pobrament 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 en molts camps professionals relacionats amb l'enginyeria informàtica. 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. |
||||||||||
Aquesta assignatura no requereix haver cursat prèviament cap altra assignatura de les titulacions en Informàtica. | ||||||||||
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 El material didàctic d'aquesta assignatura es compon de quatre mòduls editats per la UOC. Mòduls avaluables:
Mòduls no avaluables:
L'ALURA permet de resoldre diferents exercicis, guiant i informant de la correctesa o no de les seves solucions. Els exercicis a resoldre poden ser proposats pel professorat de l'assignatura però també pel propi estudiantat. Serà, per tant, una eina que incidirà tant en l'aprenentatge com en l'autoavaluació com en l'avaluació contínua. L'accés a l'eina ALURA es troba a l'aula. |
||||||||||
A la UOC, l'avaluació generalment és virtual. S'estructura entorn de l'avaluació contínua, que inclou diferents activitats o reptes; l'avaluació final, que es porta a terme mitjançant proves o exàmens, i el treball final de la titulació. Les activitats o proves d'avaluació poden ser escrites i/o audiovisuals, amb preguntes aleatòries, proves orals síncrones o asíncrones, etc., d'acord amb el que decideixi cada equip docent. Els treballs finals representen el tancament d'un procés formatiu que implica la realització d'un treball original i tutoritzat que té com a objectiu demostrar l'adquisició competencial feta al llarg del programa. Per verificar la identitat de l'estudiant i l'autoria de les proves d'avaluació, la UOC es reserva la potestat d'aplicar diferents sistemes de reconeixement de la identitat i de detecció del plagi. Amb aquest objectiu, la UOC pot dur a terme enregistrament audiovisual o fer servir mètodes o tècniques de supervisió durant l'execució de qualsevol activitat acadèmica. Així mateix, la UOC pot exigir a l'estudiant l'ús de dispositius electrònics (micròfons, càmeres o altres eines) o programari específic durant l'avaluació. És responsabilitat de l'estudiant assegurar que aquests dispositius funcionen correctament. El procés d'avaluació es fonamenta en el treball personal de l'estudiant i pressuposa l'autenticitat de l'autoria i l'originalitat de les activitats acadèmiques. Al web sobre integritat acadèmica i plagi de la UOC hi ha més informació respecte d'aquesta qüestió. La manca d'autenticitat en l'autoria o d'originalitat de les proves d'avaluació; la còpia o el plagi; la suplantació d'identitat; l'acceptació o l'obtenció de qualsevol activitat acadèmica a canvi d'una contraprestació o no; la col·laboració, l'encobriment o l'afavoriment de la còpia, o l'ús de material, programari o dispositius no autoritzats en el pla docent o l'enunciat de l'activitat acadèmica, inclosa la intel·ligència artificial i la traducció automàtica, entre altres, són conductes irregulars en l'avaluació que poden tenir conseqüències acadèmiques i disciplinàries greus. Aquestes conductes irregulars poden comportar el suspens (D/0) en les activitats avaluables que es defineixin en el pla docent -incloses les proves finals- o en la qualificació final de l'assignatura, sigui perquè s'han utilitzat materials, programari o dispositius no autoritzats durant les proves (com l'ús d'intel·ligència artificial no permesa, xarxes socials o cercadors d'informació a internet), perquè s'han copiat fragments de text d'una font externa (internet, apunts, llibres, articles, treballs o proves d'altres estudiants, etc.) sense la citació corresponent, per la compravenda d'activitats acadèmiques, o perquè s'ha dut a terme qualsevol altra conducta irregular. Així mateix, i d'acord amb la normativa acadèmica, les conductes irregulars en l'avaluació també poden donar lloc a la incoació d'un procediment disciplinari i a l'aplicació, si escau, de la sanció que correspongui, de conformitat amb el que estableix la normativa de convivència de la UOC. En el marc del procés d'avaluació, la UOC es reserva la potestat de:
Intel·ligència artificial en el marc de l'avaluació La UOC reconeix el valor i el potencial de la intel·ligència artificial (IA) en l'àmbit educatiu, alhora que posa de manifest els riscos que comporta si no s'utilitza de manera ètica, crítica i responsable. En aquest sentit, en cada activitat d'avaluació s'informarà l'estudiantat sobre les eines i els recursos d'IA que es poden utilitzar i en quines condicions. Per la seva banda, l'estudiantat es compromet a seguir les indicacions de la UOC a l'hora de dur a terme les activitats d'avaluació i de citar les eines utilitzades i, concretament, a identificar els textos o les imatges generats per sistemes d'IA, els quals no podrà presentar com si fossin propis. Amb relació a fer servir o no la IA per resoldre una activitat, l'enunciat de les activitats d'avaluació indica les limitacions en l'ús d'aquestes eines. Cal tenir en compte que fer-les servir de manera inadequada, com ara en activitats en què no estan permeses o no citar-les en les activitats en què sí que ho estan, es pot considerar una conducta irregular en l'avaluació. En cas de dubte, es recomana que, abans de lliurar l'activitat, es faci arribar una consulta al professorat col·laborador de l'aula. |
||||||||||
|