Перевод: со всех языков на английский

с английского на все языки

proof+method

  • 41 Отсутствие артиклей перед существительными после of, которые являются атрибутами основного существительного (понятия)

    A function of class $C^1$
    We call $C$ a module of ellipticity
    The natural definition of addition and multiplication
    A type of convergence
    A problem of uniqueness
    The condition of ellipticity
    The hypothesis of positivity
    The method of proof
    The point of increase (decrease)
    A polynomial of degree $n$
    A circle of radius $n$
    A matrix of order $n$
    An algebraic equation of degree $n$ (of first (second, third) degree)
    A differential equation of order $n$ (of first (second, third) order; но an integral equation of the first (second) kind)
    A manifold of dimension $n$
    A function of bounded variation
    The (an) equation of motion
    The (a) velocity of propagation
    An element of finite order
    A solution of polynomial growth
    A ball of radius $r$
    A function of norm $p$
    A matrix of full rank
    Однако: (the) elements of the form $a=b+c$ (of the form (1))

    Русско-английский словарь по прикладной математике и механике > Отсутствие артиклей перед существительными после of, которые являются атрибутами основного существительного (понятия)

  • 42 Отсутствие артиклей перед существительными после of, которые являются атрибутами основного существительного (понятия)

    A function of class $C^1$
    We call $C$ a module of ellipticity
    The natural definition of addition and multiplication
    A type of convergence
    A problem of uniqueness
    The condition of ellipticity
    The hypothesis of positivity
    The method of proof
    The point of increase (decrease)
    A polynomial of degree $n$
    A circle of radius $n$
    A matrix of order $n$
    An algebraic equation of degree $n$ (of first (second, third) degree)
    A differential equation of order $n$ (of first (second, third) order; но an integral equation of the first (second) kind)
    A manifold of dimension $n$
    A function of bounded variation
    The (an) equation of motion
    The (a) velocity of propagation
    An element of finite order
    A solution of polynomial growth
    A ball of radius $r$
    A function of norm $p$
    A matrix of full rank
    Однако: (the) elements of the form $a=b+c$ (of the form (1))

    Русско-английский словарь по прикладной математике и механике > Отсутствие артиклей перед существительными после of, которые являются атрибутами основного существительного (понятия)

  • 43 Переносить на

    The method of proof is carried over to domains...

    Русско-английский словарь по прикладной математике и механике > Переносить на

  • 44 надежный

    (надёжный)
    прил.
    reliable, dependable
    reliable, trustworthy, trusty, sure, effective
    3) (крепкий, прочный)
    firm, safe
    4) ( без риска неудачи) перен. foolproof, fool-proof
    •

    надежный в эксплуатации — reliable in service/operation

    Русско-английский словарь по общей лексике > надежный

  • 45 ratio

    rătĭo, onis (abl. rationi, Lucr. 6, 66), f. [reor, ratus], a reckoning, account, calculation, computation.
    I.
    Lit.
    (α).
    Sing.: Les. Nequaquam argenti ratio conparet tamen. Sta. Ratio quidem hercle adparet: argentum oichetai, Plaut. Trin. 2, 4, 15 sq.:

    rationem putare... bene ratio accepti atque expensi inter nos convenit,

    id. Most. 1, 3, 141; 146; cf.: ad calculos vocare amicitiam, ut par sit ratio acceptorum et datorum, Cic. Lael. 16, 58:

    itur, putatur ratio cum argentario... Ubi disputata est ratio cum argentario,

    Plaut. Aul. 3, 5, 53 sq.:

    dextera digitis rationem computat,

    id. Mil. 2, 2, 49:

    magna ratio C. Verruci,

    Cic. Verr. 2, 2, 77, § 188:

    direptio ejus pecuniae, cujus ratio in aede Opis confecta est,

    id. Phil. 5, 6, 16; cf.:

    quibus in tabulis nominatim, ratio confecta erat, qui numerus domo exisset, etc.,... Quarum omnium rerum summa erat, etc.,

    Caes. B. G. 1, 29: auri ratio constat: aurum in aerario est, the account agrees, i. e. is correct, Cic. Fl. 28, 69 (v. consto):

    decumo post mense, ut rationem te dictare intellego,

    to make the reckoning, Plaut. Am. 2, 2, 38 (al. ductare):

    rationem ducere,

    to make a computation, to compute, calculate, reckon, Cic. Verr. 2, 2, 52, § 129; so, rationem habere, to take an account, make a computation:

    omnium proeliorum,

    Caes. B. C. 3, 53; cf.:

    hujus omnis pecuniae conjunctim ratio habetur,

    id. B. G. 6, 19; and:

    piratarum,

    Cic. Verr. 2, 5, 28, § 71:

    rationem inire,

    to cast up, reckon, calculate, Caes. B. G. 7, 71, 4:

    quattuor minae periere, ut ratio redditur,

    Plaut. Men. 1, 3, 23; cf.:

    tibi ego rationem reddam?

    id. Aul. 1, 1, 6; id. Trin. 2, 4, 114:

    rationem referre,

    Cic. Verr. 2, 1, 39, § 98:

    rationem repetere de pecuniis repetundis,

    id. Clu. 37, 104: Py. Quanta istaec hominum summa est? Ar. Septem millia. Py. Tantum esse oportet:

    recte rationem tenes,

    Plaut. Mil. 1, 1, 47 et saep.:

    drachumae, quas de ratione debuisti,

    according to the account, id. Trin. 2, 4, 24:

    grandem (pecuniam) quemadmodum in rationem inducerent, non videbant,

    how they should bring it into their accounts, Cic. Verr. 2, 1, 41, § 106.—
    (β).
    Plur.: rationes putare argentariam, frumentariam, pabuli causa quae parata sunt;

    rationem vinariam, oleariam, quid venierit, etc.,

    Cato, R. R. 2, 5:

    rationes ad aerarium continuo detuli... quas rationes si cognoris, intelleges, etc.,

    Cic. Pis. 25, 61:

    ut rationes cum publicanis putarent,

    id. Att. 4, 11, 1:

    rationes a colono accepit,

    id. Caecin. 32, 94:

    quid opus est? inquam. Rationes conferatis. Assidunt, subducunt, ad nummum convenit,

    id. Att. 5, 21, 12:

    rationes referre... rationes deferre,

    id. Fam. 5, 20, 2:

    Romani pueri longis rationibus assem Discunt in partes centum diducere,

    Hor. A. P. 325 et saep.:

    A RATIONIBVS,

    an accountant, Inscr. Orell. 1494; 2973; 2986; 4173 et saep. (cf. ab).—
    B.
    Transf.
    1.
    A list, roll, register (rare):

    cedo rationem carceris, quae diligentissime conficitur, quo quisque die datus in custodiam, quo mortuus, quo necatus sit,

    Cic. Verr. 2, 5, 57, § 147:

    rationes imperii, ab Augusto proponi solitas, sed a Tiberio intermissas, publicavit (sc. Caligula),

    Suet. Calig. 16 ( = breviarium) totius imperii, id. Aug. 101 fin.:

    rationarium imperii,

    id. ib. 28.—
    2.
    A sum, number (rare), Plaut. Trin. 2, 4, 11:

    nunc lenonum et scortorum plus est fere Quam olim muscarum est. Ea nimia est ratio,

    id. Truc. 1, 1, 49:

    pro ratione pecuniae liberalius est Brutus tractatus quam Pompeius,

    Cic. Att. 6, 3, 5; cf. II. B. 1. c. infra.—
    3.
    A business matter, transaction, business; also, a matter, affair, in gen. (a favorite word of Cicero):

    res rationesque eri Ballionis curo,

    Plaut. Ps. 2, 2, 31:

    res rationesque vestrorum omnium,

    id. Am. prol. 4:

    re ac ratione cum aliquo conjunctus,

    Cic. Verr. 2, 2, 70, § 172:

    de tota illa ratione atque re Gallicana inter se multa communicare,

    id. Quint. 4, 15:

    cum (Druides) in reliquis fere rebus, publicis privatisque rationibus, Graecis utantur litteris,

    Caes. B. G. 6, 14 (metaphrast. pragmasi):

    ratio nummaria,

    Cic. Att. 10, 11, 2:

    aeraria ratio,

    id. Quint. 4, 15:

    ratio domestica... bellica,

    id. Off. 1, 22, 76:

    quod ad popularem rationem attinet,

    id. Fam. 1, 2, 4:

    rationes familiares componere,

    Tac. A. 6, 16 fin.:

    fori judiciique rationem Messala suscepit,

    Cic. Rosc. Am. 51, 149; cf.:

    in explicandis rationibus rerum civilium,

    id. Rep. 1, 8, 13:

    rationes civitatis,

    id. ib. 1, 6, 11:

    quantos aestus habet ratio comitiorum... nihil fallacius ratione tota comitiorum,

    id. Mur. 17, 35:

    propter rationem Gallici belli,

    id. Prov. Cons. 8, 19; so id. ib. 8, 14, 35:

    ad omnem rationem humanitatis,

    id. Mur. 31, 66: in hac ratione quid res, quid causa, quid tempus ferat, tu facillime perspicies, id. Fam. 1, 7, 6 fin.:

    ad eam rationem existimabam satis aptam naturam meam,

    id. Att. 9, 11, A, 1.—
    b.
    Pregn.: meae (tuae, etc.) rationes, my ( thy, etc.) interest, my ( thy, etc.) advantage (cf. in Engl. to find one's account in any thing):

    me ad ejus rationes adjungo, quem tu in meis rationibus tibi esse adjungendum putasti,

    Cic. Fam. 1, 8, 2; cf.:

    exemplum meis alienissimum rationibus,

    id. Corn. Fragm. 1, 7 B. and K.:

    consideres, quid tuae rationes postulent,

    Sall. C. 44, 5: servitia repudiabat... alienum suis rationibus existimans videri causam civium cum servis fugitivis communicasse, inconsistent with his policy or interests, id. ib. 56, 5:

    si meas rationes unquam vestrae saluti anteposuissem,

    Cic. Red. ad Quir. 1, 1.
    II.
    Trop., a reckoning, account, computation:

    postquam hanc rationem cordi ventrique edidi,

    presented this reckoning, Plaut. Aul. 2, 7, 12:

    itidem hic ut Acheronti ratio accepti scribitur,

    i.e. things are taken only, nothing is given back, id. Truc. 4, 2, 36:

    nomen (comoediae) jam habetis, nunc rationes ceteras Accipite,

    an account of the rest, id. Poen. prol. 55; cf.:

    census quom sum, juratori recte rationem dedi,

    id. Trin. 4, 2, 30; so,

    rationem dare, for the more usual rationem reddere,

    Varr. L. L. 6, § 86 Mull.; Cic. Verr. 2, 1, 36, § 92 Zumpt:

    (argentarii) ratione utuntur,

    make a reckoning, settle up, Plaut. Cas. prol. 27:

    cum eam mecum rationem puto,

    go into that calculation, think over the matter, id. ib. 3, 2, 25; cf.:

    frustra egomet mecum has rationes puto,

    Ter. Ad. 2, 1, 54:

    (Medea et Atreus) inita subductaque ratione nefaria scelera meditantes,

    Cic. N. D. 3, 29, 71:

    quod posteaquam iste cognovit hanc rationem habere coepit,

    to make the following calculation, reflection, id. Verr. 2, 5, 39, § 101; cf.: totius rei consilium his rationibus explicavit, ut si, etc.,... si, etc.,... sin, etc., drew the plan of the whole undertaking according to the following calculation, that if, etc., Caes. B. C. 3, 78;

    and herewith cf.: rationem consilii mei accipite,

    id. ib. 3, 86:

    ut habere rationem possis, quo loco me convenias, etc.,

    that you may calculate, Cic. Fam. 3, 6, 6:

    semper ita vivamus, ut rationem reddendam nobis arbitremur,

    id. Verr. 2, 2, 11, § 28; cf.:

    nihil est, quod minus ferendum sit, quam rationem ab altero vitae reposcere eum, qui non possit suae reddere,

    id. Div. in Caecil. 9, 28;

    and with this cf.: si gravius quid acciderit, abs te rationem reposcent,

    will call you to account, Caes. B. G. 5, 30: clarorum virorum atque magnorum non minus otii, quam negotii rationem exstare oportere, an account must be capable of being given, Cato ap. Cic. Planc. 27, 66:

    tam otii quam negotii rationem reddere majores censuisse,

    Col. 11 fin.: eam condicionem esse imperandi, ut non aliter ratio constet, quam si uni reddatur, that the account is not correct unless, etc., Tac. A. 1, 6 fin.:

    mirum est quam singulis diebus in urbe ratio aut constet aut constare videatur,

    Plin. Ep. 1, 9, 1; 1, 5, 16 et saep.; cf. Just. praef. 5.—
    B.
    Transf.
    1.
    Relation, reference, respect to a thing:

    (agricolae) habent rationem cum terra, quae nunquam recusat imperium,

    have an account, have to do, have dealings with the earth, Cic. Sen. 15, 51; cf.:

    ubi ratio cum Orco habetur,

    Varr. R. R. 1, 4, 3;

    for which: ubi sit cum Orco ratio ponenda,

    Col. 1, 3, 2:

    cum omnibus Musis rationem habere cogito,

    Cic. Att. 2, 5, 2:

    cum hac (muliere) aliquid adulescentem hominem habuisse rationis,

    id. Cael. 20, 50; cf. id. Verr. 2, 2, 77, § 190. omnes, quibuscum ratio huic aut est aut fuit, assunt, defendunt, id. Quint. 23, 75; cf.

    . quae ratio tibi cum eo intercesserat?

    id. Rosc. Com. 14, 41:

    pacis vero quae potest esse cum eo ratio, in quo est incredibilis crudelitas, fides nulla?

    id. Phil. 4, 6, 14:

    quod si habenda cum M. Antonii latrocinio pacis ratio fuit, etc.,

    id. ib. 12, 7, 17:

    fontes ad nostrorum annalium rationem veteres, ad ipsorum sane recentes,

    in respect to our annals, id. Brut. 13, 49.—
    b.
    Pregn., a respect, regard, concern, consideration, care for a thing (usu. in the connection habere and ducere alicujus rei rationem): ad hanc rationem quoniam maximam vim natura habet, fortuna proximam: utriusque omnino habenda ratio est in deligendo genere vitae, Cic. Off. 1, 33, 120:

    quorum (civium Romanorum) nobis pro vestra sapientia, Quirites, habenda est ratio diligenter,

    id. Imp. Pomp. 7, 17:

    (deos) piorum et impiorum habere rationem,

    id. Leg. 2, 7, 15:

    cujus absentis rationem haberi proximis comitiis populus jussisset,

    Caes. B. C. 1, 9; so,

    absentis,

    id. ib. 1, 32; 3, 82 fin.:

    sauciorum et aegrorum habita ratione,

    id. ib. 3, 75:

    moneret, frumenti rationem esse habendam,

    Hirt. B. G. 8, 34;

    so (al. frumentandi), rationem habere,

    Caes. B. G. 7, 75 Oud.; cf. id. ib. 7, 71:

    alicujus vel dignitatis vel commodi rationem non habere,

    Cic. de Or. 2, 4, 17: ut summae rei publicae rationem habeamus, Pompeius ap. Cic. Att. 8, 12, c, 3:

    alicujus salutis rationem habere,

    i. e. to regard, care for, be concerned about, Caes. B. G. 7, 71; so id. B. C. 1, 20:

    turpissimae fugae rationem habere,

    id. ib. 2, 31:

    ut in ceteris habenda ratio non sui solum sed etiam aliorum, sic, etc.,

    Cic. Off. 1, 39, 139:

    proinde habeat rationem posteritatis et periculi sui,

    Caes. B. C. 1, 13:

    habere nunc se rationem officii pro beneficiis Caesaris,

    id. B. G. 5, 27:

    non ullius rationem sui commodi ducit,

    Cic. Rosc. Am. 44, 128:

    cum hujusce periculi tum ceterorum quoque officiorum et amicitiarum ratio,

    id. Clu. 42, 117:

    omnis hac in re habenda ratio et diligentia est, ut, etc.,

    id. Lael. 24, 89; cf.:

    didici ex tuis litteris, te omnibus in rebus habuisse rationem, ut mihi consuleres,

    id. Fam. 3, 5, 1:

    habeo rationem, quid a populo Romano acceperim,

    bring into consideration, consider, id. Verr. 2, 5, 14, § 36:

    ut habere rationem possis, quo loco me salva lege Cornelia convenias, ego veni, etc.,

    id. Fam. 3, 6, 6:

    neque illud rationis habuisti, eam provinciam ad summam stultitiam nequitiamque venisse,

    id. Verr. 2, 5, 15, § 38; cf.:

    hoc rationis habebant, facere eos nullo modo posse, ut, etc.,

    id. ib. 2, 2, 29, e70.—
    c.
    Relation to a thing, i. e.
    (α).
    Subject., course, conduct, procedure, mode, manner, method, fashion, plan, etc. (cf. consilium):

    nunc sic rationem incipissam, hanc instituam astutiam, ut, etc.,

    Plaut. Mil. 2, 2, 82; cf. id. ib. 3, 1, 175 sqq.:

    ubi cenas hodic, si hanc rationem instituis?

    Plaut. Stich. 3, 1, 26; id. Truc. 1, 1, 3:

    tua ratio est, ut secundum binos ludos mihi respondere incipias: mea, ut ante primos ludos comperendinem. Ita fiet, ut tua ista ratio existimetur astuta, meum hoc consilium necessarium,

    Cic. Verr. 1, 11, 34; cf.:

    ratio viaque defensionis,

    id. Verr. 2, 5, 1, § 4:

    itaque in praesentia Pompeii insequendi rationem omittit,

    Caes. B. C. 1, 30:

    mea autem ratio in dicendo haec esse solet, ut, etc.,

    Cic. de Or. 2, 72, 292:

    haec in philosophia ratio contra omnia disserendi,

    id. N. D. 1, 5, 11:

    dicendi,

    id. Or. 32, 114; id. de Or. 3, 15, 56; cf.:

    aliquot ante annis inita ratio est, ut, etc.,

    id. Rep. 2, 36, 61:

    ut, quo primum occurreretur, vix ratio iniri possit,

    Caes. B. G. 7, 24:

    quia reponendarum (tegularum) nemo artifex inire rationem potuerit,

    Liv. 42, 3 fin. —In plur.:

    hoc aditu laudis non mea me voluntas sed meae vitae rationes ab ineunte aetate susceptae prohibuerunt,

    plan of life, Cic. Imp. Pomp. 1, 1:

    de rationibus rerum publicarum aut constituendarum aut tuendarum,

    id. Rep. 1, 6, 11.—
    (β).
    Object., relation, condition, nature, kind, sort, fashion, way, etc. (cf. modus):

    sed ratio ordoque agminis aliter se habebat ac Belgae ad Nervios detulerant,

    Caes. B. G. 2, 19; cf.:

    ut rei militaris ratio atque ordo postulabat,

    id. ib. 2, 22; so,

    rei militaris,

    id. ib. 4, 23:

    ratio atque usus belli,

    the art and practice of war, id. ib. 4, 1; id. B. C. 1, 76 fin.; 2, 18; 3, 17 et saep. al.; cf.:

    novae rationes bellandi,

    id. ib. 3, 50:

    ratio equestris proelii,

    id. B. G. 5, 16:

    quorum operum haec erat ratio, etc.,

    id. B. C. 1, 25; cf.: rationem pontis hanc instituit;

    tigna bina, etc.,

    id. B. G. 4, 17:

    serpit per omnium vitas amicitia, nec ullam aetatis degendae rationem patitur esse expertem sui,

    Cic. Lael. 23, 87; cf.:

    ita ratio comparata est vitae naturaeque nostrae, ut, etc.,

    id. ib. 27, 101; id. Ac. 2, 43, 132:

    civitas (Platonis) non quae possit esse, sed in qua ratio rerum civilium perspici posset,

    id. Rep. 2, 30, 52 init.; cf.:

    reliqui disseruerunt de generibus et de rationibus civitatum,

    id. ib. 2, 11, 22;

    1, 8, 13: quam creberrimis litteris faciam ut tibi nota sit omnis ratio dierum atque itinerum meorum,

    id. Fam. 3, 5, 4: quoniam eadem est ratio juris in utroque, id. Rep. 3, 12, 21; cf.:

    haec eadem ratio est in summa totius Galliae,

    Caes. B. G. 6, 11 fin.:

    ab nostris eadem ratione, qua pridie, resistitur,

    id. ib. 5, 40; id. B. C. 3, 100; cf. id. ib. 3, 101:

    docet, longe alia ratione esse bellum gerendum atque antea sit gestum,

    id. B. G. 7, 14:

    hoc si Romae fieri posset, certe aliqua ratione expugnasset iste,

    Cic. Verr. 2, 2, 52, ee130:

    quid refert, qua me ratione cogatis?

    id. Lael. 8, 26:

    quod fuit illis conandum atque omni ratione efficiendum,

    Caes. B. C. 1, 65 fin.; 1, 67 fin.:

    simili ratione Pompeius in suis castris consedit,

    id. ib. 3, 76:

    auxilium ferri nulla ratione poterat,

    id. ib. 1, 70:

    nec quibus rationibus superare possent, sed quem ad modum uti victoria deberent, cogitabant,

    id. ib. 3, 83 fin.; 3, 58; 3, 18 fin. et saep.—
    (γ).
    With gen. of a subst. in circumlocution for the subst. itself (v. Zumpt, Gram. §

    678): vereor ne oratio mea aliena ab judiciorum ratione esse videatur,

    Cic. Verr. 2, 4, 49, ee109:

    multa autem propter rationem brevitatis praetermittenda,

    id. ib. 2, 1, 40, ee

    103: quantas perturbationes et quantos aestus habet ratio comitiorum?

    id. Mur. 17, 35:

    nihil fallacius ratione tota comitiorum,

    id. ib. 17, 36:

    praedicere tempestatum rationem et praedonum,

    id. ib. 2, 4:

    tota ratio talium largitionum genere vitiosa est,

    id. Off. 2, 17, 60.—
    2.
    Pregn., that faculty of the mind which forms the basis of computation and calculation, and hence of mental action in general, i. e. judgment, understanding, reason: duplex est vis animorum atque natura: una pars in appetitu posita est, quae est hormê Graece, quae hominem huc et illuc rapit;

    altera in ratione, quae docet et explanat, quid faciendum, quid fugiendum sit. Ita fit, ut ratio praesit, appetitus obtemperet,

    Cic. Off. 1, 28, 101:

    homo, quod rationis est particeps, per quam consequentia cernit, causas rerum videt earumque progressus et quasi antecessiones non ignorat, similitudines comparat rebusque praesentibus adjungit atque annectit futuras, facile totius vitae cursum videt ad eamque degendam praeparat res necessarias. Eademque natura vi rationis hominem concilia homini et ad orationis et ad vitae societatem, etc.,

    id. ib. 1, 4, 11 sq.:

    haud scio, an melius fuerit, humano generi motum istum celerem cogitationis, acumen, sollertiam, quam rationem vocamus, non dari omnino quam tam munifice et tam large dari, etc.,

    id. N. D. 2, 27, 69:

    lex est ratio summa, insita in natura, quae jubet ea, quae facienda sunt, prohibetque contraria. Eadem ratio, cum est in hominis mente confirmata et confecta, lex est,

    id. Leg. 1, 6, 18:

    ut, quos ratio non posset, eos ad officium religio duceret,

    id. N. D. 1, 42, 118:

    mens et ratio et consilium in senibus est,

    id. Sen. 19, 67; cf. Liv. 28, 28:

    si pudor quaeritur, si probitas, si fides, Mancinus haec attulit, si ratio, consilium, prudentia, Pompeius antistat,

    Cic. Rep. 3, 18, 28; cf. id. Quint. 16, 53; and:

    si ratio et prudentia curas aufert,

    Hor. Ep. 1, 11, 25:

    quibus in rebus temeritas et casus, non ratio nec consilium valet,

    Cic. Div. 2, 41, 85; cf.:

    illa de urbis situ revoces ad rationem quae a Romulo casu aut necessitate facta sunt,

    id. Rep. 2, 11, 22; and:

    moneo ut agentem te ratio ducat, non fortuna,

    Liv. 22, 39 fin.: mulier abundat audacia;

    consilio et ratione deficitur,

    Cic. Clu. 65, 184:

    Ariovistum magis ratione et consilio quam virtute vicisse. Cui rationi contra homines barbaros locus fuisset, etc.,

    Caes. B. G. 1, 40: arma amens capio;

    nec sat rationis in armis,

    Verg. A. 2, 314:

    rationis egens,

    id. ib. 8, 299 et saep.:

    iracundia dissidens a ratione,

    Cic. Rep. 1, 38, 60:

    majora quam hominum ratio consequi possit,

    id. ib. 1, 10, 15:

    quantum ratione provideri poterat,

    Caes. B. G. 7, 16 fin.:

    quantumque in ratione esset, exploratum habuit,

    Hirt. B. G. 8, 6 init.:

    nec majore ratione bellum administrari posse,

    Caes. B. C. 7, 21:

    minari divisoribus ratio non erat,

    it was not reasonable, was contrary to reason, Cic. Verr. 1, 9, 24; so, nulla ratio est, with an objectclause, id. Caecin. 5, 15; so,

    too, minime rationis est,

    Col. 3, 5, 3; cf. with dat.:

    Vitellianus exercitus, cui acquiescere Cremonae ratio fuit,

    which, as reason dictated, ought to have rested at Cremona, Tac. H. 3, 22:

    quod domi te inclusisti, ratione fecisti,

    reasonably, sensibly, judiciously, Cic. Att. 12, [p. 1527] 14, 3.—
    b.
    The reasonable cause of a thing, a ground, motive, reason:

    ratio est causa, quae demonstrat, verum esse id, quod intendimus, brevi subjectione. Rationis confirmatio est ea, quae pluribus argumentis corroborat breviter expositam rationem,

    Auct. Her. 2, 18, 28:

    quid tandem habuit argumenti aut rationis res, quamobrem, etc.,

    Cic. Verr. 2, 2, 47, § 115; cf.:

    nostra confirmare argumentis ac rationibus: deinde contraria refutare,

    id. de Or. 2, 19, 80:

    noverit orator argumentorum et rationum locos,

    id. Or. 14, 44 (v. also argumentum):

    si mei consilii causam rationemque cognoverit,

    id. Div. in Caecil. 1, 1; cf.:

    ad eam sententiam cum reliquis causis haec quoque ratio eos deduxit, quod, etc.,

    Caes. B. G. 2, 10 fin.:

    quam habet rationem, non quaero aequitatis, sed ipsius improbitatis atque impudentiae?... facti, si non bonam, at aliquam rationem afferre,

    Cic. Verr. 2, 3, 85, e196; cf.:

    deinde nihil rationis affert, quamobrem, etc.,

    id. Caecin. 33, 96:

    non deest hoc loco copia rationum, quibus docere velitis, humanas esse formas deorum: primum quod, etc.... deinde quod, etc.... tertiam rationem affertis, quod, etc.,

    id. N. D. 1, 27, 76:

    et quidem, cur sic opinetur, rationem subicit,

    id. Div. 2, 50, 104:

    idcirco minus existimo te nihil nisi summa ratione fecisse,

    id. Att. 8, 11, D, §

    5: nunc non modo agendi rationem nullam habeo, sed ne cogitandi quidem,

    id. Fam. 4, 13, 3:

    rationes in ea disputatione a te collectae vetabant me rei publicae penitus diffidere,

    id. Fam. 5, 13, 3; cf. id. Ac. 2, 36, 116:

    rationibus conquisitis de voluptate et dolore disputandum putant,

    id. Fin. 1, 9, 31; cf.:

    quod cum disputando rationibusque docuisset,

    id. Rep. 1, 16, 25:

    his rationibus tam certis tamque illustribus opponuntur ab his, qui contra disputant primum labores, etc.,

    id. ib. 1, 3, 4 et saep.:

    num parva causa aut prava ratio est?

    reason, excuse, Ter. Eun. 3, 5, 27.—
    (β).
    In rhet., a showing cause, argument, reasoning in support of a proposition:

    ratio est, quae continet causam, quae si sublata sit, nihil in causa controversiae relinquatur, hoc modo: Orestes si accusetur matricidii, nisi hoc dicat, Jure feci, illa enim patrem meum occiderat, non habet defensionem,

    Cic. Inv. 1, 13, 18:

    ad propositum subjecta ratio, et item in distributis supposita ratio,

    id. de Or. 3, 54, 207; cf. Quint. 3, 11, 4; 5, 14, 1; 16; 7, 8, 3.—
    c.
    Reasonableness, reason, propriety, law, rule, order, conformity, etc.:

    in omnibus, quae ratione docentur et via, primum constituendum est, quid quidque sit, etc.,

    in a reasonable, regular manner, Cic. Or. 33, 116; cf.:

    ut ratione et via procedat oratio,

    id. Fin. 1, 9, 29:

    modo et ratione aliquid facere (along with recte atque ordine facere),

    id. Quint. 7, 28; cf.:

    quae res Nec modum habet neque consilium, ratione modoque Tractari non vult,

    Hor. S. 2, 3, 266:

    nihil est, quod ratione et numero moveri possit sine consilio,

    Cic. N. D. 2, 16, 43:

    intervallis imparibus, sed tamen pro rata parte ratione distinctis,

    divided proportionally by rule, id. Rep. 6, 18, 18; cf.:

    ex summis et infimis et mediis interjectis ordinibus ut sonis moderata ratione civitas concinit,

    in symmetrical proportion, id. ib. 2, 42, 69:

    in quo defuit fortasse ratio, sed tamen vincit ipsa rerum publicarum natura saepe rationem,

    order, system, id. ib. 2, 33, 57;

    5, 5, 7: declinatio si cum ratione fiet,

    reasonably, id. Tusc. 4, 6, 13:

    ratio et distributio,

    a reasonable division, Q. Cic. Pet. Cons. 1, 1.—
    d.
    A theory, doctrine, or system based upon reason; science, and (less freq.), subject., knowledge:

    erat enim tunc haec nova et ignota ratio, solem lunae oppositum solere deficere,

    Cic. Rep. 1, 16, 25; cf.:

    nova et a nobis inventa ratio,

    id. ib. 1, 8, 13;

    2, 39, 66: si animum contulisti in istam rationem et quasi artem,

    id. ib. 1, 23, 37; cf.:

    omnes tacito quodam sensu sine ulla arte aut ratione, quae sint in artibus ac rationibus recta ac prava dijudicant,

    id. de Or. 3, 50, 195; id. Brut. 74, 258:

    continet enim totam hanc quaestionem ea ratio, quae est de natura deorum,

    id. Div. 1, 51, 117:

    Epicuri ratio, quae plerisque notissima est,

    doctrine, system, philosophy, id. Fin. 1, 5, 13; cf.:

    Stoicorum ratio disciplinaque,

    id. Off. 3, 4, 20:

    Cynicorum ratio,

    id. ib. 1, 41, 148; so id. Fin. 3, 20, 68: ratio vivendi... ratio civilis et disciplina populorum, the art of living... statesmanship, id. Rep. 3, 3, 4; cf.:

    etiamsi cui videbitur illa in optimis studiis et artibus quieta vitae ratio beatior, haec civilis laudabilior est certe et illustrior,

    id. ib. 3, 3, 4:

    improba navigii ratio tum caeca jacebat,

    Lucr. 5, 1004: saltationis ac musicae rationis studiosi, Col. prooem. e3 al.—Subject., knowledge:

    si qua (est in me) exercitatio dicendi aut si hujus rei ratio aliqua, ab optimarum artium studiis ac disciplina profecta,

    Cic. Arch. 1, 1.—
    e.
    A view or opinion resting upon reasonable grounds:

    mea sic est ratio,

    Ter. Ad. 1, 1, 43; cf.:

    inventus est nemo, cujus non haec et sententia esset et oratio, non esse metuendum, etc.... Haec cum omnes sentirent et cum in eam rationem pro suo quisque sensu ac dolore loqueretur,

    Cic. Verr. 2, 1, 27, § 68 sq.; and with this cf. id. Att. 1, 11, 1:

    cujus ratio etsi non valuit,

    Nep. Milt. 3, 6 (just before: hujus cum sententiam plurimi essent secuti).—
    f.
    In philos. lang., a production of proof, argumentation, reasoning: (Epicurus) tollit definitiones; nihil de dividendo ac partiendo docet;

    non, quo modo efficiatur concludaturque ratio, tradit,

    Cic. Fin. 1, 7, 22; cf. id. Div. 2, 10, 25; id. de Or. 2, 38, 158:

    ratio ipsa coget, et ex aeternitate quaedam esse vera et ea non esse nexa causis aeternis, etc.,

    id. Fat. 16, 38; cf.:

    ergo, ubi tyrannus est, ibi non vitiosam ut heri dicebam, sed, ut nunc ratio cogit, dicendum est, plane nullam esse rem publicam,

    id. Rep. 3, 31, 43.

    Lewis & Short latin dictionary > ratio

  • 46 Harrison, John

    [br]
    b. 24 March 1693 Foulby, Yorkshire, England
    d. 24 March 1776 London, England
    [br]
    English horologist who constructed the first timekeeper of sufficient accuracy to determine longitude at sea and invented the gridiron pendulum for temperature compensation.
    [br]
    John Harrison was the son of a carpenter and was brought up to that trade. He was largely self-taught and learned mechanics from a copy of Nicholas Saunderson's lectures that had been lent to him. With the assistance of his younger brother, James, he built a series of unconventional clocks, mainly of wood. He was always concerned to reduce friction, without using oil, and this influenced the design of his "grasshopper" escapement. He also invented the "gridiron" compensation pendulum, which depended on the differential expansion of brass and steel. The excellent performance of his regulator clocks, which incorporated these devices, convinced him that they could also be used in a sea dock to compete for the longitude prize. In 1714 the Government had offered a prize of £20,000 for a method of determining longitude at sea to within half a degree after a voyage to the West Indies. In theory the longitude could be found by carrying an accurate timepiece that would indicate the time at a known longitude, but the requirements of the Act were very exacting. The timepiece would have to have a cumulative error of no more than two minutes after a voyage lasting six weeks.
    In 1730 Harrison went to London with his proposal for a sea clock, supported by examples of his grasshopper escapement and his gridiron pendulum. His proposal received sufficient encouragement and financial support, from George Graham and others, to enable him to return to Barrow and construct his first sea clock, which he completed five years later. This was a large and complicated machine that was made out of brass but retained the wooden wheelwork and the grasshopper escapement of the regulator clocks. The two balances were interlinked to counteract the rolling of the vessel and were controlled by helical springs operating in tension. It was the first timepiece with a balance to have temperature compensation. The effect of temperature change on the timekeeping of a balance is more pronounced than it is for a pendulum, as two effects are involved: the change in the size of the balance; and the change in the elasticity of the balance spring. Harrison compensated for both effects by using a gridiron arrangement to alter the tension in the springs. This timekeeper performed creditably when it was tested on a voyage to Lisbon, and the Board of Longitude agreed to finance improved models. Harrison's second timekeeper dispensed with the use of wood and had the added refinement of a remontoire, but even before it was tested he had embarked on a third machine. The balance of this machine was controlled by a spiral spring whose effective length was altered by a bimetallic strip to compensate for changes in temperature. In 1753 Harrison commissioned a London watchmaker, John Jefferys, to make a watch for his own personal use, with a similar form of temperature compensation and a modified verge escapement that was intended to compensate for the lack of isochronism of the balance spring. The time-keeping of this watch was surprisingly good and Harrison proceeded to build a larger and more sophisticated version, with a remontoire. This timekeeper was completed in 1759 and its performance was so remarkable that Harrison decided to enter it for the longitude prize in place of his third machine. It was tested on two voyages to the West Indies and on both occasions it met the requirements of the Act, but the Board of Longitude withheld half the prize money until they had proof that the timekeeper could be duplicated. Copies were made by Harrison and by Larcum Kendall, but the Board still continued to prevaricate and Harrison received the full amount of the prize in 1773 only after George III had intervened on his behalf.
    Although Harrison had shown that it was possible to construct a timepiece of sufficient accuracy to determine longitude at sea, his solution was too complex and costly to be produced in quantity. It had, for example, taken Larcum Kendall two years to produce his copy of Harrison's fourth timekeeper, but Harrison had overcome the psychological barrier and opened the door for others to produce chronometers in quantity at an affordable price. This was achieved before the end of the century by Arnold and Earnshaw, but they used an entirely different design that owed more to Le Roy than it did to Harrison and which only retained Harrison's maintaining power.
    [br]
    Principal Honours and Distinctions
    Royal Society Copley Medal 1749.
    Bibliography
    1767, The Principles of Mr Harrison's Time-keeper, with Plates of the Same, London. 1767, Remarks on a Pamphlet Lately Published by the Rev. Mr Maskelyne Under the
    Authority of the Board of Longitude, London.
    1775, A Description Concerning Such Mechanisms as Will Afford a Nice or True Mensuration of Time, London.
    Further Reading
    R.T.Gould, 1923, The Marine Chronometer: Its History and Development, London; reprinted 1960, Holland Press.
    —1978, John Harrison and His Timekeepers, 4th edn, London: National Maritime Museum.
    H.Quill, 1966, John Harrison, the Man who Found Longitude, London. A.G.Randall, 1989, "The technology of John Harrison's portable timekeepers", Antiquarian Horology 18:145–60, 261–77.
    J.Betts, 1993, John Harrison London (a good short account of Harrison's work). S.Smiles, 1905, Men of Invention and Industry; London: John Murray, Chapter III. Dictionary of National Biography, Vol. IX, pp. 35–6.
    DV

    Biographical history of technology > Harrison, John

  • 47 Perkins, Jacob

    [br]
    b. 9 July 1766 Newburyport, Massachusetts, USA
    d. 30 July 1849 London, England
    [br]
    American inventor of a nail-making machine and a method of printing banknotes, investigator of the use of steam at very high pressures.
    [br]
    Perkins's occupation was that of a gold-and silversmith; while he does not seem to have followed this after 1800, however, it gave him the skills in working metals which he would continue to employ in his inventions. He had been working in America for four years before he patented his nail-making machine in 1796. At the time there was a great shortage of nails because only hand-forged ones were available. By 1800, other people had followed his example and produced automatic nail-making machines, but in 1811 Perkins' improved machines were introduced to England by J.C. Dyer. Eventually Perkins had twenty-one American patents for a range of inventions in his name.
    In 1799 Perkins invented a system of engraving steel plates for printing banknotes, which became the foundation of modern siderographic work. It discouraged forging and was adopted by many banking houses, including the Federal Government when the Second United States Bank was inaugurated in 1816. This led Perkins to move to Philadelphia. In the intervening years, Perkins had improved his nail-making machine, invented a machine for graining morocco leather in 1809, a fire-engine in 1812, a letter-lock for bank vaults and improved methods of rolling out spoons in 1813, and improved armament and equipment for naval ships from 1812 to 1815.
    It was in Philadelphia that Perkins became interested in the steam engine, when he met Oliver Evans, who had pioneered the use of high-pressure steam. He became a member of the American Philosophical Society and conducted experiments on the compressibility of water before a committee of that society. Perkins claimed to have liquified air during his experiments in 1822 and, if so, was the real discoverer of the liquification of gases. In 1819 he came to England to demonstrate his forgery-proof system of printing banknotes, but the Bank of England was the only one which did not adopt his system.
    While in London, Perkins began to experiment with the highest steam pressures used up to that time and in 1822 took out his first of nineteen British patents. This was followed by another in 1823 for a 10 hp (7.5 kW) engine with only 2 in. (51 mm) bore, 12 in. (305 mm) stroke but a pressure of 500 psi (35 kg/cm2), for which he claimed exceptional economy. After 1826, Perkins abandoned his drum boiler for iron tubes and steam pressures of 1,500 psi (105 kg/cm2), but the materials would not withstand such pressures or temperatures for long. It was in that same year that he patented a form of uniflow cylinder that was later taken up by L.J. Todd. One of his engines ran for five days, continuously pumping water at St Katherine's docks, but Perkins could not raise more finance to continue his experiments.
    In 1823 one his high-pressure hot-water systems was installed to heat the Duke of Wellington's house at Stratfield Saye and it acquired a considerable vogue, being used by Sir John Soane, among others. In 1834 Perkins patented a compression ice-making apparatus, but it did not succeed commercially because ice was imported more cheaply from Norway as ballast for sailing ships. Perkins was often dubbed "the American inventor" because his inquisitive personality allied to his inventive ingenuity enabled him to solve so many mechanical challenges.
    [br]
    Further Reading
    Historical Society of Pennsylvania, 1943, biography which appeared previously as a shortened version in the Transactions of the Newcomen Society 24.
    D.Bathe and G.Bathe, 1943–5, "The contribution of Jacob Perkins to science and engineering", Transactions of the Newcomen Society 24.
    D.S.L.Cardwell, 1971, From Watt to Clausius. The Rise of Thermodynamics in the Early Industrial Age, London: Heinemann (includes comments on the importance of Perkins's steam engine).
    A.F.Dufton, 1940–1, "Early application of engineering to warming of buildings", Transactions of the Newcomen Society 21 (includes a note on Perkins's application of a high-pressure hot-water heating system).
    RLH

    Biographical history of technology > Perkins, Jacob

  • 48 наглядный

    1. visual
    2. obvious
    3. obviously

    Русско-английский научный словарь > наглядный

  • 49 позитивный

    1. positive

    [lang name="Russian"]положительная логика; позитивная логика — positive logic

    2. positively

    [lang name="Russian"]позитивное, прямое доказательство — positive proof

    [lang name="Russian"]позитивное право; действующее право — positive law

    Русско-английский научный словарь > позитивный

  • 50 строгий

    1. rigorous
    2. strict

    Русско-английский научный словарь > строгий

  • 51 наглядный

    1. visual
    2. visually

    Русско-английский словарь по информационным технологиям > наглядный

  • 52 технический

    авиационная техническая база
    1. aircraft maintenance depot
    2. aircraft maintenance base авиационное техническое училище
    aeronautical technical school
    база оперативного технического обслуживания
    line maintenance base
    бортовая техническая аптечка
    en-route repair kit
    бригада технического обслуживания
    maintenance crew
    бригада технического обслуживания воздушных судов
    aircraft maintenance team
    ведомость технического контроля
    checklist
    время простоя на техническим обслуживании
    maintenance ground time
    в соответствии с техническими условиями
    in conformity with the specifications
    выставка технического оборудования для обслуживания воздушных судов
    aircraft maintenance engineering exhibition
    зона технического обслуживания
    maintenance area
    инженер по техническому обслуживанию воздушных судов
    aircraft maintenance engineer
    инструкция по техническому обслуживанию
    maintenance instruction
    испытания на соответствие заданным техническим условиям
    1. functional tests
    2. proof-of-compliance tests карта - наряд на выполнение регламентного технического обслуживания
    scheduled maintenance record
    карта - наряд на выполнение технического обслуживания
    maintenance release
    карта - наряд на техническое обслуживание
    maintenance record
    контроль за выполнением технического обслуживания
    maintenance supervision
    машина технической помощи
    wrecking truck
    место на крыле для выполнения технического обслуживания
    overwing walkway
    метод технического обслуживания
    maintenance method
    оборудование для технического обслуживания
    maintenance facilities
    объединение для технического обслуживания
    technical pool
    оперативная форма технического обслуживания
    fine maintenance check
    основные технические данные воздушного судна
    aircraft basic specifications
    основные технические параметры
    basic technical data
    отклонение от технических условий
    departure from specifications
    передвижная станция технического обслуживания
    mobile ship station
    периодическая форма технического обслуживания
    periodic maintenance check
    посадка по техническим причинам
    technical stop
    прямые расходы на техническое обслуживание
    direct maintenance costs
    работы по техническому обслуживанию
    maintenance operations
    расходы на техническое обслуживание
    maintenance costs
    регистратор технического состояния
    maintenance recorder
    регламент технического обслуживания
    1. maintenance schedule
    2. maintenance program руководство по технической эксплуатации воздушного судна
    aircraft maintenance guide
    Секция расчетов по вопросам технической помощи
    Technical Assistance Accounts section
    (ИКАО) Секция технической поддержки
    Technical Support section
    (ИКАО) соблюдать технические условия
    meet the specifications
    стремянка для технического обслуживания
    maintenance stand
    техническая аптечка
    maintenance kit
    техническая аптечка воздушного судна
    aircraft repair kit
    техническая экспертиза
    technical expertise
    технические условия
    technical specification
    технические характеристики зональной навигации
    area navigation capability
    технический осмотр
    maintenance inspection
    технический отказ
    technical rejection
    технический отсек
    service compartment
    технический персонал
    1. maintenance personnel
    2. mechanical personnel технический спирт
    industrial alcohol
    технический чертеж
    engineering drawing
    техническое масло
    industrial oil
    техническое обслуживание
    1. maintenance A
    2. maintenance work 3. maintenance service 4. servicing технология технического обслуживания воздушного судна
    aircraft maintenance practice
    Управление технической помощи
    Technical Assistance Bureau
    уровень технического обслуживания
    maintenance competency
    характеристики, установленные техническим заданием
    scheduled performances
    цех технического обслуживания
    maintenance shop
    цех технического обслуживания воздушных судов
    aircraft maintenance division
    эксперт по техническому обслуживанию
    maintenance expert

    Русско-английский авиационный словарь > технический

  • 53 Logic

       My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)
       I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)
       To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)
       We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)
       There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)
       [L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)
       There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)
       The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)

    Historical dictionary of quotations in cognitive science > Logic

