Meaning of Tactical | Babel Free
ˈtæktɪk(ə)lDefinitions
- A combinator of proof tactics.
- A private war reenactment event involving mock battles or skirmishes.
Equivalents
العربية
تكتيكي
Azərbaycanca
taktiki
Беларуская
тактычны
Bosanski
taktika
Català
tàctic
Čeština
taktický
Deutsch
taktisch
Ελληνικά
τακτικός
Esperanto
taktika
فارسی
تاکتیکی
Suomi
taktinen
Français
tactique
Gaeilge
beartach
Hrvatski
taktika
Magyar
taktikai
Italiano
tattico
Қазақша
тактикалық
Latviešu
taktisks
Nederlands
tactisch
Polski
taktyczny
Português
tático
Română
tactic
Русский
тактический
Српски
taktika
Svenska
taktisk
Українська
тактичний
Examples
“The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.”
CEFR level
C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.
This word is part of the CEFR C1 vocabulary — advanced level.
See also
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free