Resultats de la cerca
Es mostren 4 resultats
decidible
Lògica
Dit del càlcul, o del mètode lògic corresponent, en què hom pot decidir si una fórmula és o no un teorema.
càlcul lògic
Lògica
Sistema de signes no interpretats, en el qual els enunciats són tractats algorísmicament ( algorisme
) i les formacions i les operacions s’efectuen d’acord amb unes regles explícites.
El càlcul és objecte de la sintaxi lògica , i opera amb esquemes formals, independentment de tota significació o contingut, per tal d’evitar les ambigüitats i les impropietats del llenguatge ordinari Consta d’un conjunt de símbols elementals, d’unes regles de formació i combinació de símbols i d’unes regles de transformació Per a ésser vàlid, el càlcul ha d’ésser consistent, complet i decidible Esbossat ja en Ramon Llull i més tard en Leibniz, aconseguí el primer desenvolupament important amb l’àlgebra de la lògica del s XIX George Boole, Ernst Schröder, i ha estat perfeccionat…
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…
Informàtica 2012
Electrònica i informàtica
A més de ser l'any del centenari del naixement d'un dels pares de la informàtica i la intelligència artificial, Alan Turing, l'any 2012 va portar prou novetats més o menys esperades nous sistemes operatius Windows 8 de Microsoft, noves versions del més famós dels populars telèfons intelligents iPhone 5, noves versions de consoles de joc la Wii U de Nintendo i, també, l'atenció creixent per la informàtica verda green computing , fins i tot en l'àmbit dels grans superordinadors com el MinoTauro del BSC-CNS de Barcelona En un altre àmbit de coses, cal esmentar la sorpresa del tancament, per l'…