Resultats de la cerca

La lògica algèbrica tracta, doncs, les estructures que presenten les diferents lògiques i d’aquesta manera arriba a trobar estructures algèbriques —poc usuals en l’àmbit de l’àlgebra clàssica— com són, entre d’altres, les àlgebres de Hilbert, de Heyting, d’Abbott, de Boole, de Wajsberg, monàdiques, poliàdiques i cilíndriques

Professor de les universitats de Manchester i Londres Establí la teoria de la utilitat marginal del valor, basada en la satisfacció de les necessitats de l’home amb un mínim esforç maximització de la satisfacció Desenvolupà la lògica combinatòria a partir de l’àlgebra de Boole La seva obra comprèn, entre altres, Theory of Political Economy 1871, The Principles of Science 1874 i Investigations in Currency and Finances recull, 1884

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…

Fou professor de matemàtiques a l’University College de Londres 1828-66, excepte durant el període 1831-36, i el primer president de la London Mathematical Society, fundada l’any 1866 En un dels seus primers treballs, Elements of Arithmetic 1831, tractà, des del punt de vista filosòfic, dels conceptes de nombre i magnitud Les seves contribucions més importants són en el camp de la lògica simbòlica, i, juntament amb Boole, pot ésser considerat l’impulsor d’aquest nou corrent durant la primera meitat del s XIX En són remarcables, també, els treballs que fan referència a la…

Es graduà en matemàtiques i enginyeria elèctrica a la Universitat de Michigan 1936, i posteriorment amplià estudis al MIT, on es doctorà en matemàtiques 1940 i collaborà amb Vannevar Bush en l’estudi de l’aplicació de l’àlgebra de Boole a la commutació de circuits elèctrics Compaginà la recercà als Bell Laboratories 1941-72, on durant la Segona Guerra Mundial treballà en criptografia i el desenvolupament de sistemes antimíssils, i la docència al MIT 1958-78 És el creador de la moderna teoria de la informació , basada en el dígit binari bit com a unitat elemental d’informació En…

Basada en els treballs del matemàtic anglès GBoole 1847, assolí importància pràctica amb els mètodes de Shannon 1938 i d’altres Té importants aplicacions en automàtica, informàtica, electrotècnia i electrònica, com, per exemple, per al tractament automàtic de dades, el càlcul i el control numèrics, la telefonia automàtica, la conversió analògica digital, i especialment, els sistemes automàtics combinatoris i seqüencials Generalment hom empra l’anomenada lògica binària , que permet d’expressar convenientment l’estat de magnituds, quantitats, posicions, etc, que només poden prendre dos valors,…

Dóna, per a les diferents variables d’entrada, els valors de l’operació donada tenint en compte totes les combinacions possibles dels valors de les dites variables

Aquest terme fou utilitzat per primer cop per L Torres Quevedo, el qual classificà els elements que componien els sistemes automàtics en òrgans d’acció, òrgans de mesura, òrgans de govern i òrgans de transmissió Cal distingir entre automàtica teòrica i aplicada La primera consisteix en l’estudi matemàtic del comportament dels sistemes automàtics, mentre que la segona tracta dels problemes pràctics de l’automatització L’automàtica, doncs, presenta lligams de relació amb les matemàtiques, la teoria de la informació, la informàtica i l’enginyeria Els sistemes automàtics presenten de forma més o…