Resultats de la cerca
Es mostren 23 resultats
algorisme
Lògica
Matemàtiques
Procediment de càlcul que amb un conjunt ordenat i finit d’instruccions, de símbols i regles o d’operacions, permet trobar la solució d’un problema pas a pas o de forma recursiva.
S’aplica en tots els casos en què l’ús d’una estratègia ordenada i iterativa facilita l’obtenció de solucions Destaquen els algorismes típicament numèrics com el de calcular arrels quadrades o cúbiques, o l’algorisme d’Euclides, per a calcular el màxim comú divisor de dos nombres enters, però també són molt importants avui els algorismes subjacents a molts programes informàtics vàlids per a càlculs matemàtics, així com per a moltes altres aplicacions optimització, jocs, organització, etc Rep el nom del matemàtic persa Muḥammad ibn Mūsà al-Ḫwārizmī
algorisme heurístic
Matemàtiques
Electrònica i informàtica
Algorisme que en un procés d’optimització no garanteix l’obtenció d’una solució òptima, sinó tan sols d’una solució bona.
algorisme d’Euclides
Lògica
Matemàtiques
Successió de divisions enteres que condueixen a la determinació del màxim comú divisor
(mcd) de dos nombres enters.
Així, el mcd dels nombres a i b s’obté fent ab que dóna resta r, br que dóna resta r 1 , rr 1 que dóna resta r 2 , etc La darrera resta no nulla és el mcd dels membres a i b
papir de Moscou
Matemàtiques
Papir del 1800 aC escrit en hieràtic.
Conté 19 problemes matemàtics, quatre dels quals fan referència a la geometria La seva importància radica en el fet que un d’aquests problemes conté el càlcul del tronc de piràmide, i l’algorisme que hom utilitza és absolutament correcte Cal esperar quinze segles per trobar un altre document amb aquesta fórmula o algorisme ℕdesigna el conjunt dels nombres naturals El conjunt ℕdels nombres naturals és la intersecció de tots els conjunts inducttius, és a dir, és el més petit dels conjunts inductius i conté 0 = 0, 1 = 0 ∪{0}, 2 = 1 ∪{1}, , n + 1 = n ∪{ n }, que són els nombres naturals
conjunt recursivament enumerable
Matemàtiques
Conjunt X
quan és la imatge d’una funció recursiva; és a dir, si X
= Im f
, a on f
és una funció recursiva o computable.
Dit més informalment, un conjunt X és recursivament enumerable si hi ha un algorisme que construeix el conjunt element a element
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
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…
Gabriel Cramer
Matemàtiques
Matemàtic suís.
Fou catedràtic de matemàtiques 1724-27 i de filosofia 1750-52 a la Universitat de Ginebra En Introduction à l’analyse des courbes algébriques 1750 exposà la teoria newtoniana de les corbes algèbriques i les classificà segons el grau de l’equació El 1750 reintroduí l’algorisme —equivalent als determinants—, que ja al final del s XVII Leibniz havia emprat per a resoldre sistemes d’equacions lineals amb unes quantes incògnites regla de Cramer Edità les obres de Jean i Jacques Bernoulli i part de la correspondència de Leibniz