Resultats de la cerca

Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva validesa…

Les exportacions de cacau, juntament amb el petroli i l’or, van ser els principals motors de l’economia de Ghana © Max_Havelaar El president, John Atta Mills, va ser designat, amb el 96% dels vots dels delegats, candidat del Congrés Nacional Democràtic CND a les eleccions que s’han de celebrar al desembre del 2012 En les primàries, va derrotar abastament Nana Konadu Agyeman-Rawlings, la dona de l’expresident Jerry Rawlings, que té molta influència entre els dirigents del partit Atta Mills s’enfrontarà al jurista Nana Akufo Addo, candidat del Partit Nacional Patriòtic PNP, a qui ja va guanyar…

Els Estats Units celebren eleccions presidencials i legislatives El demòcrata Joe Biden s’enfronta al president republicà Donald Trump, que opta a revalidar el mandat Dies abans, Trump posa en dubte la validesa del vot per correu i dona a entendre que pot no reconèixer els resultats Els primers resultats en tancar-se els collegis són molt ajustats, però en les hores següents l'avantatge de Biden s'eixampla, superant còmodament la majoria absoluta de 270 delegats i guanyant a la majoria dels estats Al Congrés, tot i un retrocés de 9 escons, els demòcrates mantenen la majoria…

A diferència dels reformats, la teologia catòlica, bo i mantenint el caràcter revelador de les veritats de fe, insisteix en la necessitat d’una raonabilitat comprensió objectiva i, fins a un cert punt, racional per part de l’home del contingut de la revelació I fins i tot hom parla d’un coneixement natural sobre l’existència de Déu i sobre les propietats i els atributs de l’essència divina, especificats tradicionalment per la teodicea o teologia natural Actualment, però, catòlics i protestants han deixat de mantenir llurs posicions antagòniques, en el sentit que entre els primers hom…

En lògica el problema del tractament formal dels predicats vagues ‘calb’, ‘roig’, ‘gran’, etc s’enfronta a l’aparició de paradoxes com la que resulta d’aplicar-hi un sorites per exemple ‘un home amb un cabell és calb doncs un que en tingui 2,3,,10 000, és calb’, fenomen ja analitzat pels grecs D’ençà de l’aparició de la lògica formal moderna, la posició dels lògics ha estat generalment la de considerar la vaguetat com una característica exclusiva sovint com un “defecte” del llenguatge, inabordable i irrellevant per a la lògica matemàtica clàssica Russell 1923 Entre aquells que han acceptat la…

Intentà de completar l’obra de Kant amb una gnoseologia de les ciències de l’esperit i una crítica de la raó històrica separà radicalment, per llur contingut, les ciències de l’esperit i les ciències de la natura, i instaurà el mètode de l’autognòsia Selbstbesinnung , segons el qual són determinades les condicions de la consciència que permeten, amb una validesa universal, l’elevació de l’esperit a un nivell d’autonomia Negà tant el coneixement metafísic com el naturalisme i, cercant de superar un relativisme historicista, s’orientà cap a una filosofia de la vida La seva obra fonamental és…

La noció estricta de document en diplomàtica clàssica coincidia amb la del terme diploma , el qual tenia, fonamentalment, un contingut jurídic Alguns diplomatistes amplien ja l’objecte d’estudi d’aquella ciència als actes administratius, de qualsevol mena resolucions, informes, notícies, inventaris, comptes i notes, etc Segons la noció pròpiament arxivística, són documents tots els escrits que constitueixen un fons d’arxiu segons aquest criteri, cal considerar que tot document té origen en una institució o persona jurídica —que n'és l’agent productor—, que està interessada a conservar i…

Segons el dret actual el nomenament de marmessor universal substitueix la manca de la institució d’hereu en els testaments