Ukrainian ⇄ English

А Б В Г Ґ Д Е Є Ж З И І Ї Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ь Ю Я '   <<  >>

Terms for subject Information technology (40369 entries)

довговічний	long-life
довгострокове використання	long-term use
довготривала надійність	solid-state reliability
довготривалий	non-volatile
довготривалий	time-consuming
довгочасна експлуатація	long-term use
довгочасна надійність	rock-steady reliability
довгочасна операція	time consuming operation
довгочасне з'єднання	long-lived connection
довгочасний	of long standing
доведення	inference
доведення	program verification
доведення	reason
доведення	reasoning
доведення знизу вгору	bottom-up reasoning
доведення методом перебирання варіантів	enumerative reasoning
доведення правильності алгоритму	algorithm validation
доведення правильності завершення роботи	proof of termination
доведення правильності програми	program proof
доведення типу "від мети до фактів"	backward-chaining