|
|
|
|
|
|
|
|
|
Program proof
| Глоссарий по вычислительной технике |
Доказательство правильности программы
|
|
Program, венгерский
Program, английский
- A sequence of instructions expressed in some programming language. also see algorithm(2).
- Программа
- Программа (ряд взаимосвязанных мероприятий по осуществлению проекта)
- A statement prepared by or for an owner, with or without an architect’s assistance, program 767
- План, проект; программа ~ of work(s) проект производства работ
- A list of statements or instructions in a special purpose programming language that directs a computer to undertake a certain computing task (->algorithm). programs are needed because modern computers are essentially general purpose machines whose structure must be specified from the outside.
- A collective grouping of projects, usually including a common set of goals, plans and measurement of success, that is managed and delivered in a coordinated way. program
- A set of instructions that a computer or device uses to perform a specific task, such as word processing, accounting, or data management.
- An implementation of an algorithm.
Program, шведский
Program accessible, английский
С программным доступом
Program acronyms, abbreviations and definitions, английский
Program address, английский
Program addressable clock, английский
Часы с возможностью обращения из программы
Program analysis control and evaluation, английский
Управление анализом программ и их оценка
Program analysis for research management, английский
Аналитическая модель «парм» для перспективного планирования программ
Program analysis for resource management, английский
Аналитическая модель восстановления экономики страны после ракетно-ядерного нападения
Program anniversary date, английский
The calendar date which marks the enrollment of a partner into the microsoft partner program, including payment of any applicable membership fees.
Program area, английский
Программная область; программная зона
Program assembly language, английский
Program association table, английский
Program attention key, английский
Клавиша прерывания программы
Program attribute, английский
Атрибут программы
Program authorization, английский
Авторизация программы; разрешение на использование программы
Program autonomy, английский
Автономность программы
Program background, английский
Фон программы
Program bank, английский
Банк программ
Program behavior, английский
Поведение программы; реакция программы
Доказательство, русский
- Доказательство, довод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка. доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. вещественное доказательство. блис
- , установление (обоснование) истинности высказывания, суждения, теории. в логических доказательствах аргументация проводится по правилам и средствам логики.
- – в самом общем смысле прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или – в том случае, если данное положение оспаривается, – еще раз его дополнить и подтвердить. строгое, или дедуктивно е, доказательство (демонстрация) имеет место в том случае, если данное высказывание подтверждается положениями (основания доказательства, аргументы), которые признаются истинными, так что утверждаемое следует из них как вывод из логического умозаключения. если такое доказательство оказывается невозможным, то следует сделать обратное, т.е. привести в качестве оснований доказательства факты, вытекающие из данного тезиса как его частные случаи, – индуктивное доказательство. если же речь идет только или о правильности, или о ложности данного тезиса, а не об отсутствии возможности выбора между этими двумя тезисами, то далее может быть сделана попытка доказать противоположное данному тезису или опровергнуть то, что затем служит основанием для опровержения или доказательства последнего, – косвенное доказательство. противоположностью доказательства является опровержение; оно состоит в том, что в отношении предмета, о котором что-то утверждается, приводятся факты, из которых это утверждение не может быть выведено. ошибки доказательства могут состоять: 1) в неясности тезиса, который должен быть доказан; 2) в неправильности или ненадежности приведенных оснований доказательства; 3) в формальной неправильности выведения следствия. наиболее известные ошибки доказательства суть следующие: гистеронпротерон, circulus vitiosus, petitio principii, ignoratio elenchi, proton pseudos и quaternio terminorum. от этих ошибок следует отличать: ошибочное умозаключение, логическую уловку и неправильное умозаключение.
- Proof
- Это совокупность логических приемов обоснования истинности тезиса.
- Рассуждение, устанавливающее истинность какоголибо утверждения путем приведения других утверждений, истинность которых уже доказана. в структуре доказательства различают тезис положени
- Метод исследования – теоретическое (логическое) действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей. всякое доказа- тельство состоит из трех частей: тезиса, доводов (аргументов) и демонстрации. по способу ведения, доказательства бывают прямые и косвенные, по форме умозаключения – индуктивными и дедук- тивными. правила доказательств: 1. тезис и аргументы должны быть ясными и точно определен- ными. 2. тезис должен оставаться тождественным на протяжении все- го доказательства. 3. тезис не должен содержать в себе логическое противоречие. 4. доводы, приводимые в подтверждение тезиса, сами должны быть истинными, не подлежащими сомнению, не должны противо- речить друг другу и являться достаточным основанием для данного тезиса. 5. доказательство должно быть полным. [36]. 36
|
Activex document, английский
Документ activex
Program correctness proof, английский
Доказательство правильности программы
|
|
|
|
|
|
|
