Diferència entre revisions de la pàgina «Algorisme»
De Wikisofia
m (bot: - per decidir si + per a decidir si) |
m (bot: - 830 d. de C., + 830 dC,) |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | «Algorisme», en la seva forma més antiga i correcta, que procedeix del-Khwarizmi -Abu Abd Allah al-Khwarizmi-, matemàtic persa que, cap al 830 | + | «Algorisme», en la seva forma més antiga i correcta, que procedeix del-Khwarizmi -Abu Abd Allah al-Khwarizmi-, matemàtic persa que, cap al 830 dC, va compondre un manual d'aritmètica, titulat ''Kitab al jabr wal-muqabala ''(en el qual apareix també la paraula «àlgebra»). Procediment o sistema de [[càlcul lògic|càlcul]] que, en un nombre finit de passos, permet solucionar un problema. És, per tant, un [[mètode|mètode]] efectiu o un procediment que pot ser portat a la pràctica gairebé d'una manera mecànica. Rep també el nom de [[procediment de decisió|procediment de decisió]]. Les [[Lògica#Taules_de_veritat|taules de veritat]] són un exemple d'algorisme, ja que són un procediment que pot aplicar-se a qualsevol fórmula de la [[lògica|lògica d'enunciats]] per a decidir si és o no una [[tautologia|tautologia]] o un [[teorema|teorema]]. |
Encara que el concepte és modern (del segle XX), en l'antiguitat s'usaven també algorismes. | Encara que el concepte és modern (del segle XX), en l'antiguitat s'usaven també algorismes. | ||
Revisió del 16:58, 15 oct 2017
«Algorisme», en la seva forma més antiga i correcta, que procedeix del-Khwarizmi -Abu Abd Allah al-Khwarizmi-, matemàtic persa que, cap al 830 dC, va compondre un manual d'aritmètica, titulat Kitab al jabr wal-muqabala (en el qual apareix també la paraula «àlgebra»). Procediment o sistema de càlcul que, en un nombre finit de passos, permet solucionar un problema. És, per tant, un mètode efectiu o un procediment que pot ser portat a la pràctica gairebé d'una manera mecànica. Rep també el nom de procediment de decisió. Les taules de veritat són un exemple d'algorisme, ja que són un procediment que pot aplicar-se a qualsevol fórmula de la lògica d'enunciats per a decidir si és o no una tautologia o un teorema.
Encara que el concepte és modern (del segle XX), en l'antiguitat s'usaven també algorismes.
Veure màquina de Turing.