TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

TOPOS [2 fiches]

Fiche 1 1997-11-11

Anglais

Subject field(s)
  • Various Proper Names
  • Data Banks and Databases
  • Toponymy

Français

Domaine(s)
  • Appellations diverses
  • Banques et bases de données
  • Toponymie

Espagnol

Campo(s) temático(s)
  • Denominaciones varias
  • Bancos y bases de datos
  • Toponimia
Conserver la fiche 1

Fiche 2 1989-07-23

Anglais

Subject field(s)
  • Artificial Intelligence
  • Software
  • Mathematics
CONT

The word topos was used for any category whose structure is sufficiently like Set, the category whose objects are crisp sets and whose morphisms are the set functions. It topos, basic set-theoretical constructions behave much as they do in Set itself. ... The principles of classical logic are represented in Set by operations on a certain set ... the two element Boolean Algebra. Each topos has an analogue or this algebra, and thus, each topos has its own logical calculus. This calculus differs from classical logic. In general, the logical principles that hold in a topos are those of intuitionistic logic, which does not accept the principle of excluded middle.

Français

Domaine(s)
  • Intelligence artificielle
  • Logiciels
  • Mathématiques
OBS

Comparer à locus-loci.

Espagnol

Conserver la fiche 2

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :