-
1 program proof
-
2 program proof
Большой англо-русский и русско-английский словарь > program proof
-
3 program proof
Компьютерная техника: доказательство правильности программы -
4 program proof
English-Russian dictionary of computer science and programming > program proof
-
5 program proof
-
6 program proof
English-Russian dictionary of computer science > program proof
-
7 formal program proof
формальное доказательство правильности программыБольшой англо-русский и русско-английский словарь > formal program proof
-
8 formal program proof
Вычислительная техника: формальное доказательство правильности программы -
9 formal program proof
English-Russian dictionary of computer science and programming > formal program proof
-
10 proof
1) доказательство || доказывать2) проверка3) обеспечивать сопротивляемость (напр., против неумелого использования)•- direct digital color proof
- formal program proof
- formal proof
- indirect proof
- irreducible proof
- page proof
- program proof
- proof of termination
- tree form proof
- variant proof
- zero proofEnglish-Russian dictionary of computer science and programming > proof
-
11 proof
[pru:f]proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса absolute proof определенное доказательство constructive proof конструктивное доказательство correctness proof доказательство правильности fictitious proof ложное доказательство final burden of proof окончательная обязанность доказывания final burden of proof окончательное бремя доказывания further proof дополнительное доказательство page proof полигр. корректурный оттиск со сверстанного набора page proof страничная корректура press proof полигр. сводка prima facie proof доказательство, достаточное при отсутствии опровержения produce proof предъявлять доказательство program proof вчт. доказательство правильности программы proof делать непроницаемым proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый proof делать пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof доказательство proof доказывание proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию proof испытание proof корректура; гранка; пробный оттиск (с гравюры) proof корректура proof недоступный, не поддающийся (лести и т. п.) proof недоступный proof непробиваемый proof непроницаемый (against); непробиваемый proof непроницаемый proof придавать непроницаемость proof проба proof пробирка proof пробный оттиск proof проверка proof мат. проверка proof (шотл.) рассмотрение дела судьей вместо суда присяжных proof свидетельское показание proof установленной крепости (о спирте) proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса proof by appearance доказательство, достаточное при отсутствии опровержения proof by appearance презумпция доказательства proof in slips полигр. корректура в гранках proof of debt банкрот. подтверждение доказательством заявления кредитора proof of evidence свидетельское показание proof of good character and repute рекомендательное письмо proof of identity доказательство подлинности proof of membership членский билет proof of nonnegligent behaviour доказательство отсутствия небрежности proof of paternity доказательство отцовства proof of posting контроль проводки proof of purchase доказательство покупки proof of service доказательство оказания услуги proof of termination вчт. доказательство правильности завершения работы proof of will доказывание завещания proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction proof полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen proof print. пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый proof непромокаемый плащ proof придавать водонепроницаемость written proof письменное доказательство -
12 proof
pru:f
1. сущ.
1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are confirmed by the most direct proof. ≈ Эти подозрения подтверждаются самыми прямыми доказательствами. ample proof clear proof conclusive proof convincing proof definite proof documentary proof incontestable proof indisputable proof irrefutable proof mathematical proof positive proof undeniable proof unquestionable proof б) юр. доказательство (виновности) (в форме свидетельских показаний, вещественных доказательств или какой-л. другой)
2) а) проверка, испытание;
проба Syn: test
1., trial
1., experiment
1. ;
examination, probation;
assay
1. б) мат. проверка ( правильности арифметических действий)
3) а) установленный градус крепости спирта above (under) proof ≈ выше (ниже) установленного градуса б) спирт установленной крепости
4) пробирка
5) фото первый, пробный отпечаток с пленки
6) а) корректура;
гранка б) пробный оттиск( с гравюры)
7) непроницаемость, защищенность( от чего-л.)
2. прил.
1) а) непроницаемый (against) ;
непробиваемый the proofest steel of Milan ≈ самая крепкая миланская сталь б) перен. недоступный, не поддающийся( лести и т. п.) в) используется как компонент сложных слов со значением 'гарантированно защищающий от чего-л.' a waterproof raincoat ≈ непромокаемый плащ ∙ Syn: strong, impenetrable, impervious, invulnerable
2) установленной крепости, определенной крепости (об алкогольных напитках)
3. гл.
1) а) делать непроницаемым и пр. [см. proof
2. ] б) спец. делать водонепроницаемым, придавать водонепроницаемость Syn: waterproof
3.
2) проверять, оценивать, испытывать а) полигр. вычитывать текст, осуществлять корректуру б) давать подходить тесту перед выпечкой в) делать пробный отпечаток с фотопленки Syn: test
2., estimate
2. доказательство;
подтверждение - * positive неопровержимое доказательство - documentary *, * by documentary evidence документальное доказательство - to give *s представить доказательства испытание, проверка, проба - * stick щуп, зонд( шотландское) (юридическое) судебное разбирательство без участия суда присяжных (полиграфия) корректура, пробный оттиск - * in galley, galley * гранки, корректура в гранках( полиграфия) пробный оттиск с гравюры( полиграфия) необрезанные края более узких и коротких листов книги (фотографическое) пробный отпечаток крепость( спирта) - above * выше установленного градуса пробирка неуязвимость;
непробиваемость непроницаемость;
герметичность защита( от чего-либо) - fool * автоматическое защитное приспособление, защита от неосторожного или неправильного обращения > the * of the pudding is in the eating чтобы узнать, каков пудинг, надо его попробовать;
все проверяется на практике, обо всем судят по результатам непроницаемый;
непробиваемый - * against bullets пуленепробиваемый - * against weather непромокаемый - to be * against water не пропускать воду;
быть водонепроницаемым не поддающийся, недоступный ( чему-либо) установленной крепости (о спирте) испытанный;
выдержавший испытание;
проверенный - * armour испытанное оружие как компонент сложных слов - fire-proof огнестойкий, огнеупорный - water-proof водонепроницаемый делать не поддающимся воздействию;
придавать стойкость, непроницаемость, непробиваемость - to * cloth делать материю водонепроницаемой (полиграфия) делать пробный оттиск (полиграфия) читать корректуру, гранки (фотографическое) делать пробный отпечаток испытывать;
проверять ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса absolute ~ определенное доказательство constructive ~ конструктивное доказательство correctness ~ доказательство правильности fictitious ~ ложное доказательство final burden of ~ окончательная обязанность доказывания final burden of ~ окончательное бремя доказывания further ~ дополнительное доказательство page ~ полигр. корректурный оттиск со сверстанного набора page ~ страничная корректура press ~ полигр. сводка prima facie ~ доказательство, достаточное при отсутствии опровержения produce ~ предъявлять доказательство program ~ вчт. доказательство правильности программы proof делать непроницаемым ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию ( чего-л.) ;
waterproof водонепроницаемый ~ делать пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ доказательство ~ доказывание ~ испытание;
проба;
to put (smth.) to the proof испытать( что-л.), подвергнуть( что-л.) испытанию ~ испытание ~ корректура;
гранка;
пробный оттиск (с гравюры) ~ корректура ~ недоступный, не поддающийся (лести и т. п.) ~ недоступный ~ непробиваемый ~ непроницаемый (against) ;
непробиваемый ~ непроницаемый ~ придавать непроницаемость ~ проба ~ пробирка ~ пробный оттиск ~ проверка ~ мат. проверка ~ (шотл.) рассмотрение дела судьей вместо суда присяжных ~ свидетельское показание ~ установленной крепости (о спирте) ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса ~ by appearance доказательство, достаточное при отсутствии опровержения ~ by appearance презумпция доказательства ~ in slips полигр. корректура в гранках ~ of debt банкрот. подтверждение доказательством заявления кредитора ~ of evidence свидетельское показание ~ of good character and repute рекомендательное письмо ~ of identity доказательство подлинности ~ of membership членский билет ~ of nonnegligent behaviour доказательство отсутствия небрежности ~ of paternity доказательство отцовства ~ of posting контроль проводки ~ of purchase доказательство покупки ~ of service доказательство оказания услуги ~ of termination вчт. доказательство правильности завершения работы ~ of will доказывание завещания ~ испытание;
проба;
to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction ~ полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen ~ print. пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.) ;
waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый ~ непромокаемый плащ ~ придавать водонепроницаемость written ~ письменное доказательство -
13 program
программа, см. тж application || программироватьa program is too big to fit in memory — программа не умещается в отведённой памяти ( машинное сообщение)
- program in- absolute program
- accessory program
- active program
- administration program
- application program
- A-program
- archive program
- assembler program
- assembler-program
- assembly language program
- assembly program
- automatic recovery program
- background program
- benchmark program
- binary program
- blue-ribbon program
- bootstrap program
- brittle program
- C++ program
- C++-program
- called program
- calling program
- cataloged program
- chain additions program
- chain maintenance program
- channel program
- check program
- checking program
- common program
- communication program
- compaction program
- compiled object program
- compiler program
- compiling program
- complete program
- compressor program
- computer program
- concordance program
- concurrent program
- concurrently running programs
- concurrent-scheduling supervisor program
- condensing program
- configuration program
- consulting program
- control program
- conversational program
- conversion program
- copy-protected program
- copyrighted program
- core-resident program
- correct program
- crash-proof program
- curve-fitting program
- data abstraction program
- data access program
- data flow program
- data set utility program
- data-vet program
- debugging program
- decision program
- development program
- diagnosis program
- diagnostic program
- digital simulation program
- disk-resident program
- editor program
- embedded program
- emulator program
- epistemic logic program
- executable program
- executive program
- exerciser program
- externally stored program
- fail-recognition program
- fault-diagnosis program
- fault-location program
- fine-grained program
- fixed program
- foreground program
- format program
- FORTRAN program
- FORTRAN-program
- fragmented programs
- free-standing program
- function program
- gap filling program
- general-purpose program
- generating program
- generator program
- graphic display program
- hardware program
- hardware-maintenance program
- help program
- heuristic program
- high frequency program
- high volume program
- host program
- illustrative program
- impenetrable program
- inactive program
- independent program
- initial input program
- initial loading program
- in-line program
- integer program
- interactive program
- interconsole message program
- internally stored program
- interpreter program
- interpretive program
- introspective program
- job control program
- job program
- knowledge-based program
- language-understanding program
- learning program
- librarian program
- library program
- license program
- linear program
- link-edited program
- load program
- load-and-go program
- loading program
- logical program
- logical relational program
- machine language program
- machine program
- macroassembly program
- macrogenerating program
- mail program
- main program
- manager program
- manufacturer programs
- map program
- mask-level digitization program
- master program
- mathematical program
- menu-driven program
- message control program
- message processing program
- micromodular program
- minimal access program
- minimum access program
- minimum latency program
- modular-sized program
- monitor program
- monitoring program
- monolithic program
- multisupplier program
- mutated program
- network control program
- networking program
- nonexpansible program
- nonprocedural program
- nucleus initialization program
- object program
- operating program
- optimally coded program
- overlay program
- overlays program
- packaged program
- paint program
- panel program
- PASCAL program
- PASCAL-program
- patched program
- placement program
- plugged program
- polling program
- pop-up program
- portable program
- position-independent program
- postedit program
- postmortem program
- precanned program
- precompiler program
- pre-edit program
- prewired program
- prime program program
- printed program
- print-intensive program
- problem-state program
- problem program
- procedural program
- processing program
- production program
- program for Windows
- program in assembler
- program in C++
- program in FORTRAN
- program in PASCAL
- proper program
- prototype program
- pseudoapplication program
- punched tape program
- read-in program
- real-world program
- reduction program
- reenterable program
- reentrant program
- relocatable program
- report program
- resident program
- restructuring program
- reusable program
- robot program
- robust program
- routine program
- routing program
- running program
- runtime program
- salvation program
- sample program
- scrutinous program
- segmented program
- self-adapting program
- self-contained program
- self-diagnostic program
- self-modification program
- self-modifying program
- self-monitoring program
- self-organizing program
- self-relocatable program
- self-relocating program
- self-resetting program
- self-test program
- self-triggering program
- sequence-scheduling supervisor program
- service program
- shareable program
- shell program
- simulation program
- slave program
- snapshot dump program
- snapshot trace program
- software program
- sort program
- sort/merge program
- sorting program
- source language program
- source program
- spaghetti program
- specific program
- spreadsheet program
- stand-alone program
- standard program
- standby program
- start-up program
- steering program
- stored program
- structured program
- subject program
- superconsistent program
- supervisor program
- supervisory program
- support program
- surface program
- suspended program
- symbolic program
- system program
- systems program
- tape-to-printer program
- teaching program
- test program
- throwaway program
- total-load program
- trace program
- trace-interpretive program
- tracing program
- tracking program
- transaction program
- translating program
- translation program
- translator program
- troubleshooting program
- TSR program
- unmaintable program
- unreadable program
- updated program
- user program
- utility program
- wavelet program
- wired-in programEnglish-Russian dictionary of computer science and programming > program
-
14 program
[ˈprəuɡræm]absolute program вчт. программа в абсолютных адресах accessory program вчт. вспомогательная программа administration program вчт. организующая программа application program вчт. прикладная программа archive program вчт. программа архивации assembly language program вчт. программа на языке ассемблера assembly program вчт. ассемблер authorized program вчт. авторизованная программа background program вчт. фоновая программа bagbiting program вчт. дурацкая программа bogotified program вчт. дезорганизованная программа bootstrap program вчт. программа начальной загрузки системы bootstrap program вчт. программа самозагрузки branching program разветвление программы (способ обучения) brittle program вчт. непереносимая программа broken program вчт. испорченная программа called program вчт. вызывающая программа calling program вчт. вызываемая программа channel program вчт. канальная программа checking program контролирующая программа checking program программа контроля chkdsk program вчт. программа проверки диска compiler program вчт. компилятор complete program вчт. готовая программа computer program вчт. компьютерная программа computer program машинная программа computer program программа для вычислительной машины configuration program вчт. программа конфигурирования consulting program вчт. консультирующая программа control program вчт. программа управления control program вчт. управляющая программа conversational program вчт. диалоговая программа copy-protected program вчт. программа защищенная от копирования crash-proof program вчт. живучая программа crufty program вчт. неработоспособная программа cuspy program вчт. аккуратная программа dead program вчт. мертвая программа despooling program вчт. программа буферизации выходных потоков development program вчт. инструментальная программа diagnostic program вчт. диагностическая программа diagnostic program вчт. программа обнаружения неисправностей diagnostic program вчт. программа обнаружения ошибок diagnostic program вчт. тестовая программ disk-resident program вчт. диск-резидентная программа draw program вчт. программа подготовки штриховых иллюстраций editor program вчт. редакторская программа example program вчт. пример программы executable program вчт. исполняемая программа execute only program вчт. программа без исходных текстов executive program вчт. диспетчер fine program вчт. чистая программа fine-grained program вчт. мелкомодульная программа fixed program вчт. жесткая программа foreground program вчт. приоритетная программа format program вчт. программа форматирования froggy program вчт. замысловатая программа program план (работы и т. п.); what is the program(me)? разг. ну, чем займемся?; a full program(me) множество занятий, дел game program вчт. игровая программа government program государственная программа grungy program вчт. неряшливая программа heuristic program вчт. эвристическая программа hyphenation program вчт. программа автоматического переноса слов in-line program вчт. линейная программа inactive program бездействующая программа inactive program вчт. неактивная программа learning program вчт. самообучаемая программа library program вчт. библиотечная программа license program вчт. лицензионная программа load program вчт. загрузчик load-and-go program вчт. программа с запуском по загрузке macroassembly program вчт. программа на языке макроассемблера main program вчт. основная программа menu-driven program вчт. программа, вызываемая с помощью меню merging program вчт. программа слияния monitor program вчт. управляющая программа mutated program вчт. видоизмененная программа nonprocedural program вчт. непроцедурная программа object program вчт. объектная программа off-the-peg program вчт. готовая программа omnipresent program вчт. сохраняемая программа operating program вчт. эксплуатируемая программа operation program вчт. программа оперативного обслуживания operation program вчт. работающая программа operation program вчт. рабочая программа overlay program вчт. оверлейная программа packaged audit program пакет ревизионных программ paint program вчт. программа подготовки иллюстраций paintbrush program вчт. программа рисования patched program вчт. программа с заплатами portable program вчт. мобильная программа precanned program вчт. фирменная программа preemptible program вчт. выгружаемая программа preemptive program вчт. вытесняющая программа print-intensive program вчт. программа с большим объемом печати printed program вчт. изданная программа procedural program вчт. процедурная программа program план (работы и т. п.); what is the program(me)? разг. ну, чем займемся?; a full program(me) множество занятий, дел program план работы program представление, спектакль program представление program(me) программа program программа program вчт. программа program программа program программировать program вчт. программировать program программировать program вчт. программный program составлять программу program(me) составлять программу или план program attr. программный the program has ended вчт. программа завершила работу program of foreign origin вчт. программа зарубежного производства the program will not load вчт. программа не загрузится proper program вчт. рациональная программа protected program вчт. защищенная программа prototype program вчт. макетная программа quality program программа обеспечения качества quality test program программа контроля качества rat's nest program вчт. бессистемная программа read-in program вчт. программа вводимая по требованию reentrant program вчт. повторно входимая программа relocatable program вчт. перемещаемая программа resident program вчт. резидентная программа reusable program вчт. многократно используемая программа robust program вчт. живучая программа run-time program вчт. рабочая программа sales development program программа мер по увеличению объема продаж sample program вчт. пример программы self-contained program вчт. независимая программа self-loading program вчт. самозагружаемая программа self-test program вчт. программа с самоконтролем service program comp. обслуживающая программа service program вчт. сервисная программа shareable program вчт. совместно используемая программа shareware program вчт. условно бесплатная программа shell program вчт. программная оболочка simulation program вчт. моделирующая программа simulator program comp. моделирующая программа simulator program comp. программа моделирования single-threaded program вчт. последовательная программа slave program вчт. подчиненная программа software program вчт. программа системы программного обеспечения sort program comp. программа сортировки source program comp. входная программа source program вчт. исходная программа source program comp. исходная программа spaghetti program вчт. макаронная программа specialized audit program специальная программа проверки sponsored program финансируемая программа spreadsheet program вчт. программа табличных вычислений star program вчт. безошибочная программа stochastic program вчт. стохастическая программа stored program вчт. хранимая программа structured program вчт. структурированная программа supervisor program вчт. управляющая программа support program программа поддержки support program вчт. служебная программа target program вчт. программа на выходном языке terminating program вчт. нециклическая программа test program вчт. программа испытаний test program вчт. программа контроля test program вчт. тестовая программа throwaway program вчт. программа для временного использования total-load program вчт. автономная программа translating program вчт. транслирующая программа translating program вчт. транслятор trouble-shooting program вчт. диагностическая прграмма unmaintable program вчт. программа неудобная в использовании unreadable program вчт. нечитаемая программа updated program вчт. скорректированная программа user program вчт. пользовательская программа utility program вчт. обслуживающая программа utility program вчт. утилита program план (работы и т. п.); what is the program(me)? разг. ну, чем займемся?; a full program(me) множество занятий, дел wired-in program вчт. зашитая программа work program программа работ work program производственный план -
15 program
Англо-русский словарь по компьютерной безопасности > program
-
16 program
ˈprəuɡræm
1. сущ.
1) программа а) проект;
план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь программу, выполнять план to evaluate a programme ≈ делать расчеты для какой-л. программы to introduce a programme ≈ предлагать план/программу to launch a programme ≈ начинать выполнение какого-л. проекта/плана to launch a programme to reduce crime ≈ претворять в жизнь программу по борьбе с преступностью to phase out programme ≈ поэтапно сокращать работы по какой-л. программе/по какому-л. проекту to terminate a programme ≈ прекращать работы по какой-л. программе/по какому-л. проекту building programme development programme long-range programme pilot programme political programme short-range programme Syn: schedule б) конспект, план Syn: syllabus в) проспект книги, издания, учебного заведения, акционерного общества и т. п. Syn: prospectus
2) курс обучения, учебный план( школы, института, университета) terminal programme work-study programme Syn: curriculum
3) компьют. программа programme control ≈ управляющая программа;
программа управления The chances of an error occurring in a computer programme increase with the size of the programme. ≈ Вероятность ошибок в компьютерной программе возрастает с увеличением размеров программы.
4) представление, спектакль Syn: performance, play
5) спец. операция;
последовательность операций
2. гл.
1) объявлять в программе
2) составлять программу/план;
разрабатывать программу
3) биол.;
компьют.;
тж. перен. программировать cells programmed to synthesize hemoglobin ≈ клетки, запрограммированные на синтез гемоглобина Children are programmed into violence. ≈ Дети запрограммированы на насилие. программа - party * программа партии - political * политическая программа - theatre * театральная программа( компьютерное) программа - support * служебная программа, вспомогательная программа - * control управляющая программа;
программа управления - master * ведущая программа отладка программы испытания программы при сдаче в эксплуатацию - * body тело программы - * device( специальное) программирующее устройство, программный механизм представление, спектакль;
передача - television * телевизионная передача - radio * радиопередача план (работы) - training * программа обучения - * picture "плановый" кинофильм, снимаемый без особых затрат составлять программу или план планировать - the meeting is *d for today собрание назначено на сегодня( специальное) (компьютерное) программировать, задавать программу или последовательность операций - to * an algoritm запрограммировать алгоритм absolute ~ вчт. программа в абсолютных адресах accessory ~ вчт. вспомогательная программа administration ~ вчт. организующая программа application ~ вчт. прикладная программа archive ~ вчт. программа архивации assembly language ~ вчт. программа на языке ассемблера assembly ~ вчт. ассемблер authorized ~ вчт. авторизованная программа background ~ вчт. фоновая программа bagbiting ~ вчт. дурацкая программа bogotified ~ вчт. дезорганизованная программа bootstrap ~ вчт. программа начальной загрузки системы bootstrap ~ вчт. программа самозагрузки branching ~ разветвление программы (способ обучения) brittle ~ вчт. непереносимая программа broken ~ вчт. испорченная программа called ~ вчт. вызывающая программа calling ~ вчт. вызываемая программа channel ~ вчт. канальная программа checking ~ контролирующая программа checking ~ программа контроля chkdsk ~ вчт. программа проверки диска compiler ~ вчт. компилятор complete ~ вчт. готовая программа computer ~ вчт. компьютерная программа computer ~ машинная программа computer ~ программа для вычислительной машины configuration ~ вчт. программа конфигурирования consulting ~ вчт. консультирующая программа control ~ вчт. программа управления control ~ вчт. управляющая программа conversational ~ вчт. диалоговая программа copy-protected ~ вчт. программа защищенная от копирования crash-proof ~ вчт. живучая программа crufty ~ вчт. неработоспособная программа cuspy ~ вчт. аккуратная программа dead ~ вчт. мертвая программа despooling ~ вчт. программа буферизации выходных потоков development ~ вчт. инструментальная программа diagnostic ~ вчт. диагностическая программа diagnostic ~ вчт. программа обнаружения неисправностей diagnostic ~ вчт. программа обнаружения ошибок diagnostic ~ вчт. тестовая программ disk-resident ~ вчт. диск-резидентная программа draw ~ вчт. программа подготовки штриховых иллюстраций editor ~ вчт. редакторская программа example ~ вчт. пример программы executable ~ вчт. исполняемая программа execute only ~ вчт. программа без исходных текстов executive ~ вчт. диспетчер fine ~ вчт. чистая программа fine-grained ~ вчт. мелкомодульная программа fixed ~ вчт. жесткая программа foreground ~ вчт. приоритетная программа format ~ вчт. программа форматирования froggy ~ вчт. замысловатая программа program план (работы и т. п.) ;
what is the program(me) ? разг. ну, чем займемся?;
a full program(me) множество занятий, дел game ~ вчт. игровая программа government ~ государственная программа grungy ~ вчт. неряшливая программа heuristic ~ вчт. эвристическая программа hyphenation ~ вчт. программа автоматического переноса слов in-line ~ вчт. линейная программа inactive ~ бездействующая программа inactive ~ вчт. неактивная программа learning ~ вчт. самообучаемая программа library ~ вчт. библиотечная программа license ~ вчт. лицензионная программа load ~ вчт. загрузчик load-and-go ~ вчт. программа с запуском по загрузке macroassembly ~ вчт. программа на языке макроассемблера main ~ вчт. основная программа menu-driven ~ вчт. программа, вызываемая с помощью меню merging ~ вчт. программа слияния monitor ~ вчт. управляющая программа mutated ~ вчт. видоизмененная программа nonprocedural ~ вчт. непроцедурная программа object ~ вчт. объектная программа off-the-peg ~ вчт. готовая программа omnipresent ~ вчт. сохраняемая программа operating ~ вчт. эксплуатируемая программа operation ~ вчт. программа оперативного обслуживания operation ~ вчт. работающая программа operation ~ вчт. рабочая программа overlay ~ вчт. оверлейная программа packaged audit ~ пакет ревизионных программ paint ~ вчт. программа подготовки иллюстраций paintbrush ~ вчт. программа рисования patched ~ вчт. программа с заплатами portable ~ вчт. мобильная программа precanned ~ вчт. фирменная программа preemptible ~ вчт. выгружаемая программа preemptive ~ вчт. вытесняющая программа print-intensive ~ вчт. программа с большим объемом печати printed ~ вчт. изданная программа procedural ~ вчт. процедурная программа program план (работы и т. п.) ;
what is the program(me) ? разг. ну, чем займемся?;
a full program(me) множество занятий, дел ~ план работы ~ представление, спектакль ~ представление ~(me) программа ~ программа ~ вчт. программа ~ программа ~ программировать ~ вчт. программировать ~ программировать ~ вчт. программный ~ составлять программу ~(me) составлять программу или план ~ attr. программный the ~ has ended вчт. программа завершила работу ~ of foreign origin вчт. программа зарубежного производства the ~ will not load вчт. программа не загрузится proper ~ вчт. рациональная программа protected ~ вчт. защищенная программа prototype ~ вчт. макетная программа quality ~ программа обеспечения качества quality test ~ программа контроля качества rat's nest ~ вчт. бессистемная программа read-in ~ вчт. программа вводимая по требованию reentrant ~ вчт. повторно входимая программа relocatable ~ вчт. перемещаемая программа resident ~ вчт. резидентная программа reusable ~ вчт. многократно используемая программа robust ~ вчт. живучая программа run-time ~ вчт. рабочая программа sales development ~ программа мер по увеличению объема продаж sample ~ вчт. пример программы self-contained ~ вчт. независимая программа self-loading ~ вчт. самозагружаемая программа self-test ~ вчт. программа с самоконтролем service ~ comp. обслуживающая программа service ~ вчт. сервисная программа shareable ~ вчт. совместно используемая программа shareware ~ вчт. условно бесплатная программа shell ~ вчт. программная оболочка simulation ~ вчт. моделирующая программа simulator ~ comp. моделирующая программа simulator ~ comp. программа моделирования single-threaded ~ вчт. последовательная программа slave ~ вчт. подчиненная программа software ~ вчт. программа системы программного обеспечения sort ~ comp. программа сортировки source ~ comp. входная программа source ~ вчт. исходная программа source ~ comp. исходная программа spaghetti ~ вчт. макаронная программа specialized audit ~ специальная программа проверки sponsored ~ финансируемая программа spreadsheet ~ вчт. программа табличных вычислений star ~ вчт. безошибочная программа stochastic ~ вчт. стохастическая программа stored ~ вчт. хранимая программа structured ~ вчт. структурированная программа supervisor ~ вчт. управляющая программа support ~ программа поддержки support ~ вчт. служебная программа target ~ вчт. программа на выходном языке terminating ~ вчт. нециклическая программа test ~ вчт. программа испытаний test ~ вчт. программа контроля test ~ вчт. тестовая программа throwaway ~ вчт. программа для временного использования total-load ~ вчт. автономная программа translating ~ вчт. транслирующая программа translating ~ вчт. транслятор trouble-shooting ~ вчт. диагностическая прграмма unmaintable ~ вчт. программа неудобная в использовании unreadable ~ вчт. нечитаемая программа updated ~ вчт. скорректированная программа user ~ вчт. пользовательская программа utility ~ вчт. обслуживающая программа utility ~ вчт. утилита program план (работы и т. п.) ;
what is the program(me) ? разг. ну, чем займемся?;
a full program(me) множество занятий, дел wired-in ~ вчт. зашитая программа work ~ программа работ work ~ производственный план -
17 program correctness proof
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > program correctness proof
-
18 program reference table
программная справочная таблица; программный справочникconversion table — таблица пересчета; таблица преобразования
-
19 proof listing
program listing — распечатка программы; листинг программы
reference listing — распечатка ссылок; листинг ссылок
-
20 program listing
reference listing — распечатка ссылок; листинг ссылок
proof listing — контрольная распечатка; контрольный листинг
sekective listing — выборочная распечатка; выборочный листинг
English-Russian dictionary of Information technology > program listing
См. также в других словарях:
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
Proof Positive — Infobox Television show name = Proof Positive caption = format = Documentary picture format = runtime = 60 minutes (including commercials) developer = executive producer = starring = Amanda Tapping country = United States network = Sci Fi Channel … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Proof of knowledge — In cryptography, a proof of knowledge is an interactive proof in which the prover succeeds convincing a verifier that it knows something. What it means for a machine to know something is defined in terms of computation. A machine knows something … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof mining — In proof theory (a branch of mathematical logic), proof mining is a research program [cite book title = Applied Proof Theory: Proof Interpretations and Their Use in Mathematics author = Ulrich Kohlenbach publisher = Springer Verlag, Berlin year … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
NEXUS (frequent traveler program) — NEXUS logo NEXUS is a joint Canada United States program designed to let pre approved, low risk travelers cross the US Canada border quickly. Members of the program can avoid long waits at border entry points by using self serve kiosks at… … Wikipedia
