Resultats de la cerca
Es mostren 3 resultats
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…
Enric Trillas i Ruiz
Matemàtiques
Matemàtic.
Llicenciat 1964 i doctorat 1972 per la Universitat de Barcelona, en 1974-85 fou catedràtic de matemàtica a l’Escola d’Arquitectura de Barcelona ETSAB, adscrita a la Universitat Politècnica de Catalunya , de la qual també fou catedràtic en 1985-1989 En aquesta universitat fou, a més, subdirector de la ETSAB, vicedegà de la Facultat d’Informàtica i vicerector d’ordenació acadèmica 1980-1982 i d’extensió universitària 1982-1983 Del 1989 al 2006 fou catedràtic de computació i intelligència artificial a la Universitat Politècnica de Madrid President del Consell Superior d’…
auxiliar
Matemàtiques
Dit de les variables que s’introdueixen per a facilitar una computació i que, una vegada efectuada, s’eliminen.