Resultats de la cerca
Es mostren 6 resultats
conjunt recursiu
Matemàtiques
Conjunt X
en la seva funció característica 1 x
és recursiva o computable.
Dit més informalment, un conjunt X és recursiu quan existeix un algorisme que permet de decidir la resposta a la pregunta ' x ∈ X'
problema diofàntic
Matemàtiques
Un dels 23 problemes que David Hilbert plantejà l’any 1900 al Congrés Internacional de Matemàtiques com a problemes que caldria resoldre durant el segle XX.
Segons aquest, donat un polinomi amb coeficients sencers, de grau i nombre d’incògnites arbitraris i tots nuls llevat d’un nombre finit, hi ha un algorisme que permeti de decidir si té solució sencera La resposta negativa fou donada finalment pel matemàtic rus Iurij Matijasevicz l’any 1970
problema de les paraules
Matemàtiques
Problema d'àlgebra.
D’una banda si hom disposa d’un alfabet finit OOO = {a 1 ,,a n } i, per concatenació, construeix els mots M = ζ 1 ζ r , on cada símbol ζ i és una de les lletres a j ∈ OOO d’aquest alfabet i r ∈ ℕ si, d’altra banda, hom disposa d’un cert diccionari que estableix l’equivalència de certes parelles de mots i, finalment, hom accepta el fet que, en substituir en un mot M = M 1 mM 2 un cert sumbmot m per un altre mot m´ equivalent, obté un mot equivalent M´ = M 1 m' M 2 Cal plantejar la pregunta següent donats dos mots arbitraris M i N , hi ha algun algorisme que permeti…
test d’hipòtesis estadístiques
Matemàtiques
Donada una mostra de grandària n, ( x1,...,xn ), formada per n realitzacions o observacions independents d’un cert fenomen o experiment.
Aquest mètode permet de decidir, a partir de les dades observades, si una hipòtesi estadística que hom ha fet sobre el model probabilístic del fenomen és correcta o no ho és Aquesta decisió hauria d’ésser presa sempre amb un cert grau d’incertesa Els problemes que tracta de resoldre aquesta teoria poden ésser, per exemple, decidir quin dels dos mètodes diferents de fabricació de bombetes elèctriques dona una mida mitjana més gran, o bé saber, a partir d’una sèrie d’anàlisis, si un malalt té una certa malaltia Sovint el model probabilístic consisteix en una llei de…
prova de significació
Matemàtiques
En la teoria de contrasts d’hipòtesi, prova que hom fa per decidir si els valors observats permeten de rebutjar la hipòtesi dins un nivell convingut i amb una probabilitat adequada.
teoria de la computació
Matemàtiques
Branca de les matemàtiques que estudia problemes de decidibilitat.
Com és usual en la història de les matemàtiques, té orígens aparentment molt diferents que finalment conflueixen i permeten d’establir el que esdevé una teoria enormement potent i irrenunciable Cal remarcar-ne el problema diofàntic plantejat per David Hilbert l’any 1900, i el problema de les paraules que sorgí en el món de la topologia algèbrica Es tracta de dos problemes típics de decidibilitat és a dir, aquells en què cal disposar d’un mètode que permeti de decidir una o altra de dues opcions atesa una equació diofàntica, té solució, són equivalents dues paraules donades per endavant L’any…