Resultats de la cerca

Professor de la Universitat de Pennsilvània 1941, fou el creador de la lògica combinatòria en sistematitzar la teoria esbossada per Schönfinkel durant el segon decenni del s XX L’estudi de les aplicacions d’aquests nous conceptes i l’extensió de llur camp d’acció constitueixen el material de Combinatory Logic 1958, escrita en collaboració amb Robert Feys Treballà també en els camps de la metalògica i la fonamentació de les matemàtiques, adscrit en tot a l’escola formalista

El 1680 gravà el retrat del capità general de Catalunya Alexandre de Bournonville aquell mateix any obrà una Puríssima per a la seu de Girona i, anys més tard, la llàntia d’argent de la capella dotada per Diego Girón de Rebolledo a la catedral de Tarragona i les joies per a la capella de la Concepció de la mateixa seu El 1689 féu les aplicacions d’argent que adornen les tapes del Llibre de les bosses del consell municipal barceloní

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ī

Conegut des de temps antic Abelard, els escolàstics i G Bruno, entre altres, n'oferiren diverses formulacions, aquest principi fou enunciat en la seva forma més madura per Leibniz “cap fet no pot ésser ver o existent i cap enunciat no pot ésser vertader, si no es dóna una raó suficient perquè sigui així i no altrament” Relacionat amb el principi de causalitat —tant l’eficient com, sobretot, la final— i, per alguns, àdhuc amb el principi de no-contradicció contradicció, el principi de raó suficient inclou diversos aspectes un de logicognoseològic, un altre d’ontològic i fins i tot…

Actualment, tots els processos que integren l’enquadernació estan mecanitzats enquadernació mecànica i, en molts casos, gairebé totalment automatitzats La primera de les operacions que hom duu a terme amb els fulls ja impresos consisteix a plegar-los a la mida desitjada en quaderns de 4, 6, 8, 12, 16 o 32 pàgines En l'alçada, hom procedeix a agrupar per ordre els diferents quaderns que formen un volum per mitjà de les signatures signatura Posteriorment, els fulls es cusen i hom fixa les guardes guarda a les pàgines primera i darrera El bloc així obtingut es talla pels tres costats lliures…