144 resultados para Lògica de primer ordre


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Amb aquest treball s'intenta fer explícita la nova societat, el nou ordre, com els agradava dir als ideòlegs del nazisme, que Hitler i el seu partit van crear a Alemanya durant el seu mandat, i que volien estendre a l'Europa que havien conquerit.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El primer Dictamen s'elabora a petició del client AUNOSA, SL per donar resposta a la possibilitat que els actors acudeixen a instàncies superiors després d'haver obtingut dues sentències desestimatòries tant en Primera Instància com en Segona Instància en relació a l'acció de nul·litat del contracte de compravenda així com la resta de pretensions manifestades. El segon dictamen es fa a petició del Conseller Delegat de la mercantil Comercial Xop, S.L.Comercial Xop, SL,

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El presente trabajo define una taxonomía para la clasificación de recursos digitales del ámbito de la lógica tradicional, y más concretamente los recursos que se podrían generar en el ámbito de la asignatura de Lógica Matemática del plan de estudios de las titulaciones de Ingeniería Técnica de Gestión y de Sistemas impartidas en la Universitat Oberta de Catalunya (UOC).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Motius dels immigrants del primer món per a triar el català o el castellà en el moment de triar la seva opció lingüística quan arriben a Catalunya. El treball intenta respondre mitjançant l'entrevista sociològica dues hipòtesis: aquests immigrants consideren més important el castellà que no pas el català a Catalunya? Consideren que no és imprescindible aprendre català per a viure a Catalunya?

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En aquest estudi s’examina la llengua d’alguns textos de Francesc Eiximenis (concretament, el ‘Dotzè del Crestià’ i les cartes autògrafes publicades per Martí 2002) per tal d’aprofundir en la distribució de l’estructura informativa i el consegüent ordre de mots que utilitza l’autor. L’objectiu d’aquesta comunicació és aprofundir en els casos d’ avantposició del català antic que correspon a una estructura de focalització feble (no contrastiva)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Estudi del sindicalisme a Espanya des dels seus orígens i fins el 1870. L’autor planteja dues qüestions: la ideologia elaborada pel sindicalisme entre 1840 i 1856, i en segon lloc alguns aspectes de les relacions entre sindicalisme i política, i l’elaboració d’un llenguatge de classes

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aquest treball analitza dues tipologies de voltes (la volta de quatre punts i la volta de maó de pla o cúpula seimiesfèrica) , situades a l’església de Sant Narcís a Girona, amb la finalitat d’establir un model de mesura i estudi aproximat de la seva capacitat portant. L’abast del projecte es pot dividir en tres grans blocs: el primer, desenvolupa l’origen tècnic i històric de les voltes i del barri de Sant Narcís; el segon, tracta de la composició de materials i elements, duent a terme una anàlisi constructiva i patològica que defineix les característiques, ordre i deficiències de diferents elements i materials que formen part de l’edifici; i el tercer bloc tracta del càlcul estructural, on es realitzen diferents modelitzacions d’una de les voltes de quatre punts i de la volta semiesfèrica de l’església de Sant Narcís, amb la fi de verificar i trobar el model més apropiat per dur a terme una anàlisi, mitjançant el programa de càlcul ANSYS

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aquest estudi se centra en el document del CTE que es refereix a les estructuresmetàl·liques d’acer, concretament en els càlculs a tenir en compte a l’hora de realitzar pòrtics d’estructura d’edificació amb perfils metàl·lics laminats. Aquest document és el DB-SE-A, que són les sigles de “Document Bàsic Seguretat Estructural Acer”. Aquest document introdueix algunes modificacions en el mètode de càlcul de les estructures metàl·liques respecte l’antiga norma.La idea d’aquest estudi és fer una comparació entre les dues normes – la vella i ja derogada, i la nova i vigent – i com tracten el càlcul d’esforços en segon ordre i el tractament de les imperfeccions.Com ja s’ha comentat aquest Document Bàsic de la Seguretat Estructural en Acer del CTE (DB-SE-A) substitueix l’antiga norma que es referia al càlcul d’estructura metàl·lica, la NBE-EA-95. En l’aplicació de les accions i el càlcul d’esforços s’utilitza del CTE el Document Bàsic dedicat a les accions en l’edificació (DB-SE-AE) i que substitueix l’antiga NBE-AE-88

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El treball és la primera part d’una tesi que tractarà la influència que la llengua materna (L1) pot exercir en l’adquisició de la segona llengua (L2). Concretament, la tesi se centrarà en la influència de les característiques gramaticals del panjabi i del romanès com a L1 en l’adquisició de l’ordre sintàctic del català com a L2. El treball de recerca descriu alguns aspectes de l’ordre sintàctic del català a partir de gramàtiques, de treballs específics sobre el tema, de l’anàlisi d’un corpus oral i del meu propi coneixement de la llengua com a parlant. Concretament s’estudien les oracions principals i les subordinades completives dependents de verbs com dir, suposar o pensar

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Treball que recull l'experiència de l’autora durant 4 mesos en l’IES Vallvera. Durant aquest temps ha pogut observar, aprendre i conèixer les tasques dels professionals de la psicopedagogia. L’IES Vallvera és un centre que acull molts alumnes immigrants, i per tant el tracte amb alumnes i l’assessorament d’aquests és el treball del dia a dia de la psicopedagoga del centre

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En aquesta memòria es presenta el desenvolupament d'un entorn virtual orientat a la didàctica de la lògica proposicional, aplicada en assignatures de Lògica Computacional i Estructura i Tecnologia de Computadors. L'entorn en si té com a objectiu ser un reforç a l'aprenentatge autodidacta per part de l'alumne en aquestes matèries, així com una eina de seguiment per part del professor.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El present treball estudiarà la comunitat d’espècies Coleoptera d’un camp de cítrics situat a la Selva de Camp, Tarragona, durant el període de temps dels anys 2002 fins al 2011. Els Coleoptera és l’ordre animal conegut comunament com els “escarabats” i és el més abundant i variat de tot el regne animal. Els estudis realitzats són pocs i, normalment, de les espècies més abundants (sobretot la família Coccinellidae). Totes les espècies d’aquest ordre presenten unes característiques típiques (García et al., 1989). (1) Presenten una cutícula dura, rígida i quitinitzada, amb el primer parell d’ales endurides (èlitres). Gran protecció als traumes físics. (2) Tenen una gran capacitat per retenir la humitat degut a que els estigmes s’obren els èlitres i eviten la pèrdua d’aigua per transpiració. (3) Presenten mandíbules mastegadores, adaptables i utilitzables per a una gran varietat de funcions (Chinery, 1988). (4) Algunes espècies poden acumular substàncies tòxiques a l’organisme. Presenten un règim alimentari fitòfag o micòfag, per norma general, tot i que també es poden trobar espècies sapròfagues o depredadores. És per aquest motiu que les espècies de Coleoptera podrien presentar un paper important com a potencial plagues o com a possible control biològic (Zahradnik, 1990). Durant moltes dècades, els plaguicides han constituït una lluita química contra les plagues dels cultius agrícoles, obtenint molt bons resultats en quant a manteniment i qualitat de les collites. No obstant, la seva utilització deliberada ha constituït en molts casos una important font de contaminació del territori. La seva gran mobilitat i persistència ha originat efectes de bioacumulació i biomagnificació a les xarxes tròfiques dels essers vius presents en aquestes zones. Actualment, per evitar tots aquests problemes ocasionats pels productes sintètics, el control biològic de plagues constitueix un dels principals pilars de la protecció moderna de cultius (Jacas et al., 2005). Se sap que les formigues tenen un doble rol molt important a les comunitats vegetals (poden ser mutualistes o depredadors generalistes), fent que la presència o absència d’aquestes pugui tenir efectes potencials sobre l’abundància d’altres artròpodes (James et al., 1999). És per aquest motiu que al present treball es realitzen experiments amb dos tipus d’arbres, els que presenten formigues i els que les formigues s’han exclòs experimentalment. Així doncs, els objectius del present treball són: - Descriure quantitativament la Comunitat de Coleoptera no Coccinellidae. - Descriure els canvis que s’han produït en la comunitat de Coleoptera al llarg de 10 anys. - Valorar la importància de les diferents espècies i/o famílies com a components de la biodiversitat d’un conreu ecològic. - Descriure els efectes sobre la comunitat de Coleoptera no Coccinellidae de la presència o absència de formgiues. - Valorar la importància de les diferents espècies i/o famílies com a possibles plagues o com a agents de control biològic.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Projecte de recerca elaborat a partir d’una estada al Max Planck Institute for Human Cognitive and Brain Sciences, Alemanya, entre 2010 i 2012. El principal objectiu d’aquest projecte era estudiar en detall les estructures subcorticals, en concret, el rol dels ganglis basals en control cognitiu durant processament lingüístic i no-lingüístic. Per tal d’assolir una diferenciació minuciosa en els diferents nuclis dels ganglis basals s’utilitzà ressonància magnètica d’ultra-alt camp i alta resolució (7T-MRI). El còrtex prefrontal lateral i els ganglis basals treballant conjuntament per a mitjançar memòria de treball i la regulació “top-down” de la cognició. Aquest circuit regula l’equilibri entre respostes automàtiques i d’alt-ordre cognitiu. Es crearen tres condicions experimentals principals: frases/seqüències noambigües, no-gramatical i ambigües. Les frases/seqüències no-ambigües haurien de provocar una resposta automàtica, mentre les frases/seqüències ambigües i no-gramaticals produïren un conflicte amb la resposta automàtica, i per tant, requeririen una resposta de d’alt-ordre cognitiu. Dins del domini de la resposta de control, la ambigüitat i no-gramaticalitat representen dues dimensions diferents de la resolució de conflicte, mentre per una frase/seqüència temporalment ambigua existeix una interpretació correcte, aquest no és el cas per a les frases/seqüències no-gramaticals. A més, el disseny experimental incloïa una manipulació lingüística i nolingüística, la qual posà a prova la hipòtesi que els efectes són de domini-general; així com una manipulació semàntica i sintàctica que avaluà les diferències entre el processament d’ambigüitat/error “intrínseca” vs. “estructural”. Els resultats del primer experiment (sintax-lingüístic) mostraren un gradient rostroventralcaudodorsal de control cognitiu dins del nucli caudat, això és, les regions més rostrals sostenint els nivells més alts de processament cognitiu

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Report for the scientific sojourn carried out at the l’ Institute for Computational Molecular Science of the Temple University, United States, from 2010 to 2012. Two-component systems (TCS) are used by pathogenic bacteria to sense the environment within a host and activate mechanisms related to virulence and antimicrobial resistance. A prototypical example is the PhoQ/PhoP system, which is the major regulator of virulence in Salmonella. Hence, PhoQ is an attractive target for the design of new antibiotics against foodborne diseases. Inhibition of the PhoQ-mediated bacterial virulence does not result in growth inhibition, presenting less selective pressure for the generation of antibiotic resistance. Moreover, PhoQ is a histidine kinase (HK) and it is absent in animals. Nevertheless, the design of satisfactory HK inhibitors has been proven to be a challenge. To compete with the intracellular ATP concentrations, the affinity of a HK inhibidor must be in the micromolar-nanomolar range, whereas the current lead compounds have at best millimolar affinities. Moreover, the drug selectivity depends on the conformation of a highly variable loop, referred to as the “ATP-lid, which is difficult to study by X-Ray crystallography due to its flexibility. I have investigated the binding of different HK inhibitors to PhoQ. In particular, all-atom molecular dynamics simulations have been combined with enhanced sampling techniques in order to provide structural and dynamic information of the conformation of the ATP-lid. Transient interactions between these drugs and the ATP-lid have been identified and the free energy of the different binding modes has been estimated. The results obtained pinpoint the importance of protein flexibility in the HK-inhibitor binding, and constitute a first step in developing more potent and selective drugs. The computational resources of the hosting institution as well as the experience of the members of the group in drug binding and free energy methods have been crucial to carry out this work.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Estudi realitzat a partir d’una estada al Laboratoire d’études sur les monothéismes (UMR 8584, Centre national de la recherche scientifique / École pratique des hautes études / Université Paris IV-Sorbonne), França, entre 2010 i 2011. Anàlisi de la crisi estructural que afectà a l’església gal•la entre el darrer quart del segle IV i el primer del segle VI, crisi causada per la cristianització a gran escala de les elits aristocràtiques gal•loromanes i per la reivindicació per part d’aquest estament de la translació a l’esfera de la jerarquia institucional de l’Església de la seva preeminència econòmica i social. Aquest procés implicà l’aparició d’algunes interpretacions del “fet existencial cristià” que tractaven de legitimar en el plànol teòric la presa del control de les comunitats cristianes per part de la noblesa senatorial. En relació a aquest últim punt, s’ha donat particular rellevància a l’anomenada “controvèrsia semipelagiana” a Provença, amb especial èmfasi en dos punts: a) la relació entre l’oposició a la teologia agustiniana de la gràcia en alguns cercles monàstics provençals –Marsella, Lérins– i l’emergència en aquests ambients d’una literatura autobiogràfica en la que la reflexió sobre els conceptes de uocatio divina i conuersio a l’ascetisme cristià està estretament vinculada a un esforç teòric de redefinició i reorientació de l’ethos aristocràtic; i b) la relació entre els punts teològics debatuts en aquesta controvèrsia i les concepcions eclesiològiques dels pensadors que hi prengueren part –entengui’s aquí per eclesiologia la definició teòrica dels límits i dels fonaments de la “comunitat cristiana”, amb especial incidència en aquest cas en els plantejaments sobre el rol que l’aristòcrata havia d’exercir en aquestes noves comunitats “transversals”–. Aquest projecte bianual ha posat de manifest la inexistència d’una “teologia semipelagiana”, ateses les antagòniques concepcions eclesiològiques dels autors tradicionalment associats a aquesta corrent de pensament: Cassià entén la comunitat cristiana com una elit ascètica en la que els criteris “laics” d’estratificació social queden suspesos, i rebutja –en la teoria i en la pràctica– que aquesta elit hagi d’assumir el lideratge de la comunitat de fidels seglars; en els autors del cercle de Lérins, en canvi, l’oposició a la teologia agustiniana de la gràcia és inspirada per l’esforç d’importar a tota la comunitat cristiana els ideals monàstics, quelcom que fou també una via de legitimació de l’autoritat dels monjos-bisbes d’origen aristocràtic sorgits del cenobi de Lérins.