Resultats de la cerca
Es mostren 90 resultats
Francesc d’Assís Sales i Vallès
Matemàtiques
Matemàtic.
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
Boeci
Filosofia
Literatura
Cristianisme
Filòsof, teòleg i escriptor llatí.
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…
declaració
Electrònica i informàtica
Definició de cadascun dels elements, i dels seus atributs, que s’utilitzaran en l’execució d’un programa.
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…
David Hilbert
Matemàtiques
Matemàtic alemany.
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
simulació
Matemàtiques
Tècnica emprada en investigació operativa.
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’…
CMOS
Electrònica i informàtica
Conjunt constituït per un transistor d’efecte de camp de metall-òxid-semiconductor de canal n muntat en sèrie amb un de canal p.
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…
àlgebra de Boole
Matemàtiques
Conjunt A en què s’han definit una operació unitària ¬ i dues operacions binàries ∨ i ∧, i amb dos elements distingits 0 i 1, de manera que per tot x, y, z de A se satisfan les següents propietats:
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…
axiomatització
Filosofia
Matemàtiques
Utilització, per part d’una ciència, d’una estructura formalitzada o sistema purament abstracte i formal, que parteix d’uns axiomes o postulats i s’expressa en un simbolisme el més precís possible (axiomàtica).
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…
Francis Herbert Bradley
Filosofia
Filòsof anglès.
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…
lògica d’injecció integrada
Electrònica i informàtica
Família de circuits lògics basats en el transistor bipolar.
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…