|
|
|
|
|
|
|
|
|
Mathematical argument
| Глоссарий по вычислительной технике |
Математическое доказательство
|
|
Argument, английский
- Аргумент
- N аргумент9 (ант. adjunct 3) 7 использование более простых правил вместо более сложных. 8 формальная операция связывания языковых единиц в новые, более сложные – с. к. шаумян. 9 одна из составляющих, определяющая состояние, событие или от- ношение. argumentation 22 asyndetic
- An astronomical quantity upon which an equation depends,—or any known number by which an unknown one proportional to the first may be found.
- A term that denotes what a function is a function of. the independent variable(s) determining a function`s value, the domain of a transformation or the input of a code.
- A value that a function or a method uses to perform operations or calculations. the type of argument is specific to the function or method. common arguments include numbers, text, cell references, and names.
- One of the pieces of data provided as input to a procedure or function through the call to the procedure or function.
Argument, шведский
Argument, испанский
Remarks made by an attorney to a judge or jury on the facts of the case or on points of law
Argument field, английский
Поле аргумента; поле операнда
Argument list, английский
Список параметров; список аргументов
Argument mode, английский
A mode in the monad parser in which everything is treated as an expandable string unless it starts with $, @, -€?, -€oe, or (. arima (n)
Argument of latitude, английский
The distance of a celestial body from one of the nodes of its orbit, upon which the latitude depends.
Argument overflow, английский
Argument passing, английский
Передача параметров
Argument solicitation, английский
Запрос параметра; запрос аргумента
Argument type list, английский
Список типов параметров
Argumenta adversaria, латинский
(лат.) доводы противной стороны.
Argumenta ponderantur, non numerantur, латинский
(лат.) – сила доказательств в вескости, а не в количестве (аргументов).
Argumenta [orum, npl], латинский
Argumentabilis, e (propositio difficile argumentabilis), латинский
Argumentari, латинский
Argumentari [or, atus sum], латинский
Argumentatio, латинский
Argumentatio [onis, f], латинский
Argumentatio, onis, f, латинский
Argumentation, английский
N аргументация theory theory of ~ теория аргументации (тж. ~ theory)
Доказательство, русский
- Доказательство, довод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка. доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. вещественное доказательство. блис
- , установление (обоснование) истинности высказывания, суждения, теории. в логических доказательствах аргументация проводится по правилам и средствам логики.
- – в самом общем смысле прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или – в том случае, если данное положение оспаривается, – еще раз его дополнить и подтвердить. строгое, или дедуктивно е, доказательство (демонстрация) имеет место в том случае, если данное высказывание подтверждается положениями (основания доказательства, аргументы), которые признаются истинными, так что утверждаемое следует из них как вывод из логического умозаключения. если такое доказательство оказывается невозможным, то следует сделать обратное, т.е. привести в качестве оснований доказательства факты, вытекающие из данного тезиса как его частные случаи, – индуктивное доказательство. если же речь идет только или о правильности, или о ложности данного тезиса, а не об отсутствии возможности выбора между этими двумя тезисами, то далее может быть сделана попытка доказать противоположное данному тезису или опровергнуть то, что затем служит основанием для опровержения или доказательства последнего, – косвенное доказательство. противоположностью доказательства является опровержение; оно состоит в том, что в отношении предмета, о котором что-то утверждается, приводятся факты, из которых это утверждение не может быть выведено. ошибки доказательства могут состоять: 1) в неясности тезиса, который должен быть доказан; 2) в неправильности или ненадежности приведенных оснований доказательства; 3) в формальной неправильности выведения следствия. наиболее известные ошибки доказательства суть следующие: гистеронпротерон, circulus vitiosus, petitio principii, ignoratio elenchi, proton pseudos и quaternio terminorum. от этих ошибок следует отличать: ошибочное умозаключение, логическую уловку и неправильное умозаключение.
- Proof
- Это совокупность логических приемов обоснования истинности тезиса.
- Рассуждение, устанавливающее истинность какоголибо утверждения путем приведения других утверждений, истинность которых уже доказана. в структуре доказательства различают тезис положени
- Метод исследования – теоретическое (логическое) действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей. всякое доказа- тельство состоит из трех частей: тезиса, доводов (аргументов) и демонстрации. по способу ведения, доказательства бывают прямые и косвенные, по форме умозаключения – индуктивными и дедук- тивными. правила доказательств: 1. тезис и аргументы должны быть ясными и точно определен- ными. 2. тезис должен оставаться тождественным на протяжении все- го доказательства. 3. тезис не должен содержать в себе логическое противоречие. 4. доводы, приводимые в подтверждение тезиса, сами должны быть истинными, не подлежащими сомнению, не должны противо- речить друг другу и являться достаточным основанием для данного тезиса. 5. доказательство должно быть полным. [36]. 36
|
Mathematical simulation, английский
Математическое моделирование
Mathematical expression, английский
- Математическое выражение
- A mathematical statement whose symbols comprise numbers, variables, and mathematical operations.
|
|
|
|
|
|
|
