Resultats de la cerca
Es mostren 37 resultats
formalització
Filosofia
Procés en virtut del qual hom especifica, mitjançant un metallenguatge , l’estructura d’un llenguatge.
Són formalitzables tant el llenguatge ordinari o cadascun dels seus aspectes l’esportiu, el social, el literari, etc com el filosòfic, el científic, el matemàtic, el lògic, etc La formalització exigeix que hom enumeri tots els signes no definits del llenguatge escollit, especifiqui les condicions en què una fórmula concreta pertany a aquest llenguatge i presenti tant els axiomes usats com a premisses com les regles d’inferència acceptades per fer deduccions en el tal llenguatge
matrícula d’alumnes
Educació
Matrícula dels centres d’ensenyament on consten els alumnes admesos en un curs, en una assignatura, etc.
Hom en diu també matrícula ordinària , o normal , per tal de distingir la matrícula la formalització de la qual no és exempta de pagament i els altres tipus de matrícula exempts de pagament, sigui amb exempció total matrícula gratuïta o simplement parcial matrícula reduïda
setge de Roses
Setge de Roses, gravat (segle XIX)
Història
Acció bèl·lica ocorreguda a Roses (Alt Empordà) durant la guerra del Francès.
Les tropes franceses, a les ordres dels generals Reille i Pino, bombardejaren de primer la plaça i la flota anglesa que patrullava les aigües pròximes a aquesta 6-16 de novembre de 1808 Els defensors, manats pel governador interí Pedro O'Daly, feren diverses sortides, però no pogueren impedir la formalització del setge Aïllats definitivament dels anglesos i mancats d’armes i queviures, els defensors capitularen 5 de desembre de 1808
ars combinatoria
Filosofia
En Leibniz, sistema deductiu amb el qual volia derivar, inventar i expressar conceptes complexos mitjançant uns símbols algèbrics i unes regles de combinació.
Leibniz pretenia, amb això, de fonamentar una ciència universal en un llenguatge formalitzat, que procedís a la manera de la lògica i la matemàtica, gràcies al qual poguessin ésser expressats tots els conceptes científics i filosòfics, per damunt de la parcialitat i les diferències dels altres llenguatges Leibniz considerava que Ramon Llull havia anticipat ja aquest mètode Leibniz ha estat considerat com un dels precursors dels intents més moderns de formalització del llenguatge, sobretot mitjançant la lògica matemàtica
banc de dades terminològiques
Lingüística i sociolingüística
Dipòsit d’informació especialitzada, sovint format per una o diverses bases de dades, i concebut per a resoldre una finalitat específica.
La seva formalització és diferent segons els casos Per als seus creadors, un banc de dades és una base de dades immensa i manipulada per un gestor de base de dades per als usuaris, és un gran dipòsit d’informació interrogable a través d’un menú i, per tant, un producte acabat i tancat sobre el qual no es pot intervenir Com a exemples de bancs de dades terminològiques podem destacar Termium o Eurodicautom, que són construïts sobre una base de dades relacional
fractal
Matemàtiques
Model matemàtic o objecte real que manté la seva forma essencial, fragmentada i irregular, tot i variant l’escala d’observació.
Les primeres fractals corbes de Von Koch, Peano, Sierpiński, etc aparegueren entre el 1875 i el 1925 com a contraexemples als intents de formalització de l’actual matemàtica Benoît Mandelbrot, els anys setanta, descobrí que aquests models serveixen per a representar la realitat Basant-se en els conceptes d’homotècia interna i de dimensió en el sentit de Hausdorff-Besikovič 1919, Mandelbrot definí les bases de la geometria fractal, que permet de modelitzar fenòmens com les turbulències, el cabal dels rius, el soroll blanc, la distribució de les galàxies, les estructures…
Hans Keller
Música
Crític musical anglès d’origen austríac.
Inicià estudis a Viena, però l’adveniment del nazisme provocà la seva fugida a Anglaterra, on s’installà definitivament Treballà com a periodista i més tard com a conseller musical a la BBC L’any 1947 fundà amb Donald Mitchell la revista "Music Survey" Entre les seves obres destaquen BBritten A commentary on his works 1952, The great Haydn Quartets Their interpretation 1986 i Criticism 1987, així com traduccions de múltiples llibrets d’òpera Elaborà un mètode d’anàlisi, que ell anomenà funcional, que aplica els models de formalització logicomatemàtica del llenguatge a l’obra…
arbre de derivació d’una frase
©
Lingüística i sociolingüística
Diagrama en forma d’arbre dels constituents immediats de la frase.
el fet que Operant sobre la cadena terminal d’aquest gràfic, una transformació nominalitzadora obtindrà el suïcidi de la seva dona a partir de la frase dominada, i dues transformacions de supressió eliminaran BB i de la seva dona i finalment, les “regles d’ajustament” donaran la representació fonològica de la frase, d’on s’ha de derivar la fonètica La simple inspecció del diagrama revela un fet crucial que l’estructura profunda d’aquesta frase és molt més complexa que la de la frase En Pere ha dut la seva dona a la platja , molt semblant superficialment A la primera frase, en efecte, la seva…