Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

Gestão do ambiente e energia no sector dos serviços: caso estudo Logica

Num mundo globalizado, a competitividade entre organizações está a aumentar e tal como a Teoria de Darwin apenas sobrevivem os mais aptos, aqueles que se diferenciam pela inovação e sustentabilidade. Neste âmbito, a certificação pela norma ISO 14001 é encarada como uma norma de qualidade ambiental que permite diferenciar a organização pelas suas práticas. Este trabalho insere-se no protocolo de colaboração entre a FCT-UNL e a Logica TI Portugal e tem como objectivo principal a realização de uma auditoria ambiental a esta última. A auditoria consistiu no diagnóstico ambiental da organização e análise da distância à ISO 14001. Os resultados do diagnóstico indicam que os domínios ambientais significativos da organização são o consumo de energia eléctrica, a produção de resíduos, emissões atmosféricas e o consumo de papel e toners. Em relação ao cumprimento da ISO 14001, a organização já possui requisitos implementados pois é certificada pela ISO 9001 – Sistemas de Gestão da Qualidade que contem requisitos comuns. Uma vez que existe uma Política de Ambiente do grupo definida falta implementar processos que a realizem. Os resultados obtidos no diagnóstico ambiental permitiram apresentar recomendações para melhorar o desempenho ambiental da organização. Por outro lado, os resultados da distância à ISO 14001 permitiram elaborar tópicos para a implementação futura de um Sistema de Gestão Ambiental com base nos requisitos desta norma

1.° Joannis de Sacrobosco tractatus de sphaera, cum Joannis Anglici commentario. — 2.° Summa Lamberti de logica. — 3.° Communia super totam logicam, grammaticam, et super mathematicas scientias : authore anonymo.

Colbertinus

Convictio logica

Invocatio: [Alpha et Omega].

[Quaestiones de logica].

Passé entre les mains du chanoine Bernard Collot, principal du collège de Fortet de 1704 à 1735 et donné par lui à la Bibliothèque du roi en 1751; cf. notice du latin 8869; — château d'Anet

Summula mag. Lamberti de logica.

Ex-libris : f.1 : « ex bibliotheca Corbeiensis Monasterii » ; — « Sti Germani a Pratis »

anonymi tractatus de logica.

Colbertinus

Logica Alberti de Saxonia.

Fonds non déterminé.

Nuevo sistema de logica inducativa y deductiva

UANL