BeDict Logo

tactical

/ˈtæktɪkəl/ /ˈtæktɪkl/
Визуальная иллюстрация tactical: Комбинатор тактик доказательства
noun

Комбинатор тактик доказательства

Код Coq использовал комбинатор тактик, который автоматически объединял несколько более простых шагов доказательства, что делало процесс верификации намного быстрее.

Визуальная иллюстрация tactical: Тактическое военно-историческое мероприятие, реконструкция боя
noun

Тактическое военно-историческое мероприятие, реконструкция боя

Исторический клуб организовал тактическое военно-историческое мероприятие, включавшее имитацию сражений и осады.

Визуальная иллюстрация tactical: Тактический - Image 1
tactical: Тактический - Thumbnail 1
tactical: Тактический - Thumbnail 2
adjective

Тактический план команды по сбору средств для школы включал установку киосков в разных частях школьного двора для максимального охвата.

Визуальная иллюстрация tactical: Тактический, искусный - Image 1
tactical: Тактический, искусный - Thumbnail 1
tactical: Тактический, искусный - Thumbnail 2
tactical: Тактический, искусный - Thumbnail 3
adjective

Тактический, искусный

Тактический подход студента к учебе, сосредоточенный в первую очередь на ключевых концепциях, помог ему преуспеть на экзаменах.

Визуальная иллюстрация tactical: Тактический, имеющий военный вид
adjective

Тактический, имеющий военный вид

Тактический рюкзак солдата с его черным камуфляжем и регулируемыми ремнями хорошо подходил для сложной местности.