Resultats de la busca

¡Crea la pàgina "Sistema formal" en L'Enciclopèdia en valencià!

• Expressió matemàtica
  …ió consistent en alguna àrea de la [[matemàtica]] i en uns atres [[Sistema formal|sistemes formals]]. Esta té la finalitat d'expressar una relació general …mal]] a partir d'un [[vocabulari (llògica)|alfabet]] donat. Un [[llenguage formal]] es definix com el conjunt de totes les seues fòrmules ben formades.
  980 bytes (155 paraules) - 17:45 28 ago 2023
• Ciències formals
  …e la qual no té contingut empíric, sino que desenrolla i estudia [[sistema formal|sistemes formals]]. Són ciències formals la [[Llògica]], la [[Matemàtic …ncepte]]s abstractes i no realitats físiques, per això ampren un llenguage formal numèric i es basen en raonaments i demostracions per a dur a terme la seua
  704 bytes (121 paraules) - 15:35 24 jul 2024
• Ciència formal
  …e la qual no té contingut empíric, sino que desenrolla i estudia [[sistema formal|sistemes formals]]. Són ciències formals la [[Llògica]], la [[Matemàtic
  526 bytes (90 paraules) - 18:32 17 jul 2025
• Llenguage formal
  …da|fòrmules ben formades]] i els [[Teorema|teoremes]]. En alguns [[sistema formal|sistemes formals]], no obstant, el conjunt de les teoremes coincidix en el …ulari) del llenguage, i al conjunt de les regles li'l crida la [[gramàtica formal]] (o sintaxis). A una cadena de símbols formada d'acort a la gramàtica li
  1 kB (217 paraules) - 18:14 27 feb 2025
• Llògica intuicionista
  …e|proyecte intuicionista]] de [[Luitzen Egbertus Jan Brouwer|Brouwer]]. El sistema emfatisa les proves, en contes de la veritat, a lo llarc de les transformac
  1 kB (158 paraules) - 19:05 25 nov 2025
• Llògica modal
  La llògica modal és un [[sistema formal]] que intenta capturar el comportament deductiu d'algun grup d'operadors mo
  418 bytes (62 paraules) - 18:30 1 març 2025
• Volum
  …d'una regió de l'[[espai (física)|espai]]. És una [[unitats derivades del Sistema Internacional|magnitut derivada]] de la [[llongitut]], ya que en un [[ortoe …]. La noció de volum és més complicada que la de superfície i en el seu us formal pot donar lloc a la nomenada [[paradoxa de Banach-Tarski]].
  2 kB (266 paraules) - 11:01 16 dec 2024
• Teoria de la computació
  …rren en la realitat en la finalitat de reproduir-los en ajuda de [[sistema formal|sistemes formals]], és dir, a través de còdics de caràcters i [[instruc
  857 bytes (129 paraules) - 18:11 21 abr 2025
• Gramàtica
  * La [[gramàtica generativa]] és un enfocament formal per a l'estudi sintàctic de les llengües que pot en alguns sentits genera
  4 kB (620 paraules) - 20:15 10 març 2025
• World Wide Web
  …o '''www''') o '''ret informàtica mundial''' és un [[Sistema d'informació|sistema]] que funciona a través d'[[internet]], pel qual es poden transmetre diver …s que permet crear documents per a compartir a través d'internet; ampra el sistema de Localisació Uniforme de Recursos o [[Localisador de recursos uniforme|U
  2 kB (355 paraules) - 16:49 4 jul 2024
• Organisació Jovenil Espanyola
  …] dels chiquets, jóvens i adolescents, per a lo cual conta en el seu propi sistema formatiu. L'OJE és membre fundador del [[Consell de la Joventut d'Espanya]
  1 kB (161 paraules) - 00:24 17 set 2022
• Ordenament jurídic
  == L'ordenament jurídic com a sistema == …s (per eixemple, la regla que faculta a la Cambra a fixar els imposts). Un sistema jurídic és, d'acort en Hart, un conjunt de regles jurídiques primàries
  3 kB (449 paraules) - 11:48 12 jul 2025
• Llògica
  Com a [[ciència formal]], la llògica estudia i classifica l'estructura de les proposicions i els …sistema d'estudis migevals. Des de la mitat del [[sigle XIX]], la llògica formal s'ha convertit en una disciplina matemàtica per un doble motiu: perque s'h
  4 kB (605 paraules) - 15:37 1 ago 2025
• Constitució
  …ció del poder polític, depenent de l'ideologia, tals com els fonaments del sistema econòmic. La constitució no constituïx a l'estat o la [[nació]], degut …de vista formal com des del punt de vista material. Des del punt de vista formal, la constitució es definix a partir dels òrguens i procediments que inter
  3 kB (448 paraules) - 11:45 12 jul 2025
• Mozilla Firefox
  …s servicis, no sent per tant mostres representatives des del punt de vista formal de l'[[estadística]]. …sca progressiva, marcadors dinàmics, un administrador de descàrregues i un sistema de busca integrat que utilisa el motor de busca que desige l'usuari. Ademé
  2 kB (314 paraules) - 17:39 17 oct 2024
• Organisació
  …aixina poder conseguir el propòsit distintiu que és la seua missió. És un sistema d'activitats conscientment coordinades format per dos o més persones; la c …sació i que igualment han segut ya molt tractats, tals com el [[liderage]] formal i informal. Com a metodologia, açò es diu [[investigació operativa]] i e
  12 kB (1722 paraules) - 19:58 5 nov 2025
• Feudalisme
  …els [[sigle IX|sigles IX]] i [[sigle XV|XV]], que, en sentit ample, era un sistema per a l'estructuració de la societat entorn de les relacions derivades de …gu, ell té que fer a eixa persona un vassall. Açò ho feen en una ceremonia formal i simbòlica nomenada acte de vassallage, que estava composta en dos parts:
  4 kB (696 paraules) - 07:45 1 set 2025
• Fonts del Dret
  Les fonts del dret són un criteri de determinació del sistema jurídic d'un país considerat segons tinga antecedents de: …ls''' (o fonts en sentit material), '''fonts formals''' (o fonts en sentit formal) i '''fonts històriques'''.
  12 kB (1968 paraules) - 09:29 30 abr 2025
• Teoria de conjunts
  …(com en la [[teoria de l'àlgebra relacional]]), [[filosofia]], [[semàntica formal]] i [[dinàmica evolutiva]]. El seu atractiu fundacional, junt en les seues
  5 kB (779 paraules) - 17:44 7 oct 2025
• Italià
  | '''lei''' - vosté (molt formal)|| ---------- == Sistema d’escritura ==
  8 kB (1234 paraules) - 02:39 27 ago 2023

Vore (20 previes | 20 següents) (20 | 50 | 100 | 250 | 500).