Resultats de la cerca

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ī

Donada una proposició p , la seva negació, que hom representa amb els símbols ¬ p , tilde p , p, és definida per la taula de veritat Quan dins un referencial predeterminat hom defineix un conjunt mitjançant una funció proposicional p x , la funció ¬ p x defineix el conjunt complementari La negació de proposicions representades amb símbols matemàtics, com a ∈ A, M ⊂ N, x = y, és representada usualment amb una ratlla inclinada damunt el símbol corresponent a ∉ A, M ⊄ N, x ≠ y La negació de proposicions en les quals intervenen quantificadors, cal fer-la amb molt de…

De família noble li fou, a més, concedit el títol de sir , estudià matemàtiques, física i ciències humanes a Cambridge La seva primera obra important, Principia Mathematica 3 volums, 1910-13, en collaboració amb Alfred North Whitehead , donà resposta, amb la teoria dels tipus , a la greu crisi de fonaments que afectava la teoria de conjunts, i alhora obrí un nou camp a la lògica formal, situant-la en el lloc fonamental entre les ciències que avui ocupa La filosofia russelliana, en contínua evolució en el curs de la llarga vida de l’autor, és coneguda amb el nom d’ atomisme lògic i conté…