tacticaladj/ˈtæktɪk(ə)l/

• 1

  Of or relating to tactics.

  • 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.
• 2

  Of or relating to military operations that are smaller or more local than strategic ones.

  • tactical nuclear weapon
  • There are already hopes that actual tactical surprise has been attained, and we hope to furnish the enemy with a succession of surprises during the course of the fighting.
• 3

  Adroit, skilful or ingenious.

• 4

  engineeringfirearmsgovernmentHaving a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration.

tacticalnoun/ˈtæktɪk(ə)l/

• 1

  computingengineeringmathematicsA combinator of proof tactics.

  • 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.
• 2

  A private war reenactment event involving mock battles or skirmishes.