Логика (en. Logic)
Translation into Russian
In computer science and logic, a dependent type is a type that depends on a value.
Зависимый тип в информатике и логике - тип, который зависит от некоторого значения.
Example taken from data source: Wikipedia_v1.0 "They believe that it defies logic, the laws of physics as well as common sense" Crump said.
"Они считают, что это противоречит логике, законам физики, а также здравому смыслу", - сказал Крамп.
Example taken from data source: WMT-News_v2019 Once the infrastructure becomes generically available, the logic of the support group has been revealed to be accessible to anyone, including people pursuing these kinds of goals.
Как только инфраструктура стала общедоступной, логика групп поддержки стала открытой для всех, включая людей, преследующих подобные цели.
Example taken from data source: TED2013_v1.1 Create something out of nothing with the pure power of logic.
Создать что-то из ничего с помощью чистой силы логики.
Example taken from data source: NeuLab-TedTalks_v1 The file where the programmer writes user-interface logic.
Файл, в котором программист описывает логику пользовательского интерфейса.
Example taken from data source: Wikipedia_v1.0 They sell their own range of Logic 3 branded products, and do not have any connection to the old Spectravideo products.
Компания занимается продажей собственной линейки продуктов под маркой Logic 3, и не имеет никакого отношения к старой продукции Spectravideo.
Example taken from data source: Wikipedia_v1.0 He's using a Sino-Logic 16, GPL stealth module.
Он использует Sino-Logic 16, модуль шифрования GPL.
Example taken from data source: OpenSubtitles_v2018