Connectiquevignette|Connecteurs circulaires (mâle et femelle) à 35 pins. La connectique désigne l’ensemble des procédés et techniques qui permettent d'établir une connexion fiable entre des systèmes électriques ou électroniques distincts. Elle est utile à la fois à la transmission de l'énergie et à celle des données. Représentée par des connecteurs, ensembles parfois appelés fiches et prises, la connectique est omniprésente dans notre vie.
Connecteur BNCLe connecteur BNC (Bayonet Neill–Concelman connector) est un connecteur électrique utilisé en terminaison de câble coaxial, en particulier dans le domaine radio-fréquence. Simple d'utilisation et rapide à fixer, il s'agit d'un connecteur tubulaire portant, sur sa partie femelle, deux petites broches baïonnette diamétralement opposées qui s'encastrent dans des encoches situées sur le connecteur mâle. La fixation est assurée en effectuant un quart de tour à la bague qui enserre le connecteur.
Symbolicsthumb|Clavier de la machine Lisp Symbolics 3600 Symbolics (Symbolics, Inc) est une entreprise informatique américaine fondée en 1979 par Russell Noftsker dont l'objectif était de commercialiser les machines Lisp du laboratoire d'intelligence artificielle du MIT. Symbolics représente la principale raison qui motiva Richard Stallman dans son projet GNU. Stallman commença par s'attaquer directement à Symbolics en implémentant le code de leur machine Lisp dans le sien, puis en transmettant ce travail à leur concurrent.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Opération unaireEn mathématiques et en programmation informatique, une opération unaire, aussi appelée une fonction monadique, est une opération à un opérande ou une fonction à un seul argument. Valeur absolue ( |x| ) d'un nombre réel. Opposé ( -x ) d'un nombre réel. Carré ( x2 ) d'un nombre réel. Inverse ( g-1 ) d'un élément d'un groupe. Exponentielle, . Exponentielle de base a, . Dans la famille des langages C, les opérations suivantes sont unaires : Incrément : ++x, x++ Décrément : −−x, x−− Adresse ou référence : &x In
Symbolic artificial intelligenceIn artificial intelligence, symbolic artificial intelligence is the term for the collection of all methods in artificial intelligence research that are based on high-level symbolic (human-readable) representations of problems, logic and search. Symbolic AI used tools such as logic programming, production rules, semantic nets and frames, and it developed applications such as knowledge-based systems (in particular, expert systems), symbolic mathematics, automated theorem provers, ontologies, the semantic web, and automated planning and scheduling systems.
Mise en œuvreLa mise en œuvre est le fait de mettre en place un projet. En ingénierie et plus particulièrement en informatique, la mise en œuvre désigne la création d’un produit fini à partir d’un document de conception, d’un document de spécification, voire directement depuis une version originelle ou un cahier des charges. L’utilisation de l’anglicisme « implémentation », de l'anglais to implement, est courante (et acceptée).
Opérateur (informatique)En programmation informatique, un opérateur est une fonction spéciale dont l'identificateur s'écrit généralement avec des caractères non autorisés pour l'identificateur des fonctions ordinaires. Il s'agit souvent des équivalents aux opérateurs mathématiques pour un langage de programmation. Les opérateurs peuvent effectuer des opérations arithmétiques, booléennes ou agir sur des chaînes de caractères. Contrairement aux fonctions, les opérateurs fournissent souvent les opérations primitives du langage.
Relation d'équivalenceEn mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d'éléments qui se ressemblent, définissant ainsi la notion de classe d'équivalence, pour enfin construire de nouveaux ensembles en « assimilant » les éléments similaires à un seul et même élément. On aboutit alors à la notion d'ensemble quotient. vignette|upright=1.5|Sur cet ensemble de huit exemplaires de livres, la relation « .
Calcul formelLe calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes. Ainsi, un nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en base 2. Étant donné les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit.
