Resultats de la cerca

Germà de Joan Sales i Vallès Doctorat el 1946, obtingué dues vegades el premi Torres Quevedo del Centre Superior d’Investigacions Científiques pels seus treballs en el camp de les probabilitats Després els seus estudis derivaren cap a la lògica algèbrica i l’anàlisi aprofundida de les estructures algèbriques dels sistemes lògics Catedràtic d’estadística matemàtica i càlcul de probabilitats 1958, primer a la Universitat de Granada i des del 1961 a la de Barcelona, fou acadèmic numerari de l’Acadèmia de Ciències i Arts de Barcelona 1976

De l’antiga família dels Anicii, rebé una bona formació clàssica, estudià els autors grecs a Atenes i es proposà de fer-los conèixer a Roma Entrà després al servei del poder ostrogot, i arribà a ésser cònsol i magister palatii del rei Teodoric fins que, acusat de traïció, fou empresonat a Pavia i executat Bé que en les seves obres majors no intervé com a tema la fe cristiana, sembla definitivament confirmat el caràcter cristià de Boeci A l’alta Itàlia és venerat com a màrtir des del segle VIII Pensador eclèctic i bon hellenista, una mort prematura li impedí completar el projecte de traduir i…

La funció de les declaracions és múltiple d’una banda documenten el programa i n'augmenten la llegibilitat de l’altra, donen informació al compilador o al muntador de com o on ha de cercar les dades A més, les declaracions permeten que en temps d’execució es puguin comprovar certs errors semàntics, que sovint reflecteixen errors de plantejament de la programació, els anomenats errors lògics Tot i això, alguns llenguatges de programació, no tipats o feblement tipats, permeten l’ús d’elements no definits Basic, C, mentre que els llenguatges fortament tipats exigeixen declaracions exhaustives…

Estudià a Heidelberg, a Leipzig i a París, i fou catedràtic a Königsberg i a Göttingen Dedicat a la lògica matemàtica, aplicà a la geometria els nous instruments lògics introduïts per Peano Fou el cap de l’escola formalista i el creador de la metamatemàtica, s’esforçà per provar la consistència del sistema axiomàtic i inventà un simbolisme que, juntament amb els de Russell i Lukasiewicz, ha trobat una amplíssima audiència en el món científic Introduí el concepte d’espai que avui porta el seu nom, i fou l’autor de Grundlagen der Geometrie ‘Fonaments de geometria’, 1899

Consisteix a construir un model simbòlic d’un sistema o d’un procés complex, de manera que els seus elements siguin representats mitjançant els processos lògics i aritmètics que hom pot executar amb un programa d’ordinador, a fi d’estudiar el comportament del sistema i mesurar-ne les propietats dinàmiques, a base d’obtenir les característiques estadístiques del dit comportament Això permet d’avaluar i comparar diferents estratègies d’operació del sistema, sense que aquest existeixi realment Les aplicacions més conegudes d’aquesta tècnica han estat fetes en l’estudi de xarxes d’…

Constitueixen una família de circuits lògics que es caracteritzen per tenir un consum molt baix de potència, perquè només en consumeixen quan canvien d’estat La seva velocitat i densitat d’integració són intermèdies entre les assolides per les tecnologies NMOS i PMOS És el més utilitzat actualment La raó del seu gran èxit és que aquests xips consumeixen molta menys potència que els basats en altres tecnologies Això els fa especialment aptes per a dispositius que funcionen amb bateries, com els ordinadors portàtils En particular, utilitzen aquesta tecnologia la memòria dels…

Els subconjunts d’un conjunt donat U formen una àlgebra de Boole amb les operacions de complementació, reunió i intersecció Els elements distingits són el conjunt buit i U En una àlgebra de Boole es pot definir un ordre parcial de la següent manera x ≤  y si, i solament si, x ∧ y = x o, equivalentment, x ∨  y = y Hom ha aplicat l’àlgebra de Boole en teoria de probabilitats, i en el disseny dels circuits elèctrics en què es basen les unitats lògiques dels ordinadors En aquest cas els connectors lògics ∧, ∨ i ¬ són reemplaçats per operacions físiques 1 passa el corrent 0 no passa…

L’axiomatització té la seva aplicació sobretot en lògica i matemàtiques L’axiomatització d’una ciència pot ésser feta de diverses maneres, puix que per a cada una hi ha diversos sistemes d’axiomes equivalents L’elecció d’un sistema d’axiomes o altre depèn del fi de base crítica dels fonaments, exposició didàctica, aplicacions tècniques, etc Una de les tendències de la lògica actual és de descobrir els mètodes més precisos d’axiomatització i una teoria completa dels símbols lògics per poder fomalitzar tant com sigui possible tots els sistemes L’axiomatització d’una teoria…

Exercí una gran influència en el neohegelianisme d’Oxford En The Principles of Logic 1883 continuà i perfeccionà la forma hegeliana de tractar els temes lògics propis del concepte tradicional d’aquesta disciplina, principalment les formes de judici i sillogisme S'interessà més tard per la lògica inductiva de Stuart Mill, i s’oposà, per contra, a l’utilitarisme moral, al qual contraposà la idea kantiana de bona voluntat com a principi de validesa universal En Appearance and Reality 1893 barrejà hegelianisme i spinozisme, amb un sentit místic poc hegelià, que posà la superació de…

El circuit consisteix en tres transistors npn multicollectors, amb els terminals collectors connectats per a formar una porta I Els multicollectors permeten d’obtenir funcions lògiques intermèdies A l’entrada de cada transistor hi ha una font de corrent, dita injector de corrent, constituïda per un transistor pnp Merged transistor l’emissor del qual és constituït per la base del transistor d’entrada A causa d’això la família lògica IIL presenta la densitat d’integració més alta de totes les famílies lògiques bipolars, amb un consum de potència molt menor que els circuits TTL , tot i que són…