-
41 Nineteen propositions
பத்தொன்பது முன்மொழிக் கூற்றுக்கள் -
42 impossible propositions
Англо-русский словарь по исследованиям и ноу-хау > impossible propositions
-
43 incompatible propositions
Англо-русский словарь по исследованиям и ноу-хау > incompatible propositions
-
44 logically equivalent propositions
Англо-русский словарь по исследованиям и ноу-хау > logically equivalent propositions
-
45 system of propositions
Англо-русский словарь по исследованиям и ноу-хау > system of propositions
-
46 contradictory propositions
The English-Russian dictionary general scientific > contradictory propositions
-
47 proposals received
propositions reçues (RL, 2e) -
48 submitted business
propositions soumises (DL, 2e) -
49 exclusive
exclusive [ɪk'sklu:sɪv](a) (select → restaurant, neighbourhood) chic; (→ club) fermé; (→ shop) de luxe; (→ school) élitiste;∎ they live at a very exclusive address ils vivent dans un quartier très chic(b) (deal, contract) exclusif;∎ to have exclusive rights in a production avoir l'exclusivité d'une production;∎ exclusive to réservé (exclusivement) à;∎ an interview exclusive to this magazine une interview exclusive accordée à notre magazine∎ exclusive of VAT TVA non comprise;∎ exclusive of tax hors taxe(s);∎ the rent is £200 a week exclusive le loyer est de 200 livres par semaine sans les charges;∎ from 14 to 19 October, exclusive du 14 au 19 octobre exclu;∎ all prices are exclusive of postage and packing les prix indiqués ne tiennent pas compte des frais d'envoi et d'emballage(d) (incompatible) exclusif;∎ the two propositions are/are not mutually exclusive les deux propositions sont/ne sont pas incompatibles;∎ they are mutually exclusive (propositions) l'une exclut l'autre, elles sont incompatibles∎ their exclusive concern leur seul souci;∎ the exclusive use of gold l'emploi exclusif d'or2 nounPress exclusivité f; (interview) interview f exclusive;∎ a Tribune exclusive une exclusivité de la Tribune►► Commerce exclusive distribution distribution f exclusive;Commerce exclusive economic zone zone f économique exclusive;Commerce exclusive licence licence f exclusive -
50 categorical scale
стат. категориальная шкала ( другое название номинальной шкалы)If you are using a categorical scale, you may say that a proposition belongs to the category of truthful propositions or the category of false propositions. — Если вы используете категориальную шкалу, вы можете сказать, что суждение принадлежит к категории правдивых утверждений или к категории ложных суждений.
Syn:See: -
51 proposition
nположение; утверждение; предложение- essential propositions
- propositions put before the whole nation for discussion -
52 go
go [gəʊ]━━━━━━━━━━━━━━━━━2. modal verb4. noun5. compounds━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━a. ( = move) aller• where are you going? où allez-vous ?• there he goes! le voilà !• you can go next allez-y(, je vous en prie) !► to go + preposition• the train goes at 90km/h le train roule à 90 km/h• where do we go from here? qu'est-ce qu'on fait maintenant ?• to go to France/to London aller en France/à Londres• to go up the hill monter la colline► to go + -ing• to go swimming (aller) nager► go and...• go and get me it! va me le chercher !• now you've gone and broken it! (inf) ça y est, tu l'as cassé !• when does the train go? quand part le train ?• after a week all our money had gone en l'espace d'une semaine, nous avions dépensé tout notre argent• he'll have to go [employee] on ne peut pas le garder• there goes my chance of promotion! je peux faire une croix sur ma promotion !• going, going, gone! une fois, deux fois, trois fois, adjugé, vendu !► to let sb go ( = allow to leave) laisser partir qn ; ( = make redundant) se séparer de qn ; ( = stop gripping) lâcher qn• let go! lâchez !• to let go of sth/sb lâcher qch/qn• eventually parents have to let go of their children tôt ou tard, les parents doivent laisser leurs enfants voler de leurs propres ailes► to let sth goc. ( = start) [car, machine] démarrer ; ( = function) [machine, watch, car] marcher• how do you make this go? comment est-ce que ça marche ?• to be going [machine, engine] être en marche► to get going [person] ( = leave)• once he gets going... une fois lancé...• to get things going activer les choses► to keep going ( = continue) [person] continuer ; [business] se maintenir• the police signalled her to stop but she kept going la police lui a fait signe de s'arrêter mais elle a continué son chemin• a cup of coffee is enough to keep her going all morning elle réussit à tenir toute la matinée avec un caféd. ( = begin) there he goes again! le voilà qui recommence !• here goes! (inf) allez, on y va !e. ( = progress) aller, marcher• how's it going? (comment) ça va ?• all went well for him until... tout s'est bien passé pour lui jusqu'au moment où...• add the sugar, stirring as you go ajoutez le sucre, en remuant au fur et à mesuref. ( = turn out) [events] se passer• how did your holiday go? comment se sont passées tes vacances ?• that's the way things go, I'm afraid c'est malheureux mais c'est comme çag. ( = become) devenir• have you gone mad? tu es devenu fou ?h. ( = fail) [fuse] sauter ; [bulb] griller ; [material] être usé ; [sight] baisser ; [strength] manqueri. ( = be sold) how much do you think the house will go for? combien crois-tu que la maison va être vendue ?• it went for $550 c'est parti à 550 dollarsj. ( = be given) [prize, reward, inheritance] revenir (to à)k. ( = be accepted) the story goes that... le bruit court que...l. ( = apply) that goes for you too c'est valable pour toi aussi• that goes for me too ( = I agree with that) je suis aussi de cet avis• as far as your suggestion goes... pour ce qui est de ta suggestion...• this explanation is fine, as far as it goes cette explication vaut ce qu'elle vautm. ( = available) are there any jobs going? y a-t-il des postes vacants ?• is there any coffee going? est-ce qu'il y a du café ?n. [tune] the tune goes like this voici l'airo. ( = make sound or movement) faire ; [bell, clock] sonnerp. ( = serve) the money will go to compensate the victims cet argent servira à dédommager les victimes► as... go• he's not bad, as estate agents go il n'est pas mauvais pour un agent immobilier2. modal verb► to be going to + infinitive allera. ( = travel) [+ distance] faireb. ( = make sound) faire• he went "psst" « psst » fit-il4. noun(plural goes)a. ( = motion) (inf) it's all go! ça n'arrête pas !• at one or a go d'un seul coup► to have a go ( = try) essayerc. ( = success) to make a go of sth réussir qch5. compounds• to give sb the go-ahead (to do) (inf) donner le feu vert à qn (pour faire) ► go-between noun intermédiaire mf► go-karting noun = go-carting► go abouta. allerb. [rumour] courira. [+ task, duties] he went about the task methodically il s'y est pris de façon méthodique• how does one go about getting seats? comment fait-on pour avoir des places ?( = cross) traverser• she went across to Mrs. Smith's elle est allée en face chez Mme Smith[+ river, road] traverser( = follow) suivre ; ( = attack) attaquer• go after him! suivez-le !a. ( = prove hostile to) [vote, judgement, decision] être défavorable àb. ( = oppose) aller à l'encontre de• conditions which went against national interests des conditions qui allaient à l'encontre des intérêts nationaux• it goes against my principles c'est contre mes principes► go ahead intransitive verb passer devant ; [event] avoir (bien) lieu ; [work] avancer• go ahead! allez-y !• why don't you go along too? pourquoi n'iriez-vous pas aussi ?• I can't go along with that at all je ne suis pas du tout d'accord là-dessus► go around intransitive verba. = go about ; go roundb. what goes around comes around tout finit par se payer► go away intransitive verb partir ; (on holiday) partir (en vacances) ; [pain] disparaître• we need to go away and think about this nous devons prendre le temps d'y réfléchir► go back intransitive verba. ( = return) retourner• it's getting dark, shall we go back? il commence à faire nuit, on rentre ?b. ( = retreat) reculerd. ( = revert) revenir (to à)e. ( = extend) s'étendre• the cave goes back 300 metres la grotte fait 300 mètres de long► go back on inseparable transitive verb[+ decision, promise] revenir sur( = happen earlier)[person] passer ; [period of time] (se) passerb. ( = be swallowed) it went down the wrong way j'ai (or il a etc) avalé de traversc. ( = be accepted) I wonder how that will go down with her parents je me demande comment ses parents vont prendre ça• to go down well/badly être bien/mal accueillid. [value, price, standards] baissere. ( = be relegated) être reléguéf. [stage curtain] tomber ; [theatre lights] s'éteindreg. ( = go as far as) allerh. [balloon, tyre] se dégonfler• my ankle's OK, the swelling has gone down ma cheville va bien, elle a désenflé► go down as inseparable transitive verb( = be regarded as) être considéré comme ; ( = be remembered as) passer à la postérité comme• the victory will go down as one of the highlights of the year cette victoire restera dans les mémoires comme l'un des grands moments de l'année► go down with (inf) inseparable transitive verb[+ illness] attrapera. ( = attack) attaquerc. ( = strive for) essayer d'avoir ; ( = choose) choisir• the theory has a lot going for it cette théorie a de nombreux mérites► go forward intransitive verba. ( = move ahead) avancer ; [economy] progresserb. ( = take place) avoir lieuc. ( = continue) maintenir• if they go forward with these proposals s'ils maintiennent ces propositions► go in intransitive verba. ( = enter) entrerb. ( = attack) attaquera. [+ examination] se présenter à ; [+ position, job] poser sa candidature à ; [+ competition, race] prendre part àb. [+ sport] pratiquer ; [+ hobby] se livrer à ; [+ style] affectionner ; [+ medicine, accounting, politics] faire• he doesn't go in for reading much il n'aime pas beaucoup lire► go into inseparable transitive verba. [+ profession, field] he doesn't want to go into industry il ne veut pas travailler dans l'industrieb. ( = embark on) [+ explanation] se lancer dansc. ( = investigate) étudierd. ( = be devoted to) être investi dansa. ( = leave) partirb. [alarm clock] sonner ; [alarm] se déclencherc. [light, radio, TV] s'éteindre ; [heating] s'arrêtere. [event] se passer• I used to like him, but I've gone off him lately je l'aimais bien mais depuis un certain temps il m'agace► go off with inseparable transitive verb partir aveca. ( = proceed on one's way) (without stopping) poursuivre son chemin ; (after stopping) continuer sa route ; (by car) reprendre la route• go on trying! essaie encore !• go on! continuez !• if you go on doing that, you'll get into trouble si tu continues, tu vas avoir des ennuis• don't go on about it! ça va, j'ai compris !• she's always going on at him about doing up the kitchen elle n'arrête pas de le harceler pour qu'il refasse la cuisinee. ( = proceed) passer• he went on to say that... puis il a dit que...• he retired from football and went on to become a journalist il a abandonné le football et est devenu journaliste• how long has this been going on? depuis combien de temps est-ce que ça dure ?• what's going on here? qu'est-ce qui se passe ici ?• as the day went on he became more and more anxious au fil des heures, il devenait de plus en plus inquiet• what a way to go on! en voilà des manières !i. ( = progress) [person, patient] aller• how is he going on? comment va-t-il ?( = be guided by) we don't have much to go on yet nous n'avons pas beaucoup d'indices pour l'instant► go on for inseparable transitive verba. ( = leave) sortirb. [fire, light] s'éteindrec. ( = travel) aller (to à)d. [sea] se retirer ; [tide] descendref. [invitation] être envoyé ; [radio programme, TV programme] être diffusé• an appeal has gone out for people to give blood un appel a été lancé pour encourager les dons de sanga. ( = cross) allerb. ( = be overturned) se retournera. ( = examine) [+ accounts, report] vérifierb. ( = review) [+ speech] revoir ; [+ facts, points] récapituler• let's go over the facts again récapitulons les faits► go over to inseparable transitive verb passer àa. ( = turn) tournerc. ( = be sufficient) suffire (pour tout le monde)d. ( = circulate) [document, story] circuler• there's a rumour going round that... le bruit court que...e. = go about► go through( = be agreed) [proposal] être accepté ; [business deal] être conclua. ( = suffer, endure) endurerb. ( = examine) [+ list] examiner ; [+ book] parcourir ; [+ mail] regarder ; [+ subject, plan] étudier ; [+ one's pockets] fouiller dans• I went through my drawers looking for a pair of socks j'ai cherché une paire de chaussettes dans mes tiroirsc. ( = use up) [+ money] dépenser ; ( = wear out) userd. ( = carry out) [+ routine, course of study] suivre ; [+ formalities] accomplir ; [+ apprenticeship] faire► go through with inseparable transitive verb( = persist with) [+ plan, threat] mettre à exécution• in the end she couldn't go through with it en fin de compte elle n'a pas pu le faire► go together intransitive verb[colours, flavours] aller (bien) ensemble ; [events, conditions, ideas] aller de paira. ( = sink) [ship, person] coulerb. ( = fail) [person, business] faire faillite► go upa. monter[+ hill] gravira. [circumstances, event, conditions] aller (de pair) avec• mothers feed their children and go without themselves les mères nourrissent leurs enfants et se privent elles-mêmes de tout* * *[gəʊ] 1.1) (move, travel) aller ( from de; to à, en)to go to Wales/to California — aller au Pays de Galles/en Californie
to go to town/to the country — aller en ville/à la campagne
to go up/down/across — monter/descendre/traverser
to go by bus/train — voyager en bus/train
to go by ou past — [person, vehicle] passer
there he goes again! — ( that's him again) le revoilà!; fig ( he's starting again) le voilà qui recommence!
where do we go from here? — fig et maintenant qu'est-ce qu'on fait?
2) (on specific errand, activity) allerto go on a journey/on holiday — partir en voyage/en vacances
3) ( attend) allerto go to school/work — aller à l'école/au travail
5) ( depart) partir7) ( disappear) partir8) (be sent, transmitted)9) ( become)to go mad — devenir fou/folle
10) ( change over to new system)to go Labour — Politics [country, constituency] voter travailliste
11) (be, remain)12) (weaken, become impaired)13) ( of time)14) ( be got rid of)six down and four to go! — six de faits, et encore quatre à faire!
15) (operate, function) [vehicle, machine, clock] marcher, fonctionnerto set [something] going — mettre [quelque chose] en marche
to get going — [engine, machine] se mettre en marche; fig [business] démarrer
to keep going — [person, business, machine] se maintenir
16) ( start)here goes! —
once he gets going, he never stops — une fois lancé, il n'arrête pas
17) ( lead) aller, conduire (to à)the road goes down/goes up — la route descend/monte
18) ( extend in depth or scope)a hundred pounds doesn't go far these days — on ne va pas loin avec cent livres sterling de nos jours
you can make £5 go a long way — on peut faire beaucoup de choses avec 5 livres sterling
19) (belong, be placed) aller20) ( fit) gen rentrer22) ( be accepted)23) ( be about to)24) ( happen)how's it going? — (colloq)
how are things going? — comment ça va? (colloq)
how goes it? — hum comment ça va? (colloq)
25) ( be on average)it's old, as Australian towns go — c'est une ville assez vieille pour une ville australienne
it wasn't a bad party, as parties go — c'était une soirée plutôt réussie par rapport à la moyenne
26) ( be sold)the house went for over £100,000 — la maison a été vendue à plus de 100000 livres
‘going, going, gone!’ — ‘une fois, deux fois, trois fois, adjugé!’
27) ( be on offer)I'll have some coffee, if there's any going — je prendrai bien un café, s'il y en a
28) ( contribute)29) ( be given) [award, prize] aller (to à); [estate, inheritance, title] passer (to à)30) ( emphatic use)then he had to go and lose his wallet — comme s'il ne manquait plus que ça, il a perdu son portefeuille
31) ( of money) (be spent, used up)32) (make sound, perform action or movement) gen faire; [bell, alarm] sonnerthe cat went ‘miaow’ — le chat a fait ‘miaou’
33) (resort to, have recourse to)to go to war — [country] entrer en guerre; [soldier] partir à la guerre
to go to law GB ou to the law US — aller en justice
34) (break, collapse etc) [roof] s'effondrer; [cable, rope] se rompre; [light bulb] griller35) ( take one's turn)you go next — c'est ton tour après, c'est à toi après
36) ( be in harmony)37) ( in takeaway)2. 3.whose go is it? — gen à qui le tour?; ( in game) à qui de jouer?
2) (colloq) ( energy)to be full of go —
•Phrasal Verbs:- go about- go after- go ahead- go along- go at- go away- go back- go below- go by- go down- go for- go in- go into- go off- go on- go on at- go out- go over- go round- go under- go up- go with••all systems are go! — Aerospace tout est paré pour le lancement!
he's all go! — (colloq) il n'arrête pas!
that's how it goes! —
there you go! — (colloq) voilà!
-
53 proposition
1) лог. предложение; суждение; высказывание2) теорема3) задача; проблема•- contradictory propositions
- contrary propositions
- false proposition
- logical proposition
- particular proposition
- simple proposition
- singular proposition
- tautologically true proposition
- true proposition
- universal propositionEnglish-Russian dictionary of computer science and programming > proposition
-
54 place
A n1 (location, position) endroit m ; to move from place to place se déplacer d'un endroit à l'autre ; I hope this is the right place j'espère que c'est le bon endroit ; we've come to the wrong place nous nous sommes trompés d'endroit ; the best place to buy sth le meilleur endroit pour acheter qch ; same time, same place même heure, même endroit ; in many places dans de nombreux endroits ; in places [hilly, damaged, worn] par endroits ; her leg had been stung in several places elle avait été piquée à la jambe à plusieurs endroits ; a place for un endroit pour [meeting, party, monument, office] ; a place to do un endroit pour faire ; a safe place to hide un endroit sûr pour se cacher ; a good place to plant roses un bon endroit pour planter des roses ; a place where un endroit où ; it's no place for a child! ce n'est pas un endroit pour un enfant! ; the perfect place for a writer l'endroit or le lieu idéal pour un écrivain ; this is the place for me! c'est le rêve ici! ; if you need peace and quiet, then this is not the place! si tu veux être tranquille, alors ce n'est pas l'endroit rêvé! ; to be in the right place at the right time être là où il faut quand il le faut ; to be in two places at once être au four et au moulin, être partout à la fois ; not here, of all places! surtout pas ici! ; in Oxford, of all places! à Oxford, figure-toi! ;2 (town, hotel etc) endroit m ; a nice/strange place to live un endroit agréable/bizarre pour vivre ; a good place to eat une bonne adresse (pour manger) ; we stayed at a place on the coast nous étions sur la côte ; a little place called… un petit village du nom de… ; in a place like Kent/Austria dans une région comme le Kent/un pays comme l'Autriche ; this place is filthy! cet endroit est dégoûtant! ; he threatened to burn the place down ○ il a menacé d'y mettre le feu ; to be seen in all the right places se montrer dans les lieux qui comptent ; all over the place ( everywhere) partout ; fig ○ [speech, lecture] complètement décousu ; your hair is all over the place ○ ! tu es complètement décoiffé! ;3 ( for specific purpose) place of birth/work/pilgrimage lieu m de naissance/travail/pèlerinage ; place of residence domicile m ; place of refuge refuge m ;4 ( home) ( house) maison f ; ( apartment) appartement m ; David's place chez David ; a place by the sea une maison au bord de la mer ; a place of one's own un endroit à soi ; your place or mine? chez toi ou chez moi? ;5 (seat, space) (on bus, at table, in queue) place f ; ( setting) couvert m ; to keep a place garder une place (for pour) ; to find/lose one's place trouver/perdre sa place ; to show sb to his/her place conduire qn à sa place ; please take your places veuillez prendre place ; I couldn't find a place to park je n'ai pas trouvé de place pour me garer ; to lay ou set a place for sb mettre un couvert pour qn ; is this place taken? cette place est-elle prise? ;6 (on team, with firm) place f (on dans) ; (on committee, board) siège m (on au sein de) ; a place as une place comme [au pair, cook, cleaner] ;7 GB Univ place f (at à) ; to get a place on obtenir une place dans [course] ; she got a place on the fashion design course elle a obtenu une place en cours de stylisme ; she has a place on a carpentry course elle a été acceptée pour suivre des cours de menuiserie ;8 lit (in competition, race) place f ; to finish in first place terminer premier/-ière or à la première place ; he backed Red Rum for a place Turf il a joué Red Rum placé ; to take second place fig ( in importance) passer au deuxième plan ; to take second place to sth passer après qch ; to relegate sth to second place faire passer qch en second ;9 (in argument, analysis) in the first place ( firstly) en premier lieu ; ( at the outset) pour commencer ; how much money did we have in the first place? combien d'argent avions-nous pour commencer? ;10 ( correct position) to put sth in place mettre qch en place [fencing, construction] ; to push sth back into place remettre qch en place ; to return sth to its place remettre qch à sa place ; everything is in its place tout est bien à sa place ; to hold sth in place maintenir qch en place ; when the lever is in place quand le levier est engagé ; is the lid in place? est-ce que le couvercle est mis? ; in place [law, system, scheme] en place ; to put sth in place mettre qch en place [scheme, system, regime] ;11 ( rank) sb's/sth's place in la place de qn/qch dans [world, society, history, politics] ; to take one's place in society prendre sa place dans la société ; to put sb in his/her place remettre qn à sa place ; to know one's place rester à sa place ;12 ( role) it's not my place to do ce n'est pas à moi de faire ; to fill sb's place remplacer qn ; to take sb's place, take the place of sb prendre la place de qn ; to have no place in n'avoir aucune place dans [organization, philosophy, creed] ; there is a place for someone like her in this company il y a une place pour une femme comme elle dans cette entreprise ; there are places for people like you ○ ! fig péj ça se soigne ○ ! ;13 ( situation) in my/his place à ma/sa place ; in your place, I'd have done the same à ta place, j'aurais fait la même chose ; to change ou trade places with sb changer de place avec qn ;14 ( moment) moment m ; in places [funny, boring, silly] par moments ; this is not the place to do ce n'est pas le moment de faire ; this is a good place to begin c'est un bon moment pour commencer ; there were places in the film where… il y avait des moments dans le film où… ;15 ( in book) (in paragraph, speech) to mark one's place marquer sa page ; to lose/find one's place ( in book) perdre/retrouver sa page ; (in paragraph, speech) perdre/retrouver le fil ;16 ○ US ( unspecified location) some place quelque part ; no place nulle part ; he had no place to go il n'avait nulle part où aller ; he always wants to go places with us il veut toujours venir avec nous ; she goes places on her bicycle elle se déplace à bicyclette.B out of place adj phr [remark, behaviour] déplacé ; [language, tone] inapproprié ; to look out of place [building, person] détonner ; to feel out of place ne pas se sentir à l'aise.C in place of prep phr à la place de [person, object] ; X is playing in place of Y X remplace Y ; he spoke in my place il a parlé à ma place.D vtr1 lit ( put carefully) placer ; ( arrange) disposer ; place the cucumber slices around the edge of the plate disposez les rondelles de concombre autour de l'assiette ; she placed the vase in the middle of the table elle a placé le vase au milieu de la table ; place the smaller bowl inside the larger one mets le petit bol dans le grand ; to place sth back on remettre qch sur [shelf, table] ; to place sth in the correct order mettre qch dans le bon ordre ;2 ( locate) placer ; to be strategically/awkwardly placed être bien/mal placé ; the switch had been placed too high l'interrupteur avait été placé trop haut ;3 ( using service) to place an advertisement in the paper mettre une annonce dans le journal ; to place an order for sth passer une commande pour qch ; to place a bet parier, faire un pari (on sur) ;4 fig ( put) to place emphasis on sth mettre l'accent sur qch ; to place one's trust in sb/sth placer sa confiance en qn/qch ; to place sb in a difficult situation/in a dilemma mettre qn dans une situation difficile/devant un dilemme ; to place sb at risk faire courir des risques à qn ; to place the blame on sb rejeter toute la faute sur qn ; two propositions were placed before those present deux propositions ont été soumises aux personnes présentes ;5 ( rank) ( in competition) classer ; ( in exam) GB classer ; to be placed third [horse, athlete] arriver troisième ;6 ( judge) juger ; to be placed among the top scientists of one's generation être jugé comme un des plus grands scientifiques de sa génération ; where would you place him in relation to his colleagues? comment le jugeriez-vous par rapport à ses collègues? ;7 ( identify) situer [person] ; reconnaître [accent] ; I can't place his face je ne le reconnais pas ;8 ( find home for) placer [child] ;9 Admin (send, appoint) placer [student, trainee] (in dans) ; to place sb in charge of staff/a project confier la direction du personnel/d'un projet à qn ; to be placed in quarantine être placé en quarantaine.1 gen ( situated) to be well placed être bien placé (to do pour faire) ; he is not well placed to judge il est mal placé pour juger ; she is well/better placed to speak on this subject elle est bien/mieux placée pour parler de ce sujet ;that young man is really going places ○ voilà un jeune homme qui ira loin ; to have friends in high places avoir des amis haut placés ; corruption in high places la corruption en haut lieu ; to fall ou click ou fit into place devenir clair ; ⇒ take place (take). -
55 composite
composite ['kɒmpəzɪt]2 noun∎ Politics to composite proposals = établir une liste de propositions à discuter au niveau national, à partir des propositions émises au niveau régional►► Stock Exchange composite index indice m composé ou composite;French Canadian composite school école f polyvalente -
56 proposition
proposition [‚prɒpə'zɪʃən]1 noun(a) (proposal, statement) proposition f;∎ Proposition 13 = loi adoptée en Californie en 1978 par référendum, et qui fut suivie par d'autres lois visant à réduire les impôts et les taxes∎ that's quite a proposition c'est une tout autre affaire;∎ climbing that mountain will be no easy proposition ce ne sera pas une petite ou mince affaire que de gravir cette montagne;∎ that's a tough proposition you're making ce n'est pas rien, ce que vous demandez là;∎ figurative the boss is a tough proposition le patron n'est pas quelqu'un de commode ou facile, le patron est du genre coriace(c) (available choice) solution f;∎ solar power is not an economic proposition l'énergie solaire n'est pas une solution rentable;∎ the deal wasn't a paying proposition l'affaire n'était pas rentable(d) (offer of sex) proposition f;∎ to make sb a proposition faire des propositions (malhonnêtes) ou des avances à qn(e) Mathematics proposition ffaire des propositions (malhonnêtes) ou des avances àUn panorama unique de l'anglais et du français > proposition
-
57 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
-
58 Logical Empiricism
Modern analytical empiricism... differs from that of Locke, Berkeley, and Hume by its incorporation of mathematics and its development of a powerful logical technique. It is thus able, in regard to certain problems, to achieve definite answers, which have the quality of science rather than of philosophy. It has the advantage, as compared with the philosophies of the system-builders, of being able to tackle its problems one at a time, instead of having to invent at one stroke a block theory of the whole universe. Its methods, in this respect, resemble those of science. I have no doubt that, in so far as philosophical knowledge is possible, it is by such methods that it must be sought: I also have no doubt that, by these methods, many ancient problems are completely soluble.... Take such questions as: What is number? What are space and time? What is mind, and what is matter? I do not say that we can here and now give definitive answers to all these ancient questions, but I do say that a method has been discovered by which, as in science, we can make successive approximations to the truth, in which each new stage results from an improvement, not a rejection, of what has gone before. (Russell, 1961, pp. 788-789)Not a single one of the great theses of Logical Empiricism (that Meaning is Method of Verification; that metaphysical propositions are literally without sense; that Mathematics is True by Convention) has turned out to be correct. It detracts from the excitement of the fact that, by turning philosophical theses into linguistic ones [as Carnap had tried to do]... one can make philosophy more scientific and settle the truth value of philosophical propositions by hard scientific research, if the results one obtains are uniformly negative. (Putnam, 1975, p. 20)Historical dictionary of quotations in cognitive science > Logical Empiricism
-
59 Thinking
But what then am I? A thing which thinks. What is a thing which thinks? It is a thing which doubts, understands, [conceives], affirms, denies, wills, refuses, which also imagines and feels. (Descartes, 1951, p. 153)I have been trying in all this to remove the temptation to think that there "must be" a mental process of thinking, hoping, wishing, believing, etc., independent of the process of expressing a thought, a hope, a wish, etc.... If we scrutinize the usages which we make of "thinking," "meaning," "wishing," etc., going through this process rids us of the temptation to look for a peculiar act of thinking, independent of the act of expressing our thoughts, and stowed away in some particular medium. (Wittgenstein, 1958, pp. 41-43)Analyse the proofs employed by the subject. If they do not go beyond observation of empirical correspondences, they can be fully explained in terms of concrete operations, and nothing would warrant our assuming that more complex thought mechanisms are operating. If, on the other hand, the subject interprets a given correspondence as the result of any one of several possible combinations, and this leads him to verify his hypotheses by observing their consequences, we know that propositional operations are involved. (Inhelder & Piaget, 1958, p. 279)In every age, philosophical thinking exploits some dominant concepts and makes its greatest headway in solving problems conceived in terms of them. The seventeenth- and eighteenth-century philosophers construed knowledge, knower, and known in terms of sense data and their association. Descartes' self-examination gave classical psychology the mind and its contents as a starting point. Locke set up sensory immediacy as the new criterion of the real... Hobbes provided the genetic method of building up complex ideas from simple ones... and, in another quarter, still true to the Hobbesian method, Pavlov built intellect out of conditioned reflexes and Loeb built life out of tropisms. (S. Langer, 1962, p. 54)Experiments on deductive reasoning show that subjects are influenced sufficiently by their experience for their reasoning to differ from that described by a purely deductive system, whilst experiments on inductive reasoning lead to the view that an understanding of the strategies used by adult subjects in attaining concepts involves reference to higher-order concepts of a logical and deductive nature. (Bolton, 1972, p. 154)There are now machines in the world that think, that learn and create. Moreover, their ability to do these things is going to increase rapidly until-in the visible future-the range of problems they can handle will be coextensive with the range to which the human mind has been applied. (Newell & Simon, quoted in Weizenbaum, 1976, p. 138)But how does it happen that thinking is sometimes accompanied by action and sometimes not, sometimes by motion, and sometimes not? It looks as if almost the same thing happens as in the case of reasoning and making inferences about unchanging objects. But in that case the end is a speculative proposition... whereas here the conclusion which results from the two premises is an action.... I need covering; a cloak is a covering. I need a cloak. What I need, I have to make; I need a cloak. I have to make a cloak. And the conclusion, the "I have to make a cloak," is an action. (Nussbaum, 1978, p. 40)It is well to remember that when philosophy emerged in Greece in the sixth century, B.C., it did not burst suddenly out of the Mediterranean blue. The development of societies of reasoning creatures-what we call civilization-had been a process to be measured not in thousands but in millions of years. Human beings became civilized as they became reasonable, and for an animal to begin to reason and to learn how to improve its reasoning is a long, slow process. So thinking had been going on for ages before Greece-slowly improving itself, uncovering the pitfalls to be avoided by forethought, endeavoring to weigh alternative sets of consequences intellectually. What happened in the sixth century, B.C., is that thinking turned round on itself; people began to think about thinking, and the momentous event, the culmination of the long process to that point, was in fact the birth of philosophy. (Lipman, Sharp & Oscanyan, 1980, p. xi)The way to look at thought is not to assume that there is a parallel thread of correlated affects or internal experiences that go with it in some regular way. It's not of course that people don't have internal experiences, of course they do; but that when you ask what is the state of mind of someone, say while he or she is performing a ritual, it's hard to believe that such experiences are the same for all people involved.... The thinking, and indeed the feeling in an odd sort of way, is really going on in public. They are really saying what they're saying, doing what they're doing, meaning what they're meaning. Thought is, in great part anyway, a public activity. (Geertz, quoted in J. Miller, 1983, pp. 202-203)Everything should be made as simple as possible, but not simpler. (Einstein, quoted in Minsky, 1986, p. 17)What, in effect, are the conditions for the construction of formal thought? The child must not only apply operations to objects-in other words, mentally execute possible actions on them-he must also "reflect" those operations in the absence of the objects which are replaced by pure propositions. Thus, "reflection" is thought raised to the second power. Concrete thinking is the representation of a possible action, and formal thinking is the representation of a representation of possible action.... It is not surprising, therefore, that the system of concrete operations must be completed during the last years of childhood before it can be "reflected" by formal operations. In terms of their function, formal operations do not differ from concrete operations except that they are applied to hypotheses or propositions [whose logic is] an abstract translation of the system of "inference" that governs concrete operations. (Piaget, quoted in Minsky, 1986, p. 237)[E]ven a human being today (hence, a fortiori, a remote ancestor of contemporary human beings) cannot easily or ordinarily maintain uninterrupted attention on a single problem for more than a few tens of seconds. Yet we work on problems that require vastly more time. The way we do that (as we can observe by watching ourselves) requires periods of mulling to be followed by periods of recapitulation, describing to ourselves what seems to have gone on during the mulling, leading to whatever intermediate results we have reached. This has an obvious function: namely, by rehearsing these interim results... we commit them to memory, for the immediate contents of the stream of consciousness are very quickly lost unless rehearsed.... Given language, we can describe to ourselves what seemed to occur during the mulling that led to a judgment, produce a rehearsable version of the reaching-a-judgment process, and commit that to long-term memory by in fact rehearsing it. (Margolis, 1987, p. 60)Historical dictionary of quotations in cognitive science > Thinking
-
60 арифметика высказываний
Большой англо-русский и русско-английский словарь > арифметика высказываний
См. также в других словарях:
Propositions contradictoires — ● Propositions contradictoires propositions opposées à la fois en qualité et en quantité … Encyclopédie Universelle
Propositions juxtaposées — ● Propositions juxtaposées propositions qui se succèdent dans une phrase sans lien de subordination ni de coordination (par exemple Je suis venu, j ai vu, j ai vaincu) … Encyclopédie Universelle
Propositions de lois — Proposition de loi Sommaire 1 Procédure 1.1 En France 1.2 En Belgique 2 Lien externe 3 Références … Wikipédia en Français
propositions — prop·o·si·tion || ‚prÉ‘pÉ™ zɪʃn /‚prÉ’ n. offer; plan; theory; theorem (Mathematics); problem (Slang) … English contemporary dictionary
California Propositions 94, 95, 96, and 97 (2008) — Propositions 94, 95, 96, and 97 were Californian ballot propositions that sought to expand the scope of Native American gambling enterprises in California. All four propositions were approved by voters during elections on February 5, 2008… … Wikipedia
Propositions pour la création d'un État palestinien — Palestine (État revendiqué) Pour les articles homonymes, voir Palestine (homonymie). L État de Palestine est un État indépendant revendiqué par le peuple palestinien. Les frontières et la capitale de cet État font l objet de nombreux débats. Il… … Wikipédia en Français
Calcul Des Propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
Calcul des propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… … Wikipédia en Français
Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Theoreme de completude (calcul des propositions) — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P … Wikipédia en Français
Théorème de complétude du calcul des propositions — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P … Wikipédia en Français