tactical background
BeDict Logo

tactical

/ˈtæktɪkəl/ /ˈtæktɪkl/

Meanings

noun

Combinateur tactique

A combinator of proof tactics.

Examples :

Le code Coq utilisait un combinateur tactique qui combinait automatiquement plusieurs étapes de preuve plus simples, ce qui rendait le processus de vérification beaucoup plus rapide.
noun

Événement de reconstitution de guerre tactique, reconstitution de bataille simulée

Examples :

Le club d'histoire a organisé un événement de reconstitution de guerre tactique, avec des batailles simulées et des sièges simulés.
adjective

Examples :

Le plan tactique de l'équipe pour la collecte de fonds de l'école consistait à installer des stands dans différentes parties de la cour de l'école afin de maximiser la visibilité.
adjective

Examples :

Le sac à dos tactique du soldat, avec son camouflage noir et ses sangles réglables, était bien adapté au terrain difficile.