-
21 infeasible problem
задача, не имеющая решения————————Англо-русский словарь по исследованиям и ноу-хау > infeasible problem
-
22 problem
['prɔbləm] 1. сущ.1) проблема; вопрос; задачаacute / major / pressing problem — насущная, острая проблема
insoluble / insurmountable problem — непреодолимая, неразрешимая проблема
complicated / involved / knotty / thornyproblem — запутанный вопрос, сложная проблема
delicate / ticklishproblem — тонкий, деликатный, щекотливый вопрос
minor / pettyproblem — мелкое беспокойство, мелкая проблема
perennial problem — исконная, постоянная, вечная проблема
to bring up / pose / raise a problem — поставить задачу, проблему (перед кем-л.)
to resolve / settle / solve a problem — решить вопрос, проблему
The main problem is unemployment. — Основная проблема - это безработица.
I do not have a simple solution to the drug problem. — У меня нет простого решения проблемы наркотиков.
Syn:2)а) сложная ситуация; трудный случайб) трудность, затруднение, осложнениеHe has a drink problem. — У него проблемы с алкоголем.
3) математическая задача; шахматная задачаeasy / simple problem — простая, несложная задача
2. прил.to address / tackle a problem — взяться за решение задачи
1) проблемный2) трудный, вызывающий трудности, проблемы -
23 intractable problem
1) Военный термин: неразрешимая проблема2) Техника: трудноразрешимая проблема3) Математика: трудно разрешимая задача4) Вычислительная техника: трудноразрешимая задача5) СМИ: трудно разрешимая проблема6) Программирование: труднорешаемая проблема7) Безопасность: не поддающаяся решению задача -
24 crack
kræk
1. сущ.
1) а) треск, хруст, скрежет;
щелчок хлыста;
ранее также "гром, трубный глас" There was heard so loud a crack, as if heaven had split asunder. ≈ Раздался такой громкий треск, как будто небеса треснули пополам. crack of doom б) удар, затрещина You hit him an awful crack! ≈ Ну ты ему и дал! в) ружейный выстрел;
перен. охота I mean to carry you off for a crack at the rabbits. ≈ Я хотел позвать тебя пострелять в кроликов. have a crack г) сл. хворост, сухое дерево
2) а) трещина, щель (особенно в полу), расселина;
свищ crack of dawn crack of day paper over the cracks Syn: breach, chink, cleft, crevice, fissure, fracture б) изьян, недостаток Syn: flaw, deficiency, failing, unsoundness в) ломающийся голос г) комп. крэк, ломалка (программа для взлома защиты какого-л. лицензионного программного обеспечения) д) сл. кража со взломом (воровской жаргон) е) нездоровое состояние ума;
душевная болезнь;
креза, сумасшедшинка He is a crack. ≈ Он головкой подвинулся.
3) а) нечто примечательное;
то что хвалят, перехваливают, нахваливают He is a crack! ≈ Он - это что-то! б) крэк (рафинированная кристаллическая форма героина, сильнодействующий наркотик)
4) о человеческой речи а) свежие новости б) ссора, словесная перепалка в) амер.;
разг. острота, шутка;
"шпилька", едкое замечание, "наезд" Make another crack like that and there'll be trouble right here in Cell Fifteen! ≈ Еще одно такое словцо и прямо тут, в пятнадцатой камере, случится страшное! for the crack Syn: fun, amusement, mischief г) необычайно говорливый человек
5) сл. монета в полкроны, монета в два шиллинга и шесть пенсов ∙ in a crack within a crack
2. прил.;
разг. великолепный, первоклассный, замечательный, знаменитый, прекрасный, клевый, кайфовый, атасный, отпадный, обалденный (и т.п., от сленговых переводов до общеязыковых) My sleeping-room was the crack apartment of the hotel. ≈ Моя спальня была самая что ни на есть крутейшая комната в отеле. Syn: first-rate, first-class, pre-eminent, superexcellent
3. гл.
1) а) трещать, скрежетать, скрипеть;
шуметь;
щелкать хлыстом;
также о звуке пушечного, ружейного, пистолетного выстрела At every step the bones of the buffalo were heard to crack. ≈ При каждом шаге буйвола было слышно, как скрипят его кости. б) стрелять, палить Soldiers were cracking at the running enemy. ≈ Солдаты стреляли в убегающего врага. в) двигаться на полной скорости (так что все трещит) We set full sail and crack on to her again. ≈ Мы ставим все паруса и снова шпарим за ней. - get cracking
2) а) давать трещину, трескаться, растрескиваться;
раскалывать(ся) ;
колоть, расщеплять, раздрабливать;
расколачивать, разламывать He cracked his skull in the accident. ≈ Он разбил себе череп в автокатастрофе. Syn: break, crush б) быть приоткрытой (о двери) Syn: be ajar в) наносить удар, давать тумака Get out of here before I crack you one. ≈ Пшел вон отсюда, пока я тебе не накостылял. г) перен. решать трудную задачу ("щелкать как орешки") Syn: solve д) выпивать, опустошать, "раздавить" (бутылку) He bragged about the number of bottles he can crack overnight. ≈ Он все рассказывал, какое невероятное количество бутылок он может выпить за вечер. Syn: empty, drink, discuss е) поставить рекорд Syn: break a record ж) сл. совершить кражу со взломом з) "сломаться", "спечься", "сдохнуть" The first of the racing horses cracked some distance from home. ≈ Первая из лошадей "сдохла" незадолго до финиша и) сойти с ума, подвинуться рассудком
3) ломаться (о голосе)
4) о человеческой речи а) произносить вслух;
громко говорить, заявлять о чем-л.;
хвастать Whilst the doctor cracked his great clumsy jokes upon you. ≈ Пока доктор потчевал тебя своими извозчичьими шутками. That's naught to crack on. ≈ Хвастаться-то нечем. crack hardy Syn: boast, brag б) судачить, сплетничать crack up
5) тех. производить крекинг нефти ∙ cry crack crack in crack down crack open crack out crack up crack a bottle crack a joke crack a smile crack a record crack a window
4. нареч. с треском, со свистом;
может также носить характер междометия, в таких случаях переводясь хлоп, щелк, кряк, хрясь Crack went his whip, and we were off. ≈ Под свист его кнута мы отправились в путь. Crack went the mast. ≈ Крак! и мачта пополам. Syn: pop, plop треск;
щелканье;
удар (разговорное) резкий звучный удар;
затрещина - a * on the head резкий удар по голове трещина;
щель, расселина - the ground was full of *s after the hot, dry summer после жаркого, сухого лета земля сильно потрескалась - to open the window a * приоткрыть окно ломающийся голос (у мальчика) (эмоционально-усилительно) что-л. замечательное, первоклассное (игрок, спортсмен, лошадь и т. п.) - she is a * at skiing она отличная лыжница (жаргон) кража со взломом;
вор-взломщик( сленг) попытка, проба, эксперимент - to take a * at smth. сделать попытку, попробовать силы в чем-л. (американизм) (сленг) остроумная реплика;
саркастическое замечание( сленг) пунктик, легкое помешательство - he has a * он слегка тронулся (диалектизм) (американизм) болтовня, оживленная дружеская беседа;
треп( американизм) рассвет прожилка( в камнях) (разговорное) момент, мгновение - in a * мгновенно, в два счета > the * of doom (религия) трубный глас, возвещающий день страшного суда;
> to the * of doom до бесконечности, до второго пришествия;
> to walk a * (американизм) пройти прямо вдоль щели между досками;
пройти по одной половице;
> to paste over the *s замазывать недостатки, трудности, противоречия( разговорное) великолепный, первоклассный;
знаменитый - polo-player великолепный игрок в поло - * team первоклассная команда - * shot меткий стрелок, снайпер - * unit (военное) отборная часть с треском, с резким отрывистым звуком - the pistol went off * грянул пистолетный выстрел производить шум, треск;
щелкать (хлыстом) - to * the joints of the fingers хрустеть пальцами - the rifle *ed and the beast fell грянул выстрел, и зверь упал - the damp wood *ed in the fire сырые дрова трещали в камине расщеплять;
вызывать растрескивание - she says the vase was *ed before она говорит, что на вазе была уже трещина - boiling water will * a glass от кипятка стакан может лопнуть трескаться, давать трещину - the mirror *ed from side to side зеркало треснуло во всю ширину - the ice *ed лед дал трещину - the skin was *ed кожа потрескалась раскалывать, разбивать - to * nuts колоть орехи (разговорное) преодолеть, одолеть - to * the sound barrier преодолеть звуковой барьер - to * a mystery разгадать загадку - to * a record (американизм) поставить или побить рекорд - to * a code расшифровать код;
подобрать ключ к шифру ломаться (о голосе) - his voice *ed with grief его голос прерывался от горя (разговорное) откупорить - to * a bottle раздавить /распить/ бутылочку (жаргон) совершить кражу со взломом - to * a crib ограбить дом взломать - to * a safe взломать сейф( сленг) свести с ума, довести до психоза;
тронуться, помешаться( сленг) подорвать( репутацию, доверие и т. п.) (американизм) (сленг) (on) доказывать - to * on smb. убедить кого-л.;
втолковать кому-л. - to * on smth. доказать что-л. (диалектизм) (американизм) болтать, трещать;
сплетничать;
хвастаться( специальное) крекировать (нефть) > to * a joke отпустить шутку;
> to * a smile улыбнуться, осклабиться;
> to * a book открыть учебник и начать долбить;
> to * one's jaw (американизм) хвастать, похваляться;
> to * wise (американизм) острить;
> to * hardy (австралийское) (новозеландское) храбриться, не подавать виду, что тебе тяжело;
делать хорошую мину при плохой игре > a hard nut to * трудная задача;
неразрешимая проблема;
человек, с которым трудно справиться;
крепкий орешек > to use a steam-hammer to * nuts стрелять из пушек по воробьям трах! - *! down it came! трах!, все рухнуло! crack разг. великолепный, первоклассный;
знаменитый ~ давать трещину, трескаться;
раскалывать(ся) ;
колоть, расщеплять ~ (кто-л. или что-л.) замечательное ~ ломаться (о голосе) ~ ломающийся голос (у мальчика) ~ амер. разг. острота, шутка;
саркастическое замечание ~ тех. подвергать( нефть) крекингу;
crack down сломить (сопротивление) ~ производить треск, шум, выстрел;
щелкать (хлыстом) ~ треск;
щелканье (хлыста) ~ трещина;
щель, расселина;
свищ ~ удар;
затрещина to ~ a bottle распить, "раздавить" бутылку (вина) to ~ a joke отпустить шутку;
to crack a smile улыбнуться to ~ a record амер. поставить или побить рекорд to ~ a joke отпустить шутку;
to crack a smile улыбнуться to ~ a window распахнуть окно ~ тех. подвергать (нефть) крекингу;
crack down сломить (сопротивление) ~ up разг. превозносить;
рекламировать ~ up разг. разбиваться (вдребезги) ;
разрушаться;
потерпеть аварию( о самолете) ;
вызвать аварию (самолета) ~ up разг. стареть;
слабеть( от старости) frost ~ =frostcleft frost ~ =frostcleft frostcleft: frostcleft лес. зяблина, морозобоина ~ пораженный морозобоиной;
треснувший от мороза -
25 crack
1. [kræk] n1. 1) треск2) щёлканье ( хлыста)3) удар ( грома)2. разг. резкий звучный удар; затрещина3. трещина; щель, расселинаthe ground was full of cracks after the hot, dry summer - после жаркого, сухого лета земля сильно потрескалась
4. ломающийся голос ( у мальчика)5. эмоц.-усил. что-л. замечательное, первоклассное (игрок, спортсмен, лошадь и т. п.)6. вор. жарг.1) кража со взломом2) вор-взломщик7. сл. попытка, проба, экспериментto take a crack at smth. - сделать попытку, попробовать силы в чём-л.
8. амер. сл. остроумная реплика; саркастическое замечание9. сл. пунктик, лёгкое помешательство10. диал., амер. болтовня, оживлённая дружеская беседа; трёп11. амер. рассвет (тж. crack of dawn)12. прожилка ( в камнях)13. разг. момент, мгновениеin a crack - мгновенно, в два счёта
♢
the crack of doom - рел. трубный глас, возвещающий день страшного судаto /till/ the crack of doom - до бесконечности, до второго пришествия
to walk a /the/ crack - амер. пройти прямо вдоль щели между досками; ≅ пройти по одной половице
2. [kræk] a разг.to paste /to paper/ over the cracks - замазывать недостатки, трудности, противоречия и т. п.
великолепный, первоклассный; знаменитыйcrack shot - меткий стрелок, снайпер
3. [kræk] advcrack unit - воен. отборная часть
с треском, с резким отрывистым звуком4. [kræk] vthe pistol went off crack - грянул /прогремел/ пистолетный выстрел
1. производить шум, треск; щёлкать ( хлыстом)the rifle cracked and the beast fell - грянул выстрел, и зверь упал
the damp wood cracked in the fire - сырые дрова трещали /потрескивали/ в камине
2. 1) расщеплять; вызывать растрескиваниеshe says the vase was cracked before - она говорит что на вазе была уже трещина
2) трескаться, давать трещину3. 1) раскалывать, разбивать ( резким ударом)2) разг. преодолеть, одолетьto crack a record - амер. поставить или побить рекорд
to crack a code - расшифровать код; подобрать ключ к шифру
4. ломаться ( о голосе)his voice cracked with grief [emotion] - его голос прерывался от горя [от волнения]
5. разг. откупоритьto crack a bottle - раздавить /распить/ бутылочку
6. вор. жарг.1) совершить кражу со взломомto crack a crib - ограбить дом /квартиру/
2) взломать (тж. to crack open)7. сл.1) свести с ума, довести до психоза2) тронуться, помешаться8. сл. подорвать (репутацию, доверие и т. п.)9. амер. сл. (on) доказыватьto crack on smb. - убедить кого-л.; втолковать кому-л.
to crack on smth. - доказать что-л.
10. диал., амер.1) болтать, трещать; сплетничать2) хвастаться11. спец. крекировать ( нефть)♢
to crack a joke - отпустить /«отколоть»/ шуткуto crack a smile - улыбнуться, осклабиться
to crack one's jaw - амер. хвастать, похваляться
to crack wise - амер. острить
to crack hardy /hearty/ - австрал., новозел. храбриться, не подавать виду, что тебе тяжело; ≅ делать хорошую мину при плохой игре
a hard nut to crack - а) трудная задача; неразрешимая проблема; б) человек, с которым трудно справиться; ≅ крепкий орешек
5. [kræk] intto use a steam-hammer to crack nuts - ≅ стрелять из пушек по воробьям
трах!crack! down it came! - трах!, всё рухнуло!
-
26 hard
1. [hɑ:d] n1. 1) твёрдая мощёная или бетонированная дорожка2) твёрдый грунт, по которому можно пройти через топкое болото2. звонкая монета3. сл. каторга4. разг. прессованный табак5. = hard-on2. [hɑ:d] a♢
when hard comes to hard - когда будет совсем плохо, в худшем случае1. 1) твёрдыйhard palate - анат. твёрдое нёбо
to get /to grow/ hard - затвердевать; черстветь; грубеть
2) жёсткий, неприятный на ощупьhard silk - текст. необесклеенный кручёный шёлк
3) жёсткий ( о воде)2. 1) трудный, тяжёлый; требующий напряженияhard work - тяжёлая /изнурительная/ работа
hard usage - спец. тяжёлые условия эксплуатации
hard case - трудное дело [ср. тж. 2)]
hard cases make bad law - трудные дела - плохая основа для законодательства, запутанные дела не могут служить прецедентом
I find it hard to believe that he could do that - мне трудно поверить, что он мог так поступить
2) такой, с которым трудно (сделать что-л.); с трудом поддающийсяhard case - а) тяжёлый случай; б) закоренелый преступник; [ср. тж. 1)]
things hard to imagine - вещи, которые трудно себе представить
a book that is hard reading - книга, которую трудно читать /которая читается с трудом/
3. крепкий, закалённый, сильныйto get hard by taking regular exercise - окрепнуть физически благодаря регулярной тренировке
4. 1) строгий, суровый; безжалостный, жестокийto be hard on a person - быть строгим /суровым/ с кем-л., держать кого-л. в строгости
to be hard on one's clothes - плохо обращаться с одеждой, не беречь одежду
2) тяжёлый, трудный ( о характере)5. тяжёлый, суровый, полный трудностей и лишенийhard lines /lot, luck/ - горькая судьба
6. суровый, холодныйhard winter - холодная /суровая/ зима
7. резкий; грубый; неприятныйhard eye - завистливый /жёсткий/ взгляд
hard words - резкости, резкие выражения
to say hard things to smb. - говорить резкости кому-л.
to call smb. hard names - резко отзываться о ком-л.; не стесняться в выражениях
to entertain hard thoughts of smb. - быть о ком-л. плохого мнения
8. 1) усердный, упорный; прилежный2) не знающий удержу, усиленно предающийся (чему-л.)hard rider - неутомимый /страстный/ ездок
hard drinker - пропойца, пьяница
9. 1) стойкий, устойчивый2) спец. стойкий, не поддающийся биологическому распаду10. жадный, алчный, скупой11. 1) звонкий ( о монете)hard cash /амер. money/ - а) наличные; б) звонкая монета; [см. тж. 2)]
2) фин. твёрдыйhard money - твёрдая /прочная/ валюта [см. тж. 1)]
12. реальный; практичный, лишённый романтики; приземлённыйhard common sense - грубый практицизм; жёсткий рационализм
hard facts - реальные /голые/ факты
they have hard heads - ≅ они трезво смотрят на жизнь
13. 1) жёсткий, частый ( о пульсе)2) сильный ( о кашле)3) крепко завязанный ( об узле)14. 1) амер. крепкий; алкогольныйhard liquors /drinks/ - спиртные напитки
2) разг. кислый, терпкий (о вине, пиве)15. спец. контрастныйhard image - тлв. контрастное изображение
hard light - фото, кино «жёсткий» свет
hard negative - фото жёсткий /контрастный/ негатив
hard paper [print] - фото контрастная фотобумага [-ый отпечаток]
16. густой, тягучий ( о жидкостях)hard fat - тех. консистентная смазка
17. физ. проникающий, жёсткий ( об излучении)18. фон. твёрдый ( о согласном)19. создающий привыкание (о лекарствах, наркотиках и т. п.)20. защищённый (о стартовой позиции, пусковой площадке)♢
hard labour /works/ - каторжные работы, каторгаa hard nut to crack - а) трудная задача; неразрешимая проблема; б) крепкий орешек ( о человеке)
no hard feelings? - вы не обиделись?; вы не будете на меня обижаться?
hard knocks - амер. разг. удары судьбы; напасти, несчастья
he took some /a few/ hard knocks - ему не везло; несчастья сваливались на него одно за другим
hard lines - разг. незадача, невезение; полоса неудач
I'm not getting a holiday this year. - Hard lines (on you)! - у меня в этом году не будет отпуска. - (Тебе) не повезло!
hard cheese - разг. невезение
hard and fast - непоколебимый; твёрдый; жёсткий ( о правилах); строго определённый; незыблемый, раз навсегда установленный
a hard and fast contract - нерушимый /прочный/ договор
hard of hearing - тугоухий; тугой на ухо, глуховатый
hard of belief - книжн. недоверчивый
hard as adamant - ≅ твёрдый как гранит
hard as a bone /as iron/ - твёрдый как камень
he is as hard as flint - ≅ у него не сердце, а камень
3. [hɑ:d] advhard as nails - а) жестокий, бесчувственный; б) выносливый; стойкий; в форме ( о спортсмене)
1. сильно, интенсивно; энергичноto hit hard - здорово стукнуть, ударить изо всей силы
2. настойчиво, упорно; усердноto be hard at work on smth. - быть поглощённым работой над чем-л.
to think hard - упорно /долго/ думать
to try hard to win - упорно /настойчиво/ добиваться победы (на состязаниях, в игре и т. п.)
to look /to stare, to gaze/ hard - уставиться; не сводить глаз
3. 1) твёрдо, крепко; накрепкоto hold hard - крепко держать или держаться, не отпускать
2) вкрутую4. тяжело, с трудомto take hard - принимать близко к сердцу; тяжело переживать
it comes /bears/ hard on him - ему трудно придётся
taxes that bear hard upon the poor - налоги, которые тяжёлым бременем ложатся на бедняков
5. неумеренно, чрезмерноto drink hard - крепко выпивать; пить запоем
to swear hard - ругаться последними словами /на чём свет стоит/
6. близко, на небольшом расстоянии; околоhard at hand - близко, рядом
to follow /to be/ hard after /behind, upon/ - следовать по пятам
he lives hard by - он живёт недалеко отсюда /совсем рядом/
he is hard on /upon/ fifty - ему скоро пятьдесят (лет); ему под пятьдесят
7. мор. круто, до отказа ( о повороте руля)hard over helm! - руль на борт!
hard a-port [a-starboard]! - право [лево] руля!
♢
to die hard - а) дорого отдать свою жизнь, сопротивляться до конца; б) долго /трудно, мучительно/ умиратьhard pressed /pushed/ - в трудном положении
to be hard pressed for time [money] - иметь мало времени [денег]
he was hard put to conceal his irritation - он с трудом скрывал раздражение
hard put for a livelihood - ≅ биться как рыба об лёд
he is hard done by - с ним плохо /несправедливо/ обошлись
-
27 a hard nut to crack
1) Общая лексика: не по зубам, неразрешимая проблема, трудная задача, трудное дело, трудный человек, человек, с которым трудно справиться, крепкий орешек (о человеке)2) Разговорное выражение: без пива не разобраться, без пол-литры не разобраться, без стакана не разобраться3) Пословица: крепкий орешек, орешек не по зубам -
28 unsolved problem
1) Военный термин: нерешённая проблема2) Техника: нерешённая задача3) Дипломатический термин: неразрешимая проблема, неурегулированная проблема
- 1
- 2
См. также в других словарях:
ЗАДАЧА — ЗАПЛАТА И ЗАДАЧА Примером устранения омонимии может быть судьба слова заплата в значении расплата, уплата долга . В русском литературном языке XVIII и первой трети XIX в. слово заплата широко употреблялось с значениями: 1) плата долга , 2)… … История слов
ЗАДАЧА — ЗАДАЧА, задачи, жен. 1. Вопрос, требующий разрешения, то, что задано для решения, разрешения. Неразрешимая задача для философа. || Математический вопрос, для разрешения которого требуется путем вычислений найти какие нибудь величины (мат.).… … Толковый словарь Ушакова
НЕРАЗРЕШИМАЯ — задача, не разрешаемая, не могущая быть решена. Неразрешимый грех, непрощеный, слишком тяжкий. мость жен. качество, состояние ·по·прилаг. Толковый словарь Даля. В.И. Даль. 1863 1866 … Толковый словарь Даля
Алгоритмически неразрешимая задача — В теории вычислимости алгоритмически неразрешимой задачей называется задача, имеющая ответ да или нет для каждого объекта из некоторого множества входных данных, для которой (принципиально) не существует алгоритма, который бы, получив любой… … Википедия
задача — Цель, которую стремятся достигнуть; задание, поручение; вопрос, данный для решения. О степени сложности. Выполнимая, головоломная, дерзкая, достижимая, замысловатая, исполнимая, легкая, мудреная (разг.), невыполнимая, недостижимая, неосуществимая … Словарь эпитетов
ДЕЛОССКАЯ ЗАДАЧА — Геометрическая неразрешимая задача древних; построить по данному кубу другой куб с двойным против данного объемов. Существовало предание, что поводом к этой задаче послужила чума на острове Делосе: оракул объявил, что чума прекратится, если… … Словарь иностранных слов русского языка
КВАДРАТУРА — (лат. quadratura, от quadrare сделать четырехугольным). 1) квадратная плоскость: равная данной плоскости. 2) квадратура луны орбиты луны, в коих луна и солнце видимы с земли под прямым углом. Словарь иностранных слов, вошедших в состав русского… … Словарь иностранных слов русского языка
ЛАМПРЕХТ — (Lamprecht) Карл (1856 1915) нем. историк. С 1882 приват доцент в Бонне, позже проф. в Марбурге, с 1891 в Лейпциге. Нем. истор. наука 18 и почти всего 19 в. была полит. и индивидуалистской, т.е. изучала отд. человека как… … Энциклопедия культурологии
КВАДРАТУРА — КВАДРАТУРА, ы, жен. В математике: вычисление площади или поверхности фигуры. • Квадратура круга неразрешимая задача построения при помощи циркуля и линейки квадрата, равного по площади данному кругу; вообще неразрешимая задача. Толковый словарь… … Толковый словарь Ожегова
Университет — (от лат. universitas совокупность). В настоящее время с понятием У. соединяют представление о высшем учебном заведении, которое, имея целью свободное преподавание и развитие всех отраслей науки (universitas litterarum), независимо от их… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия