tactical
English
Etymology
Adjective
tactical (not comparable)
- of, or relating to tactics
- 2012 June 2, Phil McNulty, “England 1-0 Belgium”, in BBC Sport[1]:
- As in the 1-0 win against Norway in Oslo, this was an England performance built on the foundations of solid defence and tactical discipline.
- of, or relating to military operations that are smaller or more local than strategic ones
- adroit, skilful or ingenious
- (firearms) having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration
Derived terms
- tactical aeromedical evacuation
- tactical air command center
- tactical air commander
- tactical air control center
- tactical air control party
- tactical air coordinator
- tactical air direction center
- tactical airfield fuel dispensing system
- tactical air groups
- tactical air officer
- tactical air operation
- tactical air operations center
- tactical air reconnaissance
- tactical air support
- tactical air support element
- tactical air transport operations
- tactical assembly area
- tactical call sign
- tactical combat force
- tactical concept
- tactical control
- tactical deception group
- tactical digital information link
- tactical diversion
- tactical event system
- tactical exploitation of national capabilities
- tactical information processing and interpretation system
- tactical intelligence
- tactical intelligence and related activities
- tactical level of war
- tactical loading
- tactical locality
- tactical-logistical group
- tactically
- tactical map
- tactical minefield
- tactical mining
- tactical nuclear weapon employment
- tactical obstacles
- tactical operations center
- tactical range
- tactical reserve
- tactical security
- tactical sub-concept
- tactical transport aircraft
- tactical troops
- tactical unit
- tactical vehicle
- tactical warning
- tactical warning and assessment
- tactical warning and attack assessment
Translations
of or relating to tactics
|
Noun
tactical (plural tacticals)
- (computing) a combinator of proof tactics
- 2013, Adam Chlipala, Certified Programming with Dependent Types:
- 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.