Страницы

См. также в других словарях:

  • Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… …   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-of-payment — or POP is an honor based fare collection approach used on many public transportation systems. Instead of checking each passenger as they enter a fare control zone, proof of payment requires that each passenger carry a ticket or pass proving that… …   Wikipedia

  • Proof (rapper) — Proof Proof in August 2005 Background information Birth name DeShaun Dupree Holton Born October 2, 1973 …   Wikipedia

  • Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… …   Wikipedia

  • Proof (Rapper) — Proof im August 2005 Proof, auch bekannt als Derty Harry oder Oil Can Harry[1] (* 2. Oktober 1973 in Detroit, Michigan; † 11. April 2006 ebenda; eigentlicher Name DeShaun Holton) war ein US amerikanischer Rapper un …   Deutsch Wikipedia

  • Proof of delivery — is a method to establish the fact that the recipient received the contents sent by the sender. When the sender sends multiple documents through the mail there is a possibility of some not reaching the intended recipient. Generally post offices… …   Wikipedia

  • Method Man — Concierto de Method Man en 2007 Datos generales Nombre real Clifford Smith N …   Wikipedia Español

  • proof by negation — method of proving a claim as true by proving all other claims as false …   English contemporary dictionary

  • Method of conditional probabilities — In mathematics and computer science, the probabilistic method is used to prove the existence of mathematical objects with desired combinatorial properties. The proofs are probabilistic they work by showing that a random object, chosen from some… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